[[
✎ pl:miw:miw08_umlandardxtt:state_diagrams
]]
aiWiki
Pokaż stronę
Ostatnie zmiany
Indeks
Zaloguj
Ta strona jest tylko do odczytu. Możesz wyświetlić źródła tej strony ale nie możesz ich zmienić.
====== Diagram stanów ====== > Diagramy maszyny stanów służą do obrazowania zachowania systemów programowych. (...) > Maszyny stanowe mają zastosowanie w prezentacji zachowania wybranych fragmentów systemów za pomocą grafów. ([[pl:miw:miw08_umlandardxtt#literatura|Pilone 2007]], s. 111) ===== wersja z 08.02.26 ===== W tabelach poniżej przedstawiłem próbę zamodelowania dwóch prostych diagramów XTT przy pomocy diagramów stanów UMLa: ^Diagram stanowy dla diagramu XTT dt:^^ |{{:pl:miw:miw08_umlandardxtt:xtt_dt.png|:pl:miw:miw08_umlandardxtt:xtt_dt.png}}|{{:pl:miw:miw08_umlandardxtt:dt_state1.png|:pl:miw:miw08_umlandardxtt:dt_state1.png}}| ^Diagram stanowy dla diagramu XTT th:^^ |{{:pl:miw:miw08_umlandardxtt:xtt_th.png?303|:pl:miw:miw08_umlandardxtt:xtt_th.png}}|{{:pl:miw:miw08_umlandardxtt:th_state1.png?450|:pl:miw:miw08_umlandardxtt:th_state1.png}}| W tabeli wymieniłem typy użytych pseudostanów: ^ Symbol ^Opis pseudostanu (na podstawie: [[pl:miw:miw08_umlandardxtt#literatura|Pilone 2007]], s. 125) ^ | {{:pl:miw:miw08_umlandardxtt:ico_start.png|:pl:miw:miw08_umlandardxtt:ico_start.png}} |//**Pseudostan początkowy** - punkt początkowy maszyny stanów.//| | {{:pl:miw:miw08_umlandardxtt:ico_romb.png|:pl:miw:miw08_umlandardxtt:ico_romb.png}} |//**Wybór** - pozwala działającej maszynie stanów na wybór jednego z kilku różnych stanów na podstawie warunków dozoru zdefiniowanych dla przejść.//| | {{:pl:miw:miw08_umlandardxtt:ico_rozdzielacz.png|:pl:miw:miw08_umlandardxtt:ico_rozdzielacz.png}} |//**Rozwidlenie** i **scalenie** - rozwidlenie w wykonywaniu maszyny stanowej na obszary współbieżne, scalenie ponownie łączy obszary w jedno przejście. Maszyna stanowa nie wyjdzie ze scalenia dopóki wszystkie obszary nie przejdą w jego pseudostan.//| ==== Zagadnienia problematyczne ==== W drugim diagramie stanowym jeden z atrybutów tabeli XTT przekształciłem w stan, a drugi w warunek dozoru (warunek zapisany jest nad strzałką pomiędzy stanami, gdy jest on spełniony jeden stan przechodzi w drugi zgodnie z kierunkiem strzałki między nimi). Powoduje to następujący problem: które z parametrów przekształcać w stany, a które w warunki dozoru? ===== wersja z 08.03.04 ===== By uniknąć problemu, które atrybuty XTT przekształcać w warunki, a które w stany, ustalam: * stanami zostaną wartości atrybutów (końcowych :?:) tabeli XTT, * warunkami dozoru stają się poszczególne wiersze tabeli XTT (koniunkcja wartości w ich komórkach). Zmodyfikowany wg powyższych ustaleń diagram stanowy dla diagramu XTT th wygląda następująco: ^Zmodyfikowany diagram stanowy dla diagramu XTT th:^^ |{{:pl:miw:miw08_umlandardxtt:xtt_th.png?303|:pl:miw:miw08_umlandardxtt:xtt_th.png}}|{{:pl:miw:miw08_umlandardxtt:th_state2a.png|:pl:miw:miw08_umlandardxtt:th_state2a.png}}| ==== Zagadnienia problematyczne ==== * :!: Co oznacza -X, +Y w [[hekate:hekate_concepts#xtt|XTT]]?
pl/miw/miw08_umlandardxtt/state_diagrams.1204505128.txt.gz
· ostatnio zmienione: 2019/06/27 15:59 (edycja zewnętrzna)
Pokaż stronę
Poprzednie wersje
Menadżer multimediów
Do góry