Spezifikationsmodule - Software and Systems Engineering - TUM

ErrorTreatment Verhalten
:Cntrl?Start:
Sts!Started:
Operate
Press Verhalten
Operate
Init
:Cntrl?Stop:
Sts!Stopped:
::Sts!Error:
errCode=1
errCode=0:Cntrl?Start:Sts!Started:
D
:Cmd!Off::
:Cntrl?Reset:
Sts!Initial:
errCode=0
Stop
Off
MergedController Verhalten
Operate
Operate
:CntrlCmd?StopOff:
Sts!Stopped:
D
::Sts!Error:
errCode=1
errCode=0:
CntrlCmd!StartOn:
Sts!Started:
StopInitOff
:CntrlCmd?Reset:
Sts!Initial:
errCode=0
:Cmd!On::
Abbildung 4.1: Alternative Vereinigung der Automatenzustände
Da bei dieser Definition die in Abschnitt 4.3 eingeführten Abhängigkeiten
und die in Abschnitt 5.5 gezeigte Konstruktion ebenfalls auf die Potenzmengenbetrachtung
angepasst werden müssen und dadurch zusätzliche Iterationen und
Quantifizierungen notwendig sind, die das Verständnis erschweren, bleiben wir
an dieser Stelle bei der einfachen Variante.
4.2.2 Nutzung zusätzlicher Transformationsschritte
Wir können auch die Modellierungsmöglichkeiten von AutoFocus 2 nutzen und
die Zustände Initial und Stop aus Abbildung 4.1 zu einem hierarchischen Zustand
zusammenfassen. Dieser einzelne neue Zustand kann dann wiederum mit
einem einelnen Zustand unifiziert werden. Dies entspricht also wieder der Definition
der Unifikationsrelationen in Abschnitt 4.1.
Wir ändern bei dieser Variante also nicht die Definition der Relationen,
sondern nutzen zusätzliche Transformationsschritte um das Modell vorher in
eine entsprechende Form zu transformieren.
Diese Variante werden wir in dieser Arbeit allerdings nicht weiter verfolgen.
Es sei aber angemerkt, dass bei der Zusammenfassung von Zuständen zu einem
hierarchischen Zustand auch beachtet werden muss, wie die ein- und ausgehenden
Transitionen transformiert werden. Sie müssen in entsprechende Segmente
zerlegt werden oder umgekehrt zusammengefasst werden.
4.2.3 Interpretation der Unifikationsrelation
Für das Konstruktionsverfahren haben wir verschiedene Möglichkeiten die Unifikationsrelationen
zu interpretieren. Betrachten wir die folgende Relation über
Komponenten:
componentMap = { (CompA, CompB), (CompB, CompC) }
Es ergeben sich nun die folgenden zwei Interpretationen:
34