Next revision
|
Previous revision
|
hekate:cases:hekate_case_cardio:ard_design [2009/10/25 23:14] 127.0.0.1 external edit |
hekate:cases:hekate_case_cardio:ard_design [2019/06/27 15:49] (current) |
=== ARD Model === | === ARD Model === |
| |
to be generated by script | |
| * {{hekate_case_cardio-mdl.pl|The full VARDA model (in Prolog)}} |
| * {{hekate_case_cardio-ard.hml|HML file with the full ARD model}} |
| |
| ^ ARD diagram of the system ^ Corresponding THP ^ Full ARD Model of the system ^ |
| | {{hekate_case_cardio-ard.png}} | {{hekate_case_cardio-tph.png}} | {{hekate_case_cardio-mdl.png}} | |
| | ({{hekate_case_cardio-ard.pdf|PDF}},{{hekate_case_cardio-ard.fig|FIG}},{{hekate_case_cardio-ard.dot|DOT}}) | ({{hekate_case_cardio-tph.pdf|PDF}},{{hekate_case_cardio-tph.fig|FIG}},{{hekate_case_cardio-tph.dot|DOT}}) | ({{hekate_case_cardio-mdl.pdf|PDF}},{{hekate_case_cardio-mdl.fig|FIG}},{{hekate_case_cardio-mdl.dot|DOT}}) | |
| |
| === ARD Full Design === |
| |
| ^ No. ^ ARD diagram of a given level ^ Corresponding THP ^ ARD Model at the given level^ |
| | 8 | {{hekate_case_cardio-8-ard.png}} | {{hekate_case_cardio-8-tph.png}} | {{hekate_case_cardio-8-mdl.png}} | |
| | 7 | {{hekate_case_cardio-7-ard.png}} | {{hekate_case_cardio-7-tph.png}} | {{hekate_case_cardio-7-mdl.png}} | |
| | 6 | {{hekate_case_cardio-6-ard.png}} | {{hekate_case_cardio-6-tph.png}} | {{hekate_case_cardio-6-mdl.png}} | |
| | 5 | {{hekate_case_cardio-5-ard.png}} | {{hekate_case_cardio-5-tph.png}} | {{hekate_case_cardio-5-mdl.png}} | |
| | 4 | {{hekate_case_cardio-4-ard.png}} | {{hekate_case_cardio-4-tph.png}} | {{hekate_case_cardio-4-mdl.png}} | |
| | 3 | {{hekate_case_cardio-3-ard.png}} | {{hekate_case_cardio-3-tph.png}} | {{hekate_case_cardio-3-mdl.png}} | |
| | 2 | {{hekate_case_cardio-2-ard.png}} | {{hekate_case_cardio-2-tph.png}} | {{hekate_case_cardio-2-mdl.png}} | |
| | 1 | {{hekate_case_cardio-1-ard.png}} | {{hekate_case_cardio-1-tph.png}} | {{hekate_case_cardio-1-mdl.png}} | |
| |
| === ARD Design Files === |
| |
| ^ No. ^ ARD diagram of a given level ^ Corresponding THP ^ ARD Model at the given level^ |
| | 8 | ({{hekate_case_cardio-8-ard.pdf|PDF}},{{hekate_case_cardio-8-ard.fig|FIG}},{{hekate_case_cardio-8-ard.dot|DOT}}) | ({{hekate_case_cardio-8-tph.pdf|PDF}},{{hekate_case_cardio-8-tph.fig|FIG}},{{hekate_case_cardio-8-tph.dot|DOT}}) | ({{hekate_case_cardio-8-mdl.pdf|PDF}},{{hekate_case_cardio-8-mdl.fig|FIG}},{{hekate_case_cardio-8-mdl.dot|DOT}}) | |
| | 7 | ({{hekate_case_cardio-7-ard.pdf|PDF}},{{hekate_case_cardio-7-ard.fig|FIG}},{{hekate_case_cardio-7-ard.dot|DOT}}) | ({{hekate_case_cardio-7-tph.pdf|PDF}},{{hekate_case_cardio-7-tph.fig|FIG}},{{hekate_case_cardio-7-tph.dot|DOT}}) | ({{hekate_case_cardio-7-mdl.pdf|PDF}},{{hekate_case_cardio-7-mdl.fig|FIG}},{{hekate_case_cardio-7-mdl.dot|DOT}}) | |
| | 6 | ({{hekate_case_cardio-6-ard.pdf|PDF}},{{hekate_case_cardio-6-ard.fig|FIG}},{{hekate_case_cardio-6-ard.dot|DOT}}) | ({{hekate_case_cardio-6-tph.pdf|PDF}},{{hekate_case_cardio-6-tph.fig|FIG}},{{hekate_case_cardio-6-tph.dot|DOT}}) | ({{hekate_case_cardio-6-mdl.pdf|PDF}},{{hekate_case_cardio-6-mdl.fig|FIG}},{{hekate_case_cardio-6-mdl.dot|DOT}}) | |
| | 5 | ({{hekate_case_cardio-5-ard.pdf|PDF}},{{hekate_case_cardio-5-ard.fig|FIG}},{{hekate_case_cardio-5-ard.dot|DOT}}) | ({{hekate_case_cardio-5-tph.pdf|PDF}},{{hekate_case_cardio-5-tph.fig|FIG}},{{hekate_case_cardio-5-tph.dot|DOT}}) | ({{hekate_case_cardio-5-mdl.pdf|PDF}},{{hekate_case_cardio-5-mdl.fig|FIG}},{{hekate_case_cardio-5-mdl.dot|DOT}}) | |
| | 4 | ({{hekate_case_cardio-4-ard.pdf|PDF}},{{hekate_case_cardio-4-ard.fig|FIG}},{{hekate_case_cardio-4-ard.dot|DOT}}) | ({{hekate_case_cardio-4-tph.pdf|PDF}},{{hekate_case_cardio-4-tph.fig|FIG}},{{hekate_case_cardio-4-tph.dot|DOT}}) | ({{hekate_case_cardio-4-mdl.pdf|PDF}},{{hekate_case_cardio-4-mdl.fig|FIG}},{{hekate_case_cardio-4-mdl.dot|DOT}}) | |
| | 3 | ({{hekate_case_cardio-3-ard.pdf|PDF}},{{hekate_case_cardio-3-ard.fig|FIG}},{{hekate_case_cardio-3-ard.dot|DOT}}) | ({{hekate_case_cardio-3-tph.pdf|PDF}},{{hekate_case_cardio-3-tph.fig|FIG}},{{hekate_case_cardio-3-tph.dot|DOT}}) | ({{hekate_case_cardio-3-mdl.pdf|PDF}},{{hekate_case_cardio-3-mdl.fig|FIG}},{{hekate_case_cardio-3-mdl.dot|DOT}}) | |
| | 2 | ({{hekate_case_cardio-2-ard.pdf|PDF}},{{hekate_case_cardio-2-ard.fig|FIG}},{{hekate_case_cardio-2-ard.dot|DOT}}) | ({{hekate_case_cardio-2-tph.pdf|PDF}},{{hekate_case_cardio-2-tph.fig|FIG}},{{hekate_case_cardio-2-tph.dot|DOT}}) | ({{hekate_case_cardio-2-mdl.pdf|PDF}},{{hekate_case_cardio-2-mdl.fig|FIG}},{{hekate_case_cardio-2-mdl.dot|DOT}}) | |
| | 1 | ({{hekate_case_cardio-1-ard.pdf|PDF}},{{hekate_case_cardio-1-ard.fig|FIG}},{{hekate_case_cardio-1-ard.dot|DOT}}) | ({{hekate_case_cardio-1-tph.pdf|PDF}},{{hekate_case_cardio-1-tph.fig|FIG}},{{hekate_case_cardio-1-tph.dot|DOT}}) | ({{hekate_case_cardio-1-mdl.pdf|PDF}},{{hekate_case_cardio-1-mdl.fig|FIG}},{{hekate_case_cardio-1-mdl.dot|DOT}}) | |
| |