Różnice

Różnice między wybraną wersją a wersją aktualną.

Odnośnik do tego porównania

Both sides previous revision Poprzednia wersja
Nowa wersja
Poprzednia wersja
pl:miw:miw08_ardcase_cs:biletomat [2008/05/19 20:05]
miw
pl:miw:miw08_ardcase_cs:biletomat [2019/06/27 15:50] (aktualna)
Linia 1: Linia 1:
 ====== Analiza biletomatu i design ====== ====== Analiza biletomatu i design ======
 +
 +
 +
 ==== Wybrany przykład: ==== ==== 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 == == Pozostałe przykłady ==
Linia 43: Linia 46:
  
 ===== Analysis ===== ===== 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 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 ==== ==== General Conceptual Design ====
 +
  
  
Linia 89: Linia 94:
  
 ==== V3 ==== ==== V3 ====
 +
 +==== Directed Conceptual Design ====
 +
 Kody w PROOGu, kod .dot i rysunki ARD/TPH i XTT wygenerowane przez VARDA dostępne dodatkowo pod linkiem poniżej 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:​vendingmachine_v3.pl|Kod w PROLOGu}}
  
-{{:​pl:​miw:​miw08_ardcase_cs:​vendingmachine-ard_v3.dot|Plik .dot ARD}}+{{:​pl:​miw:​miw08_ardcase_cs:​vendimgmachine-ard_v3.dot|Plik .dot ARD}}
  
-{{:​pl:​miw:​miw08_ardcase_cs:​vendingmachine-tph_v3.dot|Plik .dot TPH}}+{{:​pl:​miw:​miw08_ardcase_cs:​vendimgmachine-tph_v3.dot|Plik .dot TPH}} 
 + 
 +=== Full ARD Model ===
  
 ARD: ARD:
  
-<​graphviz file="​pl:​miw:​miw08_ardcase_cs:​vendingmachine-ard_v3.dot">​+<​graphviz file="​pl:​miw:​miw08_ardcase_cs:​vendimgmachine-ard_v3.dot">​
 </​graphviz>​ </​graphviz>​
  
 TPH: TPH:
  
-<​graphviz file=":​pl:​miw:​miw08_ardcase_cs:​vendingmachine-tph_v3.dot">​+<​graphviz file=":​pl:​miw:​miw08_ardcase_cs:​vendimgmachine-tph_v3.dot">​
 </​graphviz>​ </​graphviz>​
  
-==== Directed Conceptual Design ==== + 
-=== Full ARD Model ===+ 
 ==== Refined Conceptual Design ==== ==== Refined Conceptual Design ====
 ==== V2 ==== ==== V2 ====
Linia 137: Linia 148:
  
 ==== V1 ==== ==== V1 ====
 +
 +
  
  
Linia 143: Linia 156:
 ==== Directed Conceptual Design ==== ==== 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 Kody w PROOGu, kod .dot i rysunki ARD/TPH i XTT wygenerowane przez VARDA dostępne dodatkowo pod linkiem poniżej
  
Linia 152: Linia 164:
 {{:​pl:​miw:​miw08_ardcase_cs:​vendingmachine-tph.dot|Plik .dot TPH}} {{:​pl:​miw:​miw08_ardcase_cs:​vendingmachine-tph.dot|Plik .dot TPH}}
  
-http://​student.agh.edu.pl/​~makamin/​MiW/​Graph/​biletomat/​+=== Full ARD Model ===
  
 ARD: ARD:
Linia 178: Linia 190:
  
 ===== Logical design ===== ===== 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}}
  
  
Linia 189: Linia 218:
 </​graphviz>​ </​graphviz>​
  
-Plik HQED http://​student.agh.edu.pl/​~makamin/​MiW/​ARD%20XTT/​biletomat/​vendingmachine.svg+Plik HQED {{vendingmachine_v2.xttml|XTTML}}
  
  
Linia 215: Linia 244:
  
 - fizyczna możliwość wypłaty (czy jest tusz do drukowania/​pieniądze do wydania reszty) - fizyczna możliwość wypłaty (czy jest tusz do drukowania/​pieniądze do wydania reszty)
 +
  
  
  
 ===== Ostatnie zmiany ===== ===== Ostatnie zmiany =====
 +24.05.2008 - usunięcie linków zewnętrznych,​ dodane kopii lokalnych, drobne zmiany
 +
 28.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 28.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.1211220338.txt.gz · ostatnio zmienione: 2019/06/27 15:59 (edycja zewnętrzna)
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0