--- pl:miw:miw08_ardcase_cs:bankomat [2008/05/19 18:59]
miw
+++ pl:miw:miw08_ardcase_cs:bankomat [2019/06/27 15:50] (aktualna)
@@ Linia 3: / Linia 3: @@
 ====== 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.
 ==== 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 ==
-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 ====
@@ Linia 48: / Linia 49: @@
 Elementy wiedzy: Akcja wybrana przez użytkownika (dziedzina: saldo/wyplata), wpisany pin (dziedzina 0000-9999), uwierzytelnianie, saldo, pożądana kwota, czy istnieje możliwość wypłaty, czy bankomat posiada środki.
@@ Linia 55: / Linia 57: @@
 Jeśli akcją jest wypłata to pozostałe reguły.
 Jeśli dobry PIN -> kontynuacja
 Jeśli zły -> druga próba ; Jeśli dobry -> Kontynuacja ; Jeśli zły -> zabranie karty
 Jeśli stan konta (+ ew.prowizja) lub karta debetowa -> (autoryzowany użytkownik posiadający środki) możliwość wypłaty
 Jeśli są pieniądze i możliwość wypłaty -> wyplata pieniędzy/drukowanie potwierdzenia lub stan konta dla akcji sprawdzania konta
 Po wypłacie należy zaktualizować ilość pieniędzy w bankomacie
 ===== Analysis =====
@@ Linia 96: / Linia 104: @@
-====== V3 ======
+===== V4 =====
-link do strony z plikami http://student.agh.edu.pl/~makamin/MiW/v3/bankomat/
 ==== 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 ====
-====== V2 ======
+===== V3 =====
@@ Linia 109: / Linia 143: @@
 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_v2.pl|Kod w PROLOGu}}
+{{:pl:miw:miw08_ardcase_cs:cashpoint_v3.pl|Kod w PROLOGu}}
-{{:pl:miw:miw08_ardcase_cs:cashpoint-ard_v2.dot|Plik .dot ARD}}
+{{:pl:miw:miw08_ardcase_cs:cashpoint-ard_v3.dot|Plik .dot ARD}}
-{{:pl:miw:miw08_ardcase_cs:cashpoint-tph_v2.dot|Plik .dot TPH}}
+{{:pl:miw:miw08_ardcase_cs:cashpoint-tph_v3.dot|Plik .dot TPH}}
-{{:pl:miw:miw08_ardcase_cs:cashpoint-xtt_v2.dot|Plik .dot XTT}}
 === Full ARD Model ===
@@ Linia 121: / Linia 154: @@
 ARD:
-<graphviz url="http://student.agh.edu.pl/~makamin/MiW/ARD%20XTT/bankomat/cashpoint-ard.dot">
+<graphviz file="pl:miw:miw08_ardcase_cs:cashpoint-ard_v3.dot">
 </graphviz>
 TPH:
-<graphviz url="http://student.agh.edu.pl/~makamin/MiW/ARD%20XTT/bankomat/cashpoint-tph.dot">
+<graphviz file="pl:miw:miw08_ardcase_cs:cashpoint-tph_v3.dot">
 </graphviz>
-XTT:
+==== Refined Conceptual Design ====
-<graphviz url="http://student.agh.edu.pl/~makamin/MiW/ARD%20XTT/bankomat/cashpoint-xtt.dot">
+===== V2 =====
+==== 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_v2.pl|Kod w PROLOGu}}
+{{:pl:miw:miw08_ardcase_cs:cashpoint-ard_v2.dot|Plik .dot ARD}}
+{{:pl:miw:miw08_ardcase_cs:cashpoint-tph_v2.dot|Plik .dot TPH}}
+=== Full ARD Model ===
+ARD:
+<graphviz file="pl:miw:miw08_ardcase_cs:cashpoint-ard_v2.dot">
 </graphviz>
-Plik HQED http://student.agh.edu.pl/~makamin/MiW/ARD%20XTT/bankomat/xtt.svg
+TPH:
-==== Refined Conceptual Design ====
+<graphviz file="pl:miw:miw08_ardcase_cs:cashpoint-tph_v2.dot">
+</graphviz>
-====== V1 ======
+==== Refined Conceptual Design ====
+===== V1 =====
@@ Linia 152: / Linia 206: @@
 {{:pl:miw:miw08_ardcase_cs:cashpoint-tph.dot|Plik .dot TPH}}
-{{:pl:miw:miw08_ardcase_cs:cashpoint-xtt.dot|Plik .dot XTT}}
-{{:pl:miw:miw08_ardcase_cs:miw-cashpoint-xtt.pdf |Nieoficjalna (bez użycia HqEd) wersja XTT }}
 ARD:
@@ Linia 164: / Linia 214: @@
 TPH:
 <graphviz file="pl:miw:miw08_ardcase_cs:cashpoint-tph.dot">
-</graphviz>
-XTT:
-<graphviz file="pl:miw:miw08_ardcase_cs:cashpoint-xtt.dot">
 </graphviz>
@@ Linia 183: / Linia 229: @@
 ===== Logical design =====
+==== V4 ====
+{{:pl:miw:miw08_ardcase_cs:cashpoint_v4-xtt.dot|Plik .dot XTT}}
+XTT:
+<graphviz file="pl:miw:miw08_ardcase_cs:cashpoint_v4-xtt.dot">
+</graphviz>
+Plik HQED {{:pl:miw:miw08_ardcase_cs:cashpoint_v4-xttml.xttml|XTTML}}
+==== V3 ====
+{{:pl:miw:miw08_ardcase_cs:cashpoint-xtt_v3.dot|Plik .dot XTT}}
+XTT:
+<graphviz file="pl:miw:miw08_ardcase_cs:cashpoint-xtt_v3.dot">
+</graphviz>
+Plik HQED {{:pl:miw:miw08_ardcase_cs:cashpoint-xttml_v3.xttml|XTTML}}
+==== V2 ====
+{{:pl:miw:miw08_ardcase_cs:cashpoint-xtt_v2.dot|Plik .dot XTT}}
+XTT:
+<graphviz file="pl:miw:miw08_ardcase_cs:cashpoint-xtt_v2.dot">
+</graphviz>
+Plik HQED {{cashpoint_v2.xttml|XTTML}}
+==== V1 ====
+{{:pl:miw:miw08_ardcase_cs:cashpoint-xtt.dot|Plik .dot XTT}}
+{{:pl:miw:miw08_ardcase_cs:miw-cashpoint-xtt.pdf |Nieoficjalna (bez użycia HqEd) wersja XTT }}
+XTT:
+<graphviz file="pl:miw:miw08_ardcase_cs:cashpoint-xtt.dot">
+</graphviz>
+==== V0 - opis ogólny ====
 Wynikowe działanie bankomatu zależy od następujących rzeczy:
 - czy klient podał prawidłowy PIN (uwierzytelnienie)
@@ Linia 190: / Linia 282: @@
 Uwierzytelnienie zależy od PINu zapisanego na karcie/w bazie banku, oraz PINu podanego przez klienta
 To czy klient dysponuje środkami zależy od pożądanej przez klienta kwoty, oraz stanu jego konta
 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 =====
+.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
+.05.2008 - uporządkowanie, usunięcie linków zewnętrznych i zastąpienie lokalnymi, drobne zmiany
 .04.2008 - drobne modyfikacje modelu, użycie nowej wersji VARDA, oraz użycie HQED
 .05.2008 - modyfikacja modelu, nowe ARD,XTT - na chwile obecna link do strony, wieczorem wklejenie localcopy etc
+.05.2008 - poprawa(uaktualnienie) opisu, dodanie kopii lokalnych plików, usunięcie starych uwag, dodanie nowych uwag do sprawozdania

pl/miw/miw08_ardcase_cs/bankomat.1211216349.txt.gz · ostatnio zmienione: 2019/06/27 15:59 (edycja zewnętrzna)

Pokaż stronę Poprzednie wersje

Menadżer multimediów Do góry

AIwiki

Menu

Dla Studentów

Old specialized AI courses

SMaDA/SMaIDA/AIDA

Informatyka (EAIiIB)

Studia Dr

Inne materialy dydaktyczne

Archiwum

Dyplomanci

Geist Season of Code

HeKatE

Public

Różnice