|
|
pl:miw:2009:piw09_hades_1:hekate_case_vacation [2009/06/16 23:48] piw09 |
pl:miw:2009:piw09_hades_1:hekate_case_vacation [2017/07/17 10:08] |
====== 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|}} | |