====== 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|}}