Gourt Home::Gourt :: Zustandsdiagramm (UML)
Ein Zustandsdiagramm ist eine der dreizehn Diagrammarten in der Unified Modeling Language (UML), einer Modellierungssprache für Software und andere Systeme. Es stellt einen Zustandsautomat graphisch dar.
Beschreibung
Die in UML verwendete Diagrammform ist eine Variante des Harel Zustandsdiagramms (Harel state chart). Neben dieser Diagrammform gibt es in der Informatik, wie auch in der Telekommunikation, eine ganze Reihe weiterer Formen, die sich nicht grundsätzlich unterscheiden.
Ein Zustandsdiagramm zeigt eine Folge von Zuständen, die ein Objekt im Laufe seines Lebens einnehmen kann, und gibt an, aufgrund welcher Stimuli (Ereignisse) Zustandsänderungen stattfinden. Damit beschreibt ein Zustandsdiagramm eine hypothetische Maschine (endlicher Automat), die sich zu jedem Zeitpunkt in einer Menge endlicher Zustände befindet.
Die Zustände in einem Zustandsdiagramm werden durch Rechtecke mit abgerundeten Ecken (in anderen Diagrammformen außerhalb von UML häufig auch Kreise, Ellipsen oder einfache Rechtecke) dargestellt. Die möglichen Zustandsübergänge werden durch Pfeile zwischen den Zuständen symbolisiert. Die Pfeile sind mit den Ereignissen beschriftet, die zu dem jeweiligen Zustandsübergang führen können.
Weitere Informationen zu Notationselementen findet man unter Zustandsautomat.
Beispiele für Zustandsdiagramme
Verhaltenszustandsautomat
Statemachine-5.png Ein Verhaltenszustandsautomat (engl. behavioral state machine) modelliert das Verhalten eines Modellelements. Der Zustandsautomat in der Abbildung links spezifiziert zum Beispiel das Verhalten einer Waschmaschine.Protokollzustandsautomat
Statemachine-6.png Ein Protokollzustandsautomat (engl. protocol state machine) spezifiziert die zulässige Nutzung der Verhaltensmerkmale eines Classifiers.In der Abbildung links ist zum Beispiel ein Web Service spezifiziert, über den Flüge reserviert werden können. Der zugeordnete Protokollzustandsautomat spezifiziert, in welcher Reihenfolge die Operationen des Web Service aufzurufen sind. Aus der Spezifikation geht zum Beispiel hervor, dass ein Flug nur gebucht werden kann, wenn er zuvor erfolgreich reserviert wurde oder dass ein einmal gebuchter Flug nicht mehr gecancelt werden kann.
Siehe auch
Weblinks
Literatur
- Christoph Kecher: "UML 2.0 - Das umfassende Handbuch" Galileo Computing, 2006, ISBN 3-89842-738-2
- Harel, D. Statecharts: A Visual Formalism for Complex Systems Sci. Comput. Programming 8 (1987), 231-274 PDF
State diagram | Diagramme États-Transitions | 状態遷移図 | Diagrama de transição de estados | Диаграмма состояний (теория автоматов) | Stavový diagram UML
"Zustandsdiagramm (UML)"
