--- pl:miw:miw08_ardcase_cs:biletomat [2008/05/19 19:47]
miw
+++ pl:miw:miw08_ardcase_cs:biletomat [2019/06/27 15:50] (aktualna)
@@ Linia 1: / Linia 1: @@
 ====== Analiza biletomatu i design ======
 ==== Wybrany przykład: ====
-[[http://student.agh.edu.pl/~makamin/MiW/TPa%b3osz,MMazur%20-%20Automat.pdf|Well documented Vending Machine Model by T. Pałosz, M. Mazur (AiR IV)]] {{:pl:miw:miw08_ardcase_cs:tpa_b3osz_mmazur_-_automat.pdf|localcopy}}
+{{:pl:miw:miw08_ardcase_cs:tpa_b3osz_mmazur_-_automat.pdf|Well documented Vending Machine Model by T. Pałosz, M. Mazur (AiR IV) <localcopy> }}
 == Pozostałe przykłady ==
@@ Linia 43: / Linia 46: @@
 ===== Analysis =====
@@ Linia 79: / Linia 83: @@
 Poziom 23: Ręczne dodanie zależności pieniądze w biletomacie -> pieniądze w biletomacie (konieczne do pomniejszenia ilości pieniędzy po ich wydaniu)
-Poziom 21: Ręczne dodanie zależności cena -> pieniądze w biletomacie (konieczne do pomniejszenia ilości pieniędzy po ich wydaniu)
+Poziom 24: Ręczne dodanie zależności cena -> pieniądze w biletomacie (konieczne do pomniejszenia ilości pieniędzy po ich wydaniu)
-Poziom 21: Ręczne dodanie zależności aktywność bilatomatu -> pieniądze w biletomacie (konieczne do pomniejszenia ilości pieniędzy po ich wydaniu)
+Poziom 25: Ręczne dodanie zależności aktywność bilatomatu -> pieniądze w biletomacie (konieczne do pomniejszenia ilości pieniędzy po ich wydaniu)
 ==== General Conceptual Design ====
 ==== V3 ====
-link do strony z plikami http://student.agh.edu.pl/~makamin/MiW/v3/biletomat/
 ==== 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:vendingmachine_v3.pl|Kod w PROLOGu}}
+{{:pl:miw:miw08_ardcase_cs:vendimgmachine-ard_v3.dot|Plik .dot ARD}}
+{{:pl:miw:miw08_ardcase_cs:vendimgmachine-tph_v3.dot|Plik .dot TPH}}
 === Full ARD Model ===
+ARD:
+<graphviz file="pl:miw:miw08_ardcase_cs:vendimgmachine-ard_v3.dot">
+</graphviz>
+TPH:
+<graphviz file=":pl:miw:miw08_ardcase_cs:vendimgmachine-tph_v3.dot">
+</graphviz>
 ==== Refined Conceptual Design ====
 ==== V2 ====
 ==== Directed Conceptual Design ====
@@ Linia 113: / Linia 144: @@
 <graphviz file="pl:miw:miw08_ardcase_cs:vendingmachine-tph_v2.dot">
 </graphviz>
-{{:pl:miw:miw08_ardcase_cs:vendingmachine-xtt_v2.dot|Plik .dot XTT}}
-XTT:
-<graphviz file="pl:miw:miw08_ardcase_cs:vendingmachine-xtt_v2.dot">
-</graphviz>
-Plik HQED http://student.agh.edu.pl/~makamin/MiW/ARD%20XTT/biletomat/vendingmachine.svg
 ==== Refined Conceptual Design ====
 ==== V1 ====
@@ Linia 133: / Linia 156: @@
 ==== Directed Conceptual Design ====
-=== Full ARD Model ===
 Kody w PROOGu, kod .dot i rysunki ARD/TPH i XTT wygenerowane przez VARDA dostępne dodatkowo pod linkiem poniżej
@@ Linia 142: / Linia 164: @@
 {{:pl:miw:miw08_ardcase_cs:vendingmachine-tph.dot|Plik .dot TPH}}
-http://student.agh.edu.pl/~makamin/MiW/Graph/biletomat/
+=== Full ARD Model ===
 ARD:
@@ Linia 168: / Linia 190: @@
 ===== Logical design =====
+==== V3 ====
+{{:pl:miw:miw08_ardcase_cs:vendimgmachine-xtt_v3.dot|Plik .dot XTT}}
+XTT:
+<graphviz file="pl:miw:miw08_ardcase_cs:vendimgmachine-xtt_v3.dot">
+</graphviz>
+Plik HQED {{vendingmachine-xttml_v3.xttml|XTTML}}
+==== V2 ====
+{{:pl:miw:miw08_ardcase_cs:vendingmachine-xtt_v2.dot|Plik .dot XTT}}
+XTT:
+<graphviz file="pl:miw:miw08_ardcase_cs:vendingmachine-xtt_v2.dot">
+</graphviz>
+Plik HQED {{vendingmachine_v2.xttml|XTTML}}
@@ Linia 173: / Linia 225: @@
 {{:pl:miw:miw08_ardcase_cs:vendingmachine-xtt.dot|Plik .dot XTT}}
+{{:pl:miw:miw08_ardcase_cs:miw-vendingmachine-xtt.pdf|Nieoficjalna (bez użycia HqEd) wersja XTT}}
 XTT:
@@ Linia 178: / Linia 233: @@
 <graphviz file="pl:miw:miw08_ardcase_cs:vendingmachine-xtt.dot">
 </graphviz>
-Wstępna wersja xtt (nie wrzucana na wiki, ponieważ jest wstępna) tutaj: http://student.agh.edu.pl/~makamin/MiW/Graph/biletomat/MiW-vendingmachine-xtt.pdf
@@ Linia 191: / Linia 244: @@
 - fizyczna możliwość wypłaty (czy jest tusz do drukowania/pieniądze do wydania reszty)
 ===== Ostatnie zmiany =====
+.05.2008 - usunięcie linków zewnętrznych, dodane kopii lokalnych, drobne zmiany
 .04.2008 - od poprzedniej wersji ARD/XTT (v1) przy użyciu nowej wersji VARDA wygenerowano poprawione ARD, a za pomocą HQed XTT (v2). Ważne - w wersji v1 w tabelach reguł występowały działania, które należało wyeliminować. W tym celu wprowadzono nowy atrybut - reszta. Po zmianach okazało się, iż aby wyliczyć, w jakiej kwocie należy wydać resztę należy odjąć atrybut - cena produktu (priceList[chosenProduct]), od atrybutu wpłacona przez klienta kwota (remittance). Reszta=wpłata-cena. Tak powstały atrybut należy dalej wykorzystać do sprawdzenia, czy biletomat posiada środki do wydania reszty. Powoduje to porównanie atribute2atribute, które może zostać zapisane niejednoznacznie tj. gdy fundsInMachine<change lub change>fundsInMachine atrybut enoughCashToChange jest prawdą, aby nie powodować reguł redundantnych koniecznym wydaje się przyjęcie jednolitej konwencji np w postaci ustalania jednego (np. skrajnie prawego w tabeli) jako dowolnego/stałego i dopasowywanie prawego jako większego/mniejszego niż prawy. Pytanie co stanie się przy większej ilości atrybutów

pl/miw/miw08_ardcase_cs/biletomat.1211219278.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