In diesem Kapitel geht es um Zustandsdiagramme (englisch: State Diagrams bzw. State Machine Diagrams) – eine der wichtigsten UML-Diagrammarten für die Beschreibung von Verhalten.
Ein Zustandsdiagramm zeigt, welche Zustände ein Objekt oder System zur Laufzeit annehmen kann. Der Wechsel zwischen zwei Zuständen wird als Übergang (Transition) bezeichnet und durch ein Ereignis ausgelöst.
Ein Zustandsdiagramm beschreibt einen endlichen Automaten: Das modellierte Objekt befindet sich zu jedem Zeitpunkt in genau einem einzigen Zustand – niemals in mehreren gleichzeitig und niemals in keinem.
In der Praxis kommen Zustandsdiagramme vor allem in zwei Situationen zum Einsatz:
In diesem Kapitel lernst du, wie man Zustände und Übergänge notiert, welche Sonderzustände (Pseudo-Zustände) es gibt, was genau innerhalb eines Zustands passieren kann und worin sich Verhaltens- von Protokollzustandsautomaten unterscheiden.