Jedes Zustandsdiagramm weist einen Startzustand. Er besitzt keine eingehenden Transitionen und nur genau eine ausgehende Transition, die angibt, in welchem Zustand begonnen wird. Der Startzustand selbst kann nicht eingenommen werden. Neu erzeugte Objekte befinden sich immer in dem auf den Startzustand folgenden Zustand.
Besitzt keine ausgehenden Transitionen. Das Objekt bzw. die Ebene hat den Endzustand erreicht (Objekt kann ewig im Endzustand existieren).
Beendet sofort die Ausführung der gesamten Zustandsmaschine, um abrupte Abbrüche zu erzwingen, z. B. im Falle eines Fehlers.
Werden verwendet, um mehrere Transitionen zu verbinden. Der Kontrollfluss wird nicht aufgeteilt.
Knoten, von dem mehrere alternative Transitionen ausgehen können. Pfad hängt von Bedingungen an ausgehenden Kanten ab.
Zustände können durch Verschachtelung miteinander kombiniert werden. Dadurch enstehen Unter- und Oberzustände. Die UML2 kennt folgende Pseudo-Zustände, die bei Verschachtelung von Bedeutung sind.
Der flache Historiezustand speichert den Zustand einer Ebene. Beim Verlassen des Unterzustands wird der aktuelle Kontrollfluss gesichert. Beim Betreten wird der Zustand wieder hergestellt.
Im tiefen Historiezustand werden alle Zustände über die gesamte Schachtelungstiefe hinweg gespeichert.
Regionen enthalten Zustände und Zustandsübergänge und werden durch gestrichelte Linien zu Trennung der Bereiche dargestellt. Sie definieren nebenläufige Bereiche innerhalb eines Zustands. Beim Eintritt werden die nebenläufigen Regionen beide aktiv. Beim Verlassen werden die Kontrollflüsse wieder zusammengeführt. Die UML2 kennt folgende Pseudo-Zustände, die bei Zustandsregionen von Bedeutung sind.
Aufspaltung des Kontrollflusses in mehrere parallelen Zustände. Ausgehende Kanten tragen keine Ereignisse oder Bedingungen.
Vereinigung des Kontrollflusses von mehreren parallelen Zuständen. Eingehende Kanten tragen keine Ereignisse oder Bedingungen.
