Spezifikationsmodule - Software and Systems Engineering - TUM

• Viele Modellelemente müssen bezüglich eines Attributs (meist Name) im
gesamten Modell eindeutig sein. Diese Auflage überprüfen wir bei der
Konstruktion nicht, da sie jeweils sehr leicht durch Iteration über alle
vorhanden Elemente und bei Namensgleichheit durch Nutzerinteraktion
behoben werden kann. Wir verwenden der Einfachheit halber mittels der
ODL-Funktion concat zusammengesetzte Namen.
2.6 Zusammenfassung
In diesem Kapitel haben wir uns dem Thema Modelltransformation gewidmet.
Nach der Begriffsklärung haben wir die Grundlagen des Modellierungswerkzeuges
AutoFocus 2 dargestellt. Anhand der Modellierungssichten haben wir
die Datenarchitektur von AutoFocus 2-Modellen, das Metamodell, betrachtet.
Dieses Wissen ist die notwendige Grundlage für das Verständnis der Transformationssprache
ODL, welche wir anhand einfacher Beispiele eingeführt haben.
Nachdem wir nun sowohl das Modellierungswerkzeug als auch die Implementierungssprache
für die Modelltransformationen betrachtet haben, gingen wir
zur exemplarischen Erläuterung der Modelltransformation Spezifikationsunifikation
über. Für die weiteren Ausführungen dieser Arbeit haben wir abschließend
die Beschränkungen für Modelle zur Nutzung unserer Transformation erklärt.
Das Programmlisting im Anhang A wird einige dieser Beschränkungen wieder
aufheben. Zur Erläuterung des Konzeptes ist diese Aufhebung jedoch nicht notwendig,
da keine wesentlichen neuen Aspekte auftreten. Das Grundprinzip der
Unifikation ist entscheidend, nicht wie viele Metamodellelemente in sie miteinbezogen
werden. Deshalb werden wir im nächsten Kapitel die Unifikation genau
erläutern.
19