Ein Zustandsdiagramm besteht aus:
- einer endlichen Menge von Zuständen
- einer endlichen Menge von Ereignissen
- Transitionen, die den Übergang von einem Zustand in den nächsten beschreiben
- einem Anfangszustand
- einem Endzustand oder mehreren Endzuständen
Zustände von Objekten
Ein Zustand ist eine Kombination von möglichen Attributwerten, die Objekte einer Klasse haben können. Ein Zustand hat folgende Merkmale:
- Ein Zustand hat einen eindeutigen Namen
- Zwei Zustände mit dem selben Namen sind identisch
- Ein Zustand ohne Namen ist ein anonymer Zustand
- Anonyme Zustände sind grundsätzlich voneinander verschieden
- Jeder Zustand wird durch die Werte einer oder auch mehrerer Zustandsvariablen definiert
- Ein Objekt kann von einem in einen anderen zustand wechseln. Diese Zustandsübergänge werden durch Ereignisse ausgelöst
- Ein Ereignis wird durch einen Namen und einer Liste von erlaubter Argumenten dargestellt.
Ereignisse
Folgende Merkmale beschreiben ein Ereignis:
- Zustandsübergänge werden durch Ereignisse ausgelöst.
- Ereignisse werden als Pfeile zwischen zwei Zuständen dargestellt.
- Die Ereignisbeschriftung wird auf den Pfeil geschrieben.
- Ereignisse können mit Bedingungen versehen werden.
