To jest stara wersja strony!
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. (
Pilone 2007, s. 111)
wersja z 08.02.26
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:
Zmodyfikowany wg powyższych ustaleń diagram stanowy dla diagramu XTT th wygląda następująco:
Diagram nr 3: Zmodyfikowany diagram stanowy dla diagramu XTT th: |
| |
Ponadto powyższy diagram byłby zgodny z takim XTT, w których wiersze w tabelach są interpretowane z góry na dół oraz mają być unikalnymi kombinacjami wartości atrybutów, gdyż w przypadku użycia pseudostanu wybór (decision node), zgodnie ze specyfikacją OMG UML 2.1.2 (s. 376) warunki dozoru powinnny być wzajemnie wykluczające się.
Jeśli jednak w XTT mogłyby (choćby na skutek pomyłki) wystąpić w poszczególnych wierszach wartości, które nie wykluczałyby wierszy wzajemnie, wtedy należałoby użyć zgodnie ze specyfikacją OMG UML 2.1.2 (s. 390) rozwidlenia (fork node), które może duplikować wartość wejściową i przechodzić więcej niż jedną krawędzią do kolejnych stanów. Dla tak rozumianego XTT należałoby zmodyfikować diagram następująco:
Diagram nr 4: Zmodyfikowany diagram stanowy dla diagramu XTT th: |
| |
Zagadnienia problematyczne
Jak uniknąć braku czytelności w przypadku diagramu nr 3? Przy większej liczbie stanów końcowych i większej liczbie kombinacji warunków dozoru krawędzie przejść między stanami mogą się przecinać, a ponieważ wychodzą z jednego punktu (pseudostanu
wybór) sprawią, że warunki dozoru je opisujące będą nieczytelne.
Co oznacza -X, +Y w
XTT?