1.12. Zustandsdiagramme

Zustandsdiagramme zeigen die verschiedenen Stadien (oder Zustände) an, die eine Entität in ihrem Leben durchlaufen kann. Ein Zustandsdiagramm kann Zustandsübergänge (Transitionen) von Methoden, Objekten, Komponenten, Subsystemen oder ganzen Systemen verdeutlichen. Die UML-Spezifikation beschreibt zwei Arten von Zustandsautomaten: verhaltens- und protokollorientierte. Verhaltens-Zustandsautomaten zeigen das Verhalten eines bestimmten Systemelements, während Protokoll-Zustandsautomaten das Verhalten eines Protokolls verdeutlichen und nicht an eine bestimmte Implementierung gebunden sind. Man könnte beispielsweise das Mailprotokoll SMTP mit einem Protokoll-Zustandsautomaten modellieren, ohne sich auf Microsoft Exchange oder Postfix festlegen zu müssen.

1.12.1. Zustände

Ein Zustand ist die Beschaffenheit einer modellierten Entität, für die eine Aktion ausgeführt, ein Auslöser empfangen oder eine Bedingung an anderer Stelle des Systems erfüllt wurde. Typischerweise bleibt eine Entität nur für einen messbaren, begrenzten Zeitraum in einem Zustand; allerdings gestattet die UML auch momentane Zustände, um einen Operationsablauf besser modellieren zu können.