|
|
pl:miw:2009:piw09_hades_1:hekate_case_vacation [2017/07/17 10:08] |
pl:miw:2009:piw09_hades_1:hekate_case_vacation [2019/06/27 15:50] (aktualna) |
| ====== HeKatE Vacation Design====== |
| |
| Eliasz Kańtoch, |
| Tomasz Michalski |
| |
| This case analysis is based on hekate process. |
| |
| ====== Introduction ====== |
| |
| ===== Description ===== |
| Vacation is a system which counts the number of vacation days. The number of vacations days depends on age and the number of working years. |
| |
| Example comes from [[http://openrules.com/examples.htm|OpenRules]] |
| |
| |
| ===== Conceptualization ===== |
| |
| |
| ==== Vocabulary ==== |
| * **Number of working years** – the sum of all working years of all employers. |
| * **Age** – age of employee |
| |
| ==== Original Rules ==== |
| [[http://openrules.com/docs/xls/VacationDays.xls|Open Rules]] |
| |
| {{:pl:miw:2009:piw09_hades_1:rules.png|}} |
| |
| |
| ===== Analysis ===== |
| Model design starts from attribute that indicates all system. In this case it is attribute VacationDays. On the level 1 it is finalized into three physical attributes age, service, days. In the following division is made and the relation between attributes is showed. Level 3 is the last level of ARD diagrams. |
| |
| The system which counts vacation days was designed in one XTT table. |
| |
| |
| ===== Conceptual design ===== |
| |
| ==== General Conceptual Design ==== |
| |
| |
| |
| |
| |
| |
| |
| ==== Directed Conceptual Design ==== |
| |
| === Full ARD Model === |
| |
| The VARDA representation is in this case as follows: {{:pl:miw:2009:piw09_hades_1:vacation-model.pl|}} |
| |
| ARD model in XML: {{:pl:miw:2009:piw09_hades_1:vacation-ard.xml|}} |
| |
| The full hierarchical diagram generated by **HQed M6_6** : \\ |
| {{:pl:miw:2009:piw09_hades_1:vacation-level.png?500|}} |
| |
| Generated by **VARDA M_3**: \\ |
| \\ |
| The lowest level diagram is \\ |
| {{:pl:miw:2009:piw09_hades_1:vacation_modelard.dot.png?200|}} |
| \\ |
| dot file: {{:pl:miw:2009:piw09_hades_1:vacation_modelard.dot|}} |
| \\ |
| The TPH for this model is \\ |
| {{:pl:miw:2009:piw09_hades_1:vacation_modeltph.dot.png?200|}} |
| \\ |
| dot file: {{:pl:miw:2009:piw09_hades_1:vacation_modeltph.dot|}} |
| \\ |
| |
| System design by ** HJEd M3**: \\ |
| |
| ARD diagram: \\ |
| {{:pl:miw:2009:piw09_hades_1:vacation-ard_hjed.png?300|}} |
| |
| The TPH for this model is \\ |
| |
| {{:pl:miw:2009:piw09_hades_1:vacation-tph.png?500|}} |
| |
| |
| |
| ==== Refined Conceptual Design ==== |
| |
| |
| |
| ===== Physical Attribute Specification ===== |
| |
| ^ Name ^ Type ^ Range ^ Description ^ |
| | age | integer | [0, inf) | age | |
| | service | integer | [0, inf) | years of work | |
| | days | integer | [0, inf) | number of free days| |
| |
| ===== Structuralization ===== |
| XTT prototype generated by VARDA:\\ |
| {{:pl:miw:2009:piw09_hades_1:vacation_modelxtt.dot.png?300|}} |
| |
| |
| |
| ===== Logical design ===== |
| Design made by HQed M6_6 |
| |
| xttml model: {{:pl:miw:2009:piw09_hades_1:vacation_model.xttml|}} |
| \\ |
| {{:pl:miw:2009:piw09_hades_1:vacation_model.png?300|}} |