Spezifikationsmodule - Software and Systems Engineering - TUM

oder Ausgabeschnittstelle der Komponente darstellt. Sie wird ausserdem für
die Richtung von Verbindungspunkten bei den Zuständen der Verhaltenssicht
benötigt.
Verhaltenssicht
Die Zustandsmaschinen zur Verhaltensbeschreibung finden sich im Metamodell
als Automaton-Klasse wieder. Jede Komponente kann anstatt einer Subkomponentenstruktur
mit einem Automaten verknüpft sein, wobei ein Automat als
Verhaltensbeschreibung für mehrere Komponenten dienen kann.
Ein Automat besteht aus einem Zustand, der das eigentliche Verhalten als
Netz von Unterzuständen und Transitionssegmenten zwischen diesen enthält.
Diese Unterzustände können ihrerseits wieder Zustände und Transitionen enthalten.
Abbildung 2.2 zeigt den relevanten Ausschnitt des Metamodells.
Automaton
Name: String
SubStates
0..*
State
Name: String
0..*
InterfacePoint
Name: String
Direction: Direction
SuperState
SourcePoint
DestinationPoint
OutSegments 0..*
InSegments
0..*
0..*
TransitionSegment
Name: String
0..* 0..* 0..*
Condition
Input
Output
Action
Port: MIFPort
Pattern: MIFTerm
Port: MIFPort
Expression: MIFTerm
Abbildung 2.2: Metamodell für Automaten
Die InterfacePoint-Elemente haben im Zusammenhang mit hierarchischen
Zuständen eine weitergehende Bedeutung, weil ein hierarchischer Zustand eine
Aussen- und eine Innenansicht hat. Sie stellen die Verbindungspunkte für Transitionssegmente
dar. Durch diese Elemente ist dabei möglich Transitionen über die
Hierarchieebenen hinweg zu definieren, indem Transitionssegmente über diese
Verbindungsstellen gekoppelt werden. Wir verwenden in unserem Beispiel zwar
einen Unterzustand für die Pressesteuerung, wollen die Verbindungspunkte für
unsere Betrachtungen aber zunächst als einfache Zwischenelementen von Zustand
und Transitionssegment ansehen. Im Programm in Anhang A, in dem wir
10