Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:miw:miw08_ardcase_cs:biletomat [2008/05/19 21:36] 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 145: | Linia 148: | ||
| ==== V1 ==== | ==== V1 ==== | ||
| + | |||
| Linia 159: | Linia 163: | ||
| {{: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 === | === Full ARD Model === | ||
| Linia 188: | Linia 190: | ||
| ===== Logical design ===== | ===== Logical design ===== | ||
| + | |||
| Linia 203: | Linia 206: | ||
| </graphviz> | </graphviz> | ||
| - | Plik HQED http://student.agh.edu.pl/~makamin/MiW/XTTML/vendingmachine-xttml_v3.xttml | + | Plik HQED {{vendingmachine-xttml_v3.xttml|XTTML}} |
| Linia 214: | 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 240: | 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 | ||
