56
2 Spezifikation und Modellierung
rung gegenüber klassischen Automaten ist das Konzept der Hierarchie. Hierarchie
wird mit Hilfe von Superzuständen (engl. superstates) eingeführt.
Definition 2.9: Zustände, die andere Zustände enthalten, heißen Superzustände
Definition 2.10: Zustände, die in anderen Zuständen enthalten sind, heißen Unterzustände (engl. substates) der Superzustände.
Beispiel 2.9: Abb. 2.12 zeigt ein StateCharts-Beispiel. Es ist eine hierarchische Version von Abb. 2.10. Der Superzustand S beinhaltet die Unterzustände A, B, C, D
Abb. 2.12 Hierarchisches
Zustandsdiagramm
m
k
Z
E
j
D
i
C
h
f
S
B
g
A
und E. Angenommen, der Automat befindet sich in Zustand Z (wir bezeichnen Z in
diesem Fall auch als aktiven Zustand). Wenn dann die Eingabe m am Automaten
erfolgt, ist A der nächste Zustand. Wenn sich der Automat in Zustand S befindet und
es folgt die Eingabe k, so ist Z der nächste Zustand – unabhängig davon, in welchem
der Unterzustände A, B, C, D oder E sich der Automat tatsächlich befindet. In diesem
Beispiel sind alle in S enthaltenen Zustände nicht-hierarchische Zustände.
∇
Im Allgemeinen könnten die Unterzustände von S auch selbst wieder Superzustände
sein, die weitere Unterzustände enthalten. Immer, wenn ein Unterzustand eines
Superzustands aktiv ist, ist auch der zugehörige Superzustand aktiv.
Definition 2.11: Jeder Zustand, der nicht aus anderen Zuständen besteht, heißt Basiszustand.
Der endliche Automat in Abb. 2.12 kann sich zu einem bestimmten Zeitpunkt nur
in genau einem der Unterzustände des Superzustands S befinden. Solche Superzustände heißen ODER-Superzustände12.
Definition 2.12: Superzustände S heißen ODER-Superzustände, wenn das System,
das S enthält, sich in genau einem Unterzustand von S befindet, solange es sich in S
befindet.
In Abb. 2.12 könnte die Eingabe k einer Ausnahme entsprechen, wegen der
Zustand S verlassen werden muss. Das Beispiel zeigt bereits, wie solche Ausnahmebehandlungen durch Verwendung von Hierarchie kompakt dargestellt werden
können.
12 Gemeint ist hier immer ein sich gegenseitig ausschließendes ODER.
2 Spezifikation und Modellierung
rung gegenüber klassischen Automaten ist das Konzept der Hierarchie. Hierarchie
wird mit Hilfe von Superzuständen (engl. superstates) eingeführt.
Definition 2.9: Zustände, die andere Zustände enthalten, heißen Superzustände
Definition 2.10: Zustände, die in anderen Zuständen enthalten sind, heißen Unterzustände (engl. substates) der Superzustände.
Beispiel 2.9: Abb. 2.12 zeigt ein StateCharts-Beispiel. Es ist eine hierarchische Version von Abb. 2.10. Der Superzustand S beinhaltet die Unterzustände A, B, C, D
Abb. 2.12 Hierarchisches
Zustandsdiagramm
m
k
Z
E
j
D
i
C
h
f
S
B
g
A
und E. Angenommen, der Automat befindet sich in Zustand Z (wir bezeichnen Z in
diesem Fall auch als aktiven Zustand). Wenn dann die Eingabe m am Automaten
erfolgt, ist A der nächste Zustand. Wenn sich der Automat in Zustand S befindet und
es folgt die Eingabe k, so ist Z der nächste Zustand – unabhängig davon, in welchem
der Unterzustände A, B, C, D oder E sich der Automat tatsächlich befindet. In diesem
Beispiel sind alle in S enthaltenen Zustände nicht-hierarchische Zustände.
∇
Im Allgemeinen könnten die Unterzustände von S auch selbst wieder Superzustände
sein, die weitere Unterzustände enthalten. Immer, wenn ein Unterzustand eines
Superzustands aktiv ist, ist auch der zugehörige Superzustand aktiv.
Definition 2.11: Jeder Zustand, der nicht aus anderen Zuständen besteht, heißt Basiszustand.
Der endliche Automat in Abb. 2.12 kann sich zu einem bestimmten Zeitpunkt nur
in genau einem der Unterzustände des Superzustands S befinden. Solche Superzustände heißen ODER-Superzustände12.
Definition 2.12: Superzustände S heißen ODER-Superzustände, wenn das System,
das S enthält, sich in genau einem Unterzustand von S befindet, solange es sich in S
befindet.
In Abb. 2.12 könnte die Eingabe k einer Ausnahme entsprechen, wegen der
Zustand S verlassen werden muss. Das Beispiel zeigt bereits, wie solche Ausnahmebehandlungen durch Verwendung von Hierarchie kompakt dargestellt werden
können.
12 Gemeint ist hier immer ein sich gegenseitig ausschließendes ODER.