Spezifikationsmodule - Software and Systems Engineering - TUM

Modellschnittstellen Datentypen, Terme und Ports sind manchmal über eine
weitere Abstraktionsschicht, der Modellschnittstelle (Model InterFace, MIF)
mit den übrigen Modellelementen verknüpft. Abbildung 2.4 zeigt die entsprechenden
Metamodellelemente. Durch diese Abstraktion ist es möglich unvollständige
AutoFocus 2-Modelle zu erstellen, d.h. zum Beispiel Modelle die Ports
enthalten, deren Datentypen noch nicht definiert sind. Für das MIF-Element
wäre in diesem Falle die Model-Assoziation nicht gesetzt, sondern nur das Text-
Attribut belegt.
MIFType
text: String
MIFTerm
text: String
MIFPort
text: String
Model
Model
Model
Type
Term
Port
Abbildung 2.4: Metamodell für Modellschnittstellen
Bei unseren Betrachtungen werden wir diese Möglichkeit nicht weiter beachten.
Wir gehen von vollständigen Modellen aus, d.h. alle MIF-Elemente besitzen
ein entsprechende Model-Repräsentation.
2.3 Die Transformationssprache Operation Definition
Language
Die Transformationssprache Operation Definition Language (ODL) ist in [Sch01]
definiert und durch mehrere Studentenarbeiten in AutoFocus/Quest und AutoFocus
2 implementiert worden. Sie erlaubt ähnlich, wie die Object Constraint
Language (OCL, [OMG03b]), die Definition von Modellnebenbedingungen
(Constraints), aber auch von Modelltransformationen. Besonderheit der ODL ist
dabei die Integration einer Nutzerschnittstelle, sodass Analysen und Transformationen
interaktiv durchgeführt werden können.
2.3.1 Grundlagen
Die Operation Definition Langauge ist ein typbasierter Relationenkalkül mit
den Mengen der Modellelemente eines Metamodells als Typen und den Assoziationen
und Attributen als Relationen. Sie ähnelt, in ihrer Anlehnung an die
Prädikatenlogik erster Stufe, der aus dem Bereich der Datenbanken bekannten
Structured Query Language.
Die Auswertung von ODL Ausdrücken geschieht immer in Verbindung mit einer
Metamodellinstanz, also mit einem konkreten Modell. Die Konzeption stellt
dabei sicher, dass alle Ausdrücke garantiert terminieren. Ein eigenes Typsystem
erlaubt aus den Modellelementmengen komplexere Typen, wie beispielsweise
Produkttypen, aufzubauen. Dieses Typsystem wird in [Höl05] genau erläutert.
12