@@ -8,15 +8,16 @@ Die UML 2.0 unterscheidet behavioral state machines, die Verhalten von Instanzen
## Notation
Da die Notationselemente für Zustandsautomaten sehr komplex sind, werden sie hier in zwei Bereichen behandelt: die grundlegenden Konzepte der Zustandsautomaten werden im Abschnitt Notation - Konzept beschrieben, die weiterführenden Konzepte werden unter Notation - erweitert dargestellt.
<b></b><br><br><p>
Da die Notationselemente für Zustandsautomaten komplex sind, werden sie hier in zwei Bereichen behandelt: die grundlegenden Konzepte der Zustandsautomaten werden im Abschnitt <code> Notation - Konzept </code> beschrieben, die weiterführenden Konzepte werden unter <code> Notation - erweitert <code> dargestellt.
<b></b><br><br><p>
<b>Anfangs-, Endzustand (initial state, final state) </b><br><br> geben den Beginn und Ende des Lebenszyklus eines modellierten Elementes an. Wird ein Objekt erzeugt, befindet es sich im Anfangszustand, wird es gelöscht, befindet es sich im Endzustand.<p>
<b>Zustand (state) </b><br><br> Elemente können im Laufe ihrer Existenz eine endliche Anzahl Zustände einnehmen. Ein Zustand kann durch eine waagrechte Linie unterteilt werden. Unterhalb der Linie kann Verhalten eines Objekts in dem Zustand angegeben werden. Die UML definiert folgende Arten von Verhalten: <code> entry </code>, <code> exit </code> und <code> do </code>. Das entry-Verhalten wird beim Eintritt in den Zustand ausgeführt, das exit-Verhalten vor Verlassen des Zustands. Do-Aktivitäten werden ausgeführt, während das Objekt sich in dem Zustand befindet. <p>
<b></b><br><br><p>
<b></b><br><br><p>
<b>Zustandsübergang (Transition) </b><br><br>Eine Transition ist ein Zustandsübergang von einem Quellzustand zu einem Zielzustand. Die Beschriftung gibt das auslösende Ereignis (Trigger) an, die Bedingung, die erfüllt sein muß (guard) und die Aktivität (Operation), die beim Übergang ausgeführt wird an. Die Beschreibungselemente können beliebig kombiniert werden. <p>
<b>Einfacher Zustandsautomat - Tür </b><br><br> Diese Abbildung stellt einen einfachen Zustandsautomat einer Tür dar. Die Tür kann die beiden Zustände offen und geschlossen annehmen. Sie reagiert auf die Ereignisse schliessen und öffnen. In dem Zustand offen kann jedoch nur das Ereignis schliessen angewandt werden, in dem Zustand geschlossen kann nur das Ereignis öffnen angewandt werden. <p>
