Spezifikationsmodule - Software and Systems Engineering - TUM

ebene stattfinden, indem beispielsweise ein Modell in eine andere Modellierungssprache
übertragen wird. Die Übertragung von AutoFocus-Modellen in die Modellierungssprache
Promela, zum Zwecke des Model-Checking mit SPIN (vgl.
[Str05]), ist hierfür ein Beispiel.
Auch die Transformationssprache XSLT ([W3C99]) bringt eine Variante für
Modelltransformationen. Sie definiert eine Sprache zur Umsetzung von XML Dokumenten
in anders strukturierte XML Dokumente. In diesem Zusammenhang
kann man auch von einer Transformation in ein anderes Metamodell sprechen.
Metamodelle beschreiben die Struktur von Modellen oder Datenmengen.
Da der Begriff Modelltransformation sehr unterschiedlich interpretiert wird,
wollen wir hier die folgende Festlegung für diese Arbeit treffen. Eine Modelltransformation
ist eine Beschreibung einer modellverändernden Berechnung,
wobei sich diese auf eine Instanz, also ein Modell, für ein festgelegtes Metamodell
bezieht. Sie stellt gewissermaßen eine Relation zwischen Modellen dieses
Metamodells dar. Wir sprechen also weder von der Umsetzung eines Modells
zwischen verschiedenen Abstraktionsebene noch von der Übertragung des Modells
in andere Metamodelle. Somit stellt für uns bereits die Umbenennung eines
Modellelements eine Modelltransformation dar. Allerdings gilt unser Interesse
hier wesentlich komplexeren Transformationen, die sich aus verschiedenen primitiven
Einzelveränderungen des Modells zusammensetzen und eine Vielzahl
von Modellelementen gleichzeitig verändern, sowie neue Elemente erzeugen und
in das Modell einfügen.
2.2 Das Modellierungswerkzeug AutoFocus 2
AutoFocus 2 ist der Prototyp eines Modellierungswerkzeuges zur Entwicklung
und Simulation eingebetteter Systeme, das am Lehrstuhl für Software & Systems
Engineering entwickelt und zu Wissenschaftszwecken eingesetzt wird. Es
stellt eine Weiterentwicklung des AutoFocus-Werkzeugs ([TUM02]) dar. Wie
die meisten modernen CASE-Werkzeuge 1 bietet es zur Modellierung graphische
Editoren und verschiedene Sichten auf das modellierte System an.
Wir werden zunächst einen Blick auf die für das später folgende Beispiel
relevanten Modellierungssichten werfen und im zweiten Schritt das AutoFocus 2
Metamodell (Beschreibung der Struktur von Modellen) beleuchten, da dieses
besondere Bedeutung für die Transformationssprache ODL hat.
2.2.1 Sichten und Editoren
Die Modellierungssichten von AutoFocus 2 sind für die weitere Arbeit wichtig,
da wir unsere Erläuterungen immer wieder an deren Aufteilung orientieren
werden. Die konkreten Editoren und deren Benutzung sind dagegen kaum von
Interesse. Der Leser sei hier auf die Dokumentation von AutoFocus und AutoFocus
2 verwiesen ([TUM02], [TUM05]).
Struktursicht
Die Struktursicht beschreibt den Aufbau von eingebetteten Systemen in AutoFocus
2. Systeme bestehen aus einzelnen Komponenten, die eigenständige
1 CASE: computer-aided software engineering, computer-unterstützte Softwareentwicklung
7