Spezifikationsmodule - Software and Systems Engineering - TUM

2.2.2 Das AutoFocus 2-Metamodell
Gegenüber der ersten Version des AutoFocus-Werkzeugs, das die Datenspeicherung
den Sichten entspreched vornahm, wurde die Architektur von AutoFocus 2
so konstruiert, das sämtliche Modelldaten zusammen abgelegt werden. Zur Zeit
geschieht dies in Form von XML-Dateien, konzeptuell ist die persistente Speicherung
von Modellen aber auch in einer Datenbank möglich. Die Struktur der
Daten, und somit der jeweiligen Speicherungsform, ist im Metamodell festgelegt.
Das Metamodell beschreibt in Form von Klassendiagrammen, welche Modellelemente
es gibt und wie diese miteinander verknüpft sind bzw. sein können. Ein
Metamodellelement beschreibt also eine ganze Klasse von Modellelementen.
In den mit ODL formulierten Transformationen treten die Metamodellelemente
als Bezeichner für Mengen, der jeweils im bearbeiteten Modell vorhandenen
Elemente auf. So repräsentiert Component die Menge aller Komponenten
innerhalb eines AutoFocus 2-Projekts. Zum Verständnis der Modelltransformationen
und -analysen, die wir im Folgenden betrachten werden, ist die Kenntnis
des Metamodells notwendig. Wir haben die relevanten Teile als Klassendiagramme
dargestellt.
Das Metamodell basiert selbst wieder auf einem Meta-Metamodell, was mit
Blick auf die Portierbarkeit der Transformationssprache von Bedeutung ist. Diesen
Aspekt beleuchten wir in Abschnitt 6.3 für die Anbindung von ODL an
UML-Werkzeuge genauer.
Wir wollen nun für die drei für uns relevanten Sichten die jeweiligen Metamodellteile
betrachten. Dabei zeigen wir nur die für die folgenden Ausführungen
relevanten Teile und lassen manche Spezialität, der besseren Verständlichkeit
wegen, weg.
Struktursicht
Die Struktursicht beschreibt den Sytemaufbau und umfasst im Wesentlichen
drei Klassen von Modellelementen. Wie Abbildung 2.1 zeigt sind dies die Metamodellelemente
für Komponenten (Component), Schnittstellen (Port) und Kommunikationskanäle
(Channel).
SubComponents
0..*
Component
Name: String
Port
Ports
0..*
Name: String
DefinedType: MIFType
Direction: Direction
SuperComponent
SourcePort
DestinationPort
OutChannels 0..*
InChannel 0..1
Channel
Name: String
DefinedType: MIFType
Direction
Channels
0..*
IsEntry: boolean
Abbildung 2.1: Metamodell für Komponenten
Die Klasse Direction kapselt die Information, ob ein Port-Element eine Ein-
9