Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:miw:2009:piw09_hades_1:hekate_case_hello [2009/06/09 22:10] piw09 |
pl:miw:2009:piw09_hades_1:hekate_case_hello [2019/06/27 15:50] (aktualna) |
||
|---|---|---|---|
| Linia 1: | Linia 1: | ||
| ====== The HeKatE Case HELLO ====== | ====== The HeKatE Case HELLO ====== | ||
| - | Eliasz Kańtoch | + | Eliasz Kańtoch, |
| Tomasz Michalski | Tomasz Michalski | ||
| Linia 10: | Linia 10: | ||
| ====== Stages ====== | ====== Stages ====== | ||
| - | |||
| - | The process is involves the following the stages described below. | ||
| ===== Description ===== | ===== Description ===== | ||
| Linia 26: | Linia 24: | ||
| * Title of person is based on status of the person. | * Title of person is based on status of the person. | ||
| * Status are age,martial status and gender. | * Status are age,martial status and gender. | ||
| - | * Gender – male albo female | + | * Gender – male or female |
| - | * Martial status – married i single | + | * Martial status – married and single |
| Linia 89: | Linia 87: | ||
| + | ==== Directed Conceptual Design ==== | ||
| + | === Full Optimized Design === | ||
| + | === Full ARD Model === | ||
| - | ==== Directed Conceptual Design ==== | ||
| - | We model the system aiming at matching the original rules. | ||
| - | First, it is stated that there is a system to be designed which is described by | + | Diagram genereted with HQEd M6_6: \\ |
| - | a single conceptual attribute ''Thermostat''. | + | |
| - | It is so called level 0 of the design. | + | |
| - | Refining knowledge about what is the purpose of the system makes a transition to the diagram at level 1; it is a finalization. | ||
| - | It is stated that the thermostat controls temperature and this control has something to do with time. | ||
| - | That is why ''Thermostat'' is finalized into ''Time'' and ''Temperature''. | ||
| - | Furthermore, at level 2, it is stated that ''Temperature'' | + | The full hierarchical diagram is presented below:\\ |
| - | depends on ''Time'': there are two properties identified in the | + | {{:pl:miw:2009:piw09_hades_1:hello_levels.png?500|}} |
| - | system and a functional dependency between them. | + | |
| - | The design process continues, through splits and/or finalizations, until all physical attributes (indicated with lower case letters) are identified and relationships among them are stated which is presented at level 8. | ||
| - | The whole process is shown below: | + | Diagrams design in VARADA M_3 : {{:pl:miw:2009:piw09_hades_1:hello-model.pl|}} |
| - | ^ ARD diagram ^ Corresponding THP ^ VARDA model ^ | ||
| - | | <graphviz file="hekate:therm-a0.dot"></graphviz> | | ard_att_add('Thermostat'), ard_property_add(['Thermostat']) | | ||
| - | | <graphviz file="hekate:therm-a1.dot"></graphviz> | <graphviz file="hekate:therm-t1.dot"></graphviz> | ard_att_add('Time'), ard_att_add('Temperature'), ard_finalize(['Thermostat'], ['Time','Temperature']) | | ||
| - | | <graphviz file="hekate:therm-a2.dot"></graphviz> | <graphviz file="hekate:therm-t2.dot"></graphviz> | ard_split(['Time','Temperature'],[ ['Time'],['Temperature']], [ [ ['Time'],['Temperature']]])| | ||
| - | | <graphviz file="hekate:therm-a3.dot"></graphviz> | <graphviz file="hekate:therm-t3.dot"></graphviz> | ard_att_add('Date'), ard_att_add('Hour'), ard_att_add(season), ard_att_add(operation), ard_finalize(['Time'],['Date','Hour',season,operation])| | ||
| - | | <graphviz file="hekate:therm-a4.dot"></graphviz> | <graphviz file="hekate:therm-t4.dot"></graphviz> | ard_split(['Date','Hour',season,operation],[ ['Date','Hour'],[season,operation]],[ [ ['Date','Hour'], [season,operation]],[ [season,operation],['Temperature']]])| | ||
| - | | <graphviz file="hekate:a5f.dot"></graphviz> | <graphviz file="hekate:t5f.dot"></graphviz> | ard_split([season,operation],[ [season],[operation]],[ [ ['Date','Hour'],[season]],[ ['Date','Hour'],[operation]],[ [season],['Temperature']],[ [operation], ['Temperature']]])| | ||
| - | | <graphviz file="hekate:a6f.dot"></graphviz> | <graphviz file="hekate:t6f.dot"></graphviz> | ard_split(['Date','Hour'],[ ['Date'],['Hour']],[ [ ['Date'],[season]],[ ['Date'],[operation]],[ ['Hour'],[operation]]])| | ||
| - | | <graphviz file="hekate:a7f.dot"></graphviz> | <graphviz file="hekate:t7f.dot"></graphviz> | ard_att_add(day), ard_att_add(month), ard_att_add(today), ard_finalize(['Date'],[day,month,today])| | ||
| - | | <graphviz file="hekate:a8f.dot"></graphviz> | <graphviz file="hekate:t8f.dot"></graphviz> | ard_split([day,month,today],[ [month],[day,today]],[ [ [month],[season]],[ [day,today],[operation]]])| | ||
| - | | <graphviz file="hekate:a9f.dot"></graphviz> | <graphviz file="hekate:t9f.dot"></graphviz> | ard_split([day,today],[ [day],[today]],[ [ [day],[today]],[ [today],[operation]]]| | ||
| - | | <graphviz file="hekate:a10f.dot"></graphviz> | <graphviz file="hekate:t10f.dot"></graphviz> | ard_att_add(hour), ard_finalize(['Hour'],[hour]), ard_att_add(thermostat_settings), ard_finalize(['Temperature'],[thermostat_settings])| | ||
| - | === Full Optimized Design === | + | ARD model was designed using Varda M_3: \\ |
| + | {{:pl:miw:2009:piw09_hades_1:hello-model.dot.png?350|}} | ||
| + | \\ dot file: {{:pl:miw:2009:piw09_hades_1:hello-model.dot|}} | ||
| - | VARDA can automatically optimize the diagram, by re/collapsing the lowest ARD using TPH. | + | The TPH for this model is: \\ |
| + | {{:pl:miw:2009:piw09_hades_1:hello-model_tph.dot.png?350|}} | ||
| + | \\ dot file: {{:pl:miw:2009:piw09_hades_1:hello-model_tph.dot|}} | ||
| - | The subsequent //optimized// ARD levels (as recreated by VARDA) are given below: | + | TPH and ARD combined: \\ |
| + | {{:pl:miw:2009:piw09_hades_1:hello-model-tphard.dot.png?400|}} | ||
| - | {{:hekate:thermostat-ard.png|:hekate:thermostat-ard.png}} | ||
| - | The Transformation Process History diagram is given below: | ||
| - | {{:hekate:thermostat-tph.png|:hekate:thermostat-tph.png}} | ||
| - | === Full ARD Model === | + | ARD model desiged with HJEd : \\ |
| + | {{:pl:miw:2009:piw09_hades_1:hello_model_ard.png?400|}} | ||
| + | |||
| + | The TPH for this model is: \\ | ||
| + | {{:pl:miw:2009:piw09_hades_1:hello_model_tph.png?450|}} | ||
| - | See ''{{:hekate:therm-model.pl|therm-model.pl}}'' in [[hekate:varda]] | ||
| ==== Refined Conceptual Design ==== | ==== Refined Conceptual Design ==== | ||
| Linia 150: | Linia 135: | ||
| ===== Structuralization ===== | ===== Structuralization ===== | ||
| - | XTT prototype generated by [[VARDA]]: | + | XTT prototype generated by [[VARDA]]: \\ |
| - | {{:hekate:thermostat-varda-xtt.png|:hekate:thermostat-varda-xtt.png}} | + | {{:pl:miw:2009:piw09_hades_1:hello-model_xtt.dot.png?500|}} |
| ===== Logical design ===== | ===== Logical design ===== | ||
| - | {{:hekate:thermostat-xtt.png|:hekate:thermostat-xtt.png}} | + | |
| + | Design made by HQed M6_6 | ||
| - | check if: | + | {{:pl:miw:2009:piw09_hades_1:hello_model2.png?600|}} |
| - | * rules are consitant with the book | + | |
| - | * the xtt design is consistent with the book w.r.t seasons and temperature! | + | |
