Both sides previous revision
Poprzednia wersja
Nowa wersja
|
Poprzednia wersja
Nowa wersja
Both sides next revision
|
pl:miw:miw08_ardcase_cs:bankomat [2008/05/19 19:53] miw |
pl:miw:miw08_ardcase_cs:bankomat [2008/05/26 22:43] miw |
====== Introduction ====== | ====== Introduction ====== |
Celem niniejszego opracowania jest próba zamodelowania bankomatu w ARD/XTT bazując na wiedzy ogólnej na temat budowy i zasady działania, oraz korzystania z bankomatu, dostępnych dokumentacjach, a przede wszystkim modelach UML systemu. Do stworzenia modelu, należy bazując na modelu UML wyszczególnić iterakcje pomiędzy zewnętrzem, a modelowanym systemem, wyodrębnienić wejścia i wyjścia modelowanego systemu (IMHO może to być zależne od przypadku użycia), następnie próba specyfikacji elementów wiedzy (w postaci atrybutów), na podstawie której działa system, oraz odnalezienia i opisania za pomocą zdefiniowanych atrybutów reguł według jakich działa system. | Celem niniejszego opracowania jest próba zamodelowania bankomatu w ARD/XTT bazując na wiedzy ogólnej na temat budowy i zasady działania, oraz korzystania z bankomatu, dostępnych dokumentacjach, a przede wszystkim modelach UML systemu. Do stworzenia modelu, należy bazując na modelu UML wyszczególnić iterakcje pomiędzy zewnętrzem, a modelowanym systemem, wyodrębnienić wejścia i wyjścia modelowanego systemu (IMHO może to być zależne od przypadku użycia), następnie próba specyfikacji elementów wiedzy (w postaci atrybutów), na podstawie której działa system, oraz odnalezienia i opisania za pomocą zdefiniowanych atrybutów reguł według jakich działa system. |
| |
| |
==== Wybrany przykład: ==== | ==== Wybrany przykład: ==== |
P1: [[http://www.emn.fr/x-info/jroyer/cashpoint.pdf|Another quite good documented Cashpoint Model]] {{:pl:miw:miw08_ardcase_cs:cashpoint.pdf|local copy}} | P1: {{:pl:miw:miw08_ardcase_cs:cashpoint.pdf|Another quite good documented Cashpoint Model <local copy>}} |
| |
== Pozostałe przykłady == | == Pozostałe przykłady == |
P2: [[http://cis.paisley.ac.uk/mcmo-ci0/SoftDev/Text/UML%20QuickGuide.pdf|Quite good documented Cashpoint Model]] {{:pl:miw:miw08_ardcase_cs:uml_quickguide.pdf|local copy}} | P2: {{:pl:miw:miw08_ardcase_cs:uml_quickguide.pdf|Quite good documented Cashpoint Model <local copy>}} |
| |
P3: [[http://www4.in.tum.de/lehre/da/DA_Wimmel.ps.gz|One more Cashpoint Model]] {{:pl:miw:miw08_ardcase_cs:da_wimmel.ps.ps|local copy}} | P3: {{:pl:miw:miw08_ardcase_cs:da_wimmel.ps.ps|One more Cashpoint Model <local copy>}} |
| |
==== Uzasadnienie wyboru i porównanie ==== | ==== Uzasadnienie wyboru i porównanie ==== |
==== General Conceptual Design ==== | ==== General Conceptual Design ==== |
| |
| |
| |
| ===== V4 ===== |
| |
| |
| |
| ==== Directed Conceptual Design ==== |
| |
| Kody w PROOGu, kod .dot i rysunki ARD/TPH i XTT wygenerowane przez VARDA dostępne dodatkowo pod linkiem poniżej |
| |
| {{:pl:miw:miw08_ardcase_cs:cashpoint_v4.pl|Kod w PROLOGu}} |
| |
| {{:pl:miw:miw08_ardcase_cs:cashpoint_v4-ard.dot|Plik .dot ARD}} |
| |
| {{:pl:miw:miw08_ardcase_cs:cashpoint_v4-tph.dot|Plik .dot TPH}} |
| |
| |
| === Full ARD Model === |
| |
| ARD: |
| |
| <graphviz file="pl:miw:miw08_ardcase_cs:cashpoint_v4-ard.dot"> |
| </graphviz> |
| |
| TPH: |
| |
| <graphviz file="pl:miw:miw08_ardcase_cs:cashpoint_v4-tph.dot"> |
| </graphviz> |
| |
| ==== Refined Conceptual Design ==== |
| |
| |
| |
===== Logical design ===== | ===== Logical design ===== |
| |
| |
| |
| |
| |
| |
==== V3 ==== | ==== V3 ==== |
{{:pl:miw:miw08_ardcase_cs:cashpoint-xt t_v3.dot|Plik .dot XTT}} | {{:pl:miw:miw08_ardcase_cs:cashpoint-xtt_v3.dot|Plik .dot XTT}} |
| |
XTT: | XTT: |
<graphviz url="http://student.agh.edu.pl/~makamin/MiW/ARD%20XTT/bankomat/cashpoint-xtt.dot"> | <graphviz file="pl:miw:miw08_ardcase_cs:cashpoint-xtt_v3.dot"> |
</graphviz> | </graphviz> |
| |
Plik HQED <wkleic> | Plik HQED {{:pl:miw:miw08_ardcase_cs:cashpoint-xttml_v3.xttml|XTTML}} |
| |
==== V2 ==== | ==== V2 ==== |
</graphviz> | </graphviz> |
| |
Plik HQED http://student.agh.edu.pl/~makamin/MiW/ARD%20XTT/bankomat/xtt.svg na podstawie http://student.agh.edu.pl/~makamin/MiW/ARD%20XTT/biletomat/vendingmachine.xttml | Plik HQED {{cashpoint_v2.xttml|XTTML}} |
| |
==== V1 ==== | ==== V1 ==== |
Tak powstałe reguły powinny być opisane w taki sposób aby otrzymane tabele były zupełne | Tak powstałe reguły powinny być opisane w taki sposób aby otrzymane tabele były zupełne |
| |
| |
| |
| |
| ===== CASE ===== |
| Ze względów projektowych trzeba było dodawać zależności ręcznie (abstrahując, że i tak koncepcja później została zmieniona) pojawiły się dwie tabele o identycznych warunkach (czemu nie zostały połączone?). Fakt nie były od początku projektowane jako jedna tabela o danych warunkach i dwóch konkluzjach (ale wynikło to z projektu, gdzie jedna z konkluzji była wywiedziona od innego atrybutu) |
| |
| {{:pl:miw:miw08_ardcase_cs:cashpoint_case.pl|Kod w PROLOGu}} |
| |
| {{:pl:miw:miw08_ardcase_cs:cashpoint_case-ard.dot|Plik .dot ARD}} |
| |
| {{:pl:miw:miw08_ardcase_cs:cashpoint_case-tph.dot|Plik .dot TPH}} |
| |
| {{:pl:miw:miw08_ardcase_cs:cashpoint_case-xtt.dot|Plik .dot XTT}} |
| |
| {{:pl:miw:miw08_ardcase_cs:cashpoint_case-xttml.xttml|Plik .dot XTTML}} |
| |
| <graphviz file="pl:miw:miw08_ardcase_cs:cashpoint_case-xtt.dot"> |
| </graphviz> |
| |
===== Ostatnie zmiany ===== | ===== Ostatnie zmiany ===== |
| 26.05.2008 - dodanie case opisywanego w sprawozdaniu ; dodanie v4 - podczas dogrywania case autor zauważył brak uaktualniania atrybutu numberOfBills (o nieco mylącej nazwie - reprezentującego ilość pieniędzy w banknotach w bankomacie), zostało to poprawione w wersji v4 |
| |
| 24.05.2008 - uporządkowanie, usunięcie linków zewnętrznych i zastąpienie lokalnymi, drobne zmiany |
| |
28.04.2008 - drobne modyfikacje modelu, użycie nowej wersji VARDA, oraz użycie HQED | 28.04.2008 - drobne modyfikacje modelu, użycie nowej wersji VARDA, oraz użycie HQED |
| |