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)

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:

Diagram stanowy dla diagramu XTT th:

W tabeli wymieniłem typy użytych pseudostanów:

Symbol	Opis pseudostanu (na podstawie: Pilone 2007, s. 125)
	Pseudostan początkowy - punkt początkowy maszyny stanów.
	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ść.
	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.

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?

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:

• Co oznacza -X, +Y w XTT?