|
|
pl:miw:2009:piw09_hades_1:hekate_case_vacation [2009/06/13 21:27] piw09 |
pl:miw:2009:piw09_hades_1:hekate_case_vacation [2019/06/27 15:50] |
====== Introduction ====== | |
| |
Eliasz Kańtoch | |
Tomasz Michalski | |
| |
This case analysis is based on hekate process. | |
| |
====== HeKatE Vacation Design ====== | |
| |
| |
===== 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]] | |
| |
| |
{{:student:msc2008_bizrules_cases:vacation_orginal_rules.png|:student:msc2008_bizrules_cases:vacation_orginal_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: {{:student:msc2008_bizrules_cases:vacation-model.pl|vacation-model.pl}} | |
| |
Subsequent ARD levels are given below: | |
| |
{{:student:msc2008_bizrules_cases:vacation_ard-lev.png|:student:msc2008_bizrules_cases:vacation_ard-lev.png}} | |
| |
| |
Generated by VARDA M_3:\\ | |
The lowest level diagram is \\ | |
{{:pl:miw:2009:piw09_hades_1:vacation_modelard.dot.png?200|}} | |
| |
The TPH for this model is \\ | |
{{:pl:miw:2009:piw09_hades_1:vacation_modeltph.dot.png?200|}} | |
| |
==== Refined Conceptual Design ==== | |
| |
| |
| |
===== Physical Attribute Specification ===== | |
{{:student:msc2008_bizrules_cases:vacation-spec.png|:student:msc2008_bizrules_cases:vacation-spec.png}} | |
| |
^ Name ^ Type ^ Range ^ Description ^ | |
| age | integer | [0, inf) | age | |
| Row 2 Col 1 | some colspan (note the double pipe) || | |
| |
===== Structuralization ===== | |
XTT prototype generated by VARDA:\\ | |
{{:pl:miw:2009:piw09_hades_1:vacation_modelxtt.dot.png?200|}} | |
| |
| |
| |
===== Logical design ===== | |
Design made by HQed M6_6 | |
| |
hml file: \\ | |
| |
{{:pl:miw:2009:piw09_hades_1:vacation_model.png?300|}} | |