Spezifikationsmodule - Software and Systems Engineering - TUM

die Konstruktoren (Constructor) und den Selektor (Selector). Die Objekte in
der rechten Hälfte bilden die interne Typstruktur des Selektors.
:DataDef
:AbstractType
:AbstractType
Name = "MySignal"
TConst
Name = "MySignal"
Name = "Int"
TArgs [0]
TArgs [1]
Constructors [0] Constructors [1]
:Constructor
Name = "Absent"
:Constructor
Name = "Present"
Selectors [0]
:Selector
Type
:TAppl
THead
:AbstractType
Name = "value"
Name = "->"
Abbildung 3.1: Objektdiagramm einer einfachen Typdefinition
Dieser Typstruktur von Selektoren müssen wir besondere Aufmerksamkeit
widmen. Selektoren stellen im eigentlichen Sinne Funktionen dar, die aus einer
Instanz des Datentyps die entsprechende Teilinformation extrahiert. Der im Beispiel
verwendet Selektor value hat demzufolge nicht den Typ Int, wie Definitionssyntax
nahelegt, sondern den Funktionsapplikationstyp MySignal -> Int. Im
Objektdiagramm findet sich dieser Typ als TAppl-Objekt mit der ->-Funktion als
angewandte Funktion (THead) und den entsprechenden AbstractType-Objekten
als Parameter (TArgs) wieder.
Abbildung 3.2 zeigt den hier wesentlichen Ausschnitt aus dem AutoFocus 2-
Metamodell. Neben den organisatorischen Klassen, DTD und DTDModule, finden
sich sämtliche im Objektdiagramm der Datentypdefinition vorkommenden Klassen.
Die Oberklassen sind nur der Vollständigkeit halber angegeben. ODL musste
im Verlauf dieser Diplomarbeit erweitert werden, um mit Vererbungsbeziehungen
im Metamodell korrekt umgehen zu können.
3.1.2 Sonderbehandlung von Selektortypen
ODL ist bisher nur auf ungeordneten Mengen definiert und kann daher im Prinzip
mit Assoziationen, die im Metamodell den Stereotyp haben,
nicht mehr anfangen als mit herkömmlichen Assoziationen. Allerdings muss bei
den Typen der Selektoren die Argumentliste korrekt interpretiert werden. Für
einen Typvergleich müssen wir aus der Argumentliste der Funktionsapplikation
den Ergebnistyp, also das zweite Argument der geordneten Relation, extrahieren.
Hierfür wurde ODL um die Funktion indexOf(listElem, baseElem,
relName) erweitert. listElem ist das assoziierte Element, dessen Index wir bestimmen
wollen, baseElem das Ausgangselement und relName der Name der zu
durchsuchenden Relation. Diese Erweiterung, die sich auf das in [Höl05] eingeführte
Funktionsframework stützt, war die einfachste Alternative den Spezialfall
geordneter Assoziationen zu handhaben.
Um die Überprüfung eines Selectors auf einen bestimmten Ergebnistyp zu
erleichtern, verwenden wir das folgende benamte Prädikat. Es nimmt mit Hilfe
21