Zustandsdiagramm: Initialzustand und Terminalzustände

Ein Zustandsdiagramm kann optional einen Initialzustand sowie ebenfalls optional eine Menge von Terminalzuständen enthalten. Ist ein Initialzustand angegeben, so muss von ihm aus genau ein Zustandsübergang ohne Ereignis und Wächterbedingung zum Ausgangszustand des Objekts führen. Dieser Zustandsübergang erzeugt das Objekt. Der Initialzustand ist lediglich ein "Pseudozustand", da ein Objekt zu keiner Zeit in einem solchen Zustand beobachtet werden kann. Ein Übergang in einen Terminalzustand entspricht der Zerstörung des Objekts.

Der Initialzustand wird im Zustandsdiagramm als schwarz gefüllter Kreis, Terminalzustände als schwarz gefüllte Doppelkreise gezeichnet.

Beispiel
Der Getränkeautomat unterscheidet nach seinem Einschalten (Übergang vom Initialzustand) die Zustände Bereit (das Guthaben ist 0, der Geldeinwurf ist freigegeben), Geld eingeworfen (das Guthaben ist größer 0, der Geldeinwurf ist freigegeben) und Getränk gewählt (der Geldeinwurf ist gesperrt). Letzterem ist die Eingangsaktion Vorrat und Guthaben prüfen zugeordnet, die bei vorhandenem Getränk und ausreichendem Guthaben mittels des Ereignisses Prüfung OK die Ausgabe des Getränks und ggf. des Wechselgelds anstößt.

Abbildung: Zustandsdiagramm für einen Getränkeautomaten

Quellen
OMG: Unified Modeling Language Specification V. 1.4, OMG, Sept. 2001