Spezifikationsmodule - Software and Systems Engineering - TUM

Anhang A
ODL Programm der
Spezifikationsvereinigung
A.1 Anmerkungen zum Programm
A.1.1
Erweiterte Abhängigkeiten
In diesem Anhang stellen wir die ODL-Umsetzung der Spezifikationsunifikation
vor. Wir verwenden hierzu ein erweitertes Abhängigkeitsnetz, wie in Abbildung
A.1 gezeigt. Neben den aus Kapitel 4 bekannten Modellelementklassen und
Abhängigkeiten (letztere wieder als durchgezogene Pfeile dargestellt), finden sich
nun auch die Modellelemente für lokale Variablen (LocVariable) und deren Repräsentation
in Termen (LocVariableConst) , Funktionsapplikation (Appl), Selektoren,
Terme und konstante Ausdrücke (Const), Transitionsverbindungspunkte
(InterfacePoint), sowie Aktionen (Action) und Vorbedingungen (Condition).
Desweiteren zeigt die Abbildung die Klassenhierachie des Metamodells für Terme
und konstante Ausdrücke.
Das bisher noch nicht beachtete Modellierungselement LocVariable für lokale
Variablen unterscheidet sich nicht von den Elementen für Port. Beide haben
als Attribute einen Namen und einen definierten Typ und sind mit einer n:1-
Beziehung an Component geknüpft. Die Assoziation zwischen LocVariable und
LocVariableConst ist eine 1:1-Beziehung, d.h. mit jeder lokalen Variablen ist ein
eindeutiges Repräsentationsobjekt für die ihre Verwendung als Term vorhanden.
Die gekennzeichnete Vererbungshierarchie von Term und Const bedarf einer
besonderen Behandlung. Alle Abhängigkeiten, die auf Oberklassen verweisen,
müssen die Unterklassen mitberücksichtigen, d.h. die Abhängigkeit ist erfüllt,
wenn es in einer der Unifikationrelationen der Unterklassenelemente ein entsprechend
vereinigtes Elementtupel gibt. Der in Kapitel 4 eingeführte Formalismus
zur Beschreibung einer Unifikationsrelation muss für Klassenhierarchien folgendermaßen
angepasst werden:
62