Spezifikationsmodule - Software and Systems Engineering - TUM

deten Quellstrukturen identisch zum Vorgehen beim Kopieren einer Komponentenhierarchie,
wie sie in [Höl05] entwickelt wurde.
Jede Instanz einer Unifikationsrelation definiert für uns eine ein-eindeutige
Abbildung zwischen zu unifzierenden Elementmengen. Für konstruieren daher
für jedes Element einer konkreten Unifikationsrelation ein entsprechendes neues
Modellelement, wobei wir uns zusätzlich eine Tabelle erstellen, die das unifizierte
Tupel mit dem neuen Element verknüpft.
Anschließend analysieren wir für jede Modellelementklasse die relevanten
Assoziationen, wie sie in den Ausgangsspezifikationen existieren, und bauen die
entsprechende Struktur mit den neu erzeugten Elementen nach.
Das Konstruktionsverfahren muss dabei auch beachten, dass es nicht nur
unifzierte Modellelemente, sondern auch kopierte Elemente gibt. Der Strukturaufbau
wird diese Unterscheidung entsprechend beachten. Wir konstruieren
hierfür ebenfalls eine Tabelle, die die kopierten Elemente in Beziehung zu neuen
Elementen setzt. Wir führen dies in Abschnitt 5.5.5 vor.
Bezieht sich beispielsweise eine Eingabe im Quellmodell auf einen unifzierten
Port, so verknüpfen wir das das neue Eingabeelement mit dem entsprechenden
neuen Portelement aus der oben als erstes genannten Tabelle, andernfalls suchen
wir uns das Portelement aus der Tabelle für kopierte Portelemente.
5.5.2 Erzeugung neuer Modellelemente mit ODL
Zur Erzeugung von neuen Modellelementen stellt die ODL im Wesentlichen zwei
Mechanismen bereit. Einzelne neue Elemente können durch den Typmodifikator
new in Verbindung mit einem Existenzquantor erzeugt werden. Ein Beispiel
hierfür sehen wir gleich, wenn wir für die beiden zu vereinigenden Komponenten
eine neue erzeugen werden. Neu erzeugte Elemente müssen mit entsprechenden
”result has”-Anweisungen an das bestehende Modell gekoppelt werden, da sie
sonst am Ende der Ausführung wieder verworfen werden 2 .
Das Erzeugen von einzelnen Modellelementen ist allerdings häufig nicht ausreichend
um komplexere Modellstrukturen anzulegen. Im Beispiel ist dies der
Fall, wenn wir die Eingabeausdrücke (Input) konstruieren. Wir benötigen dazu
gleichzeitig Zugriff auf alle neu erzeugten Schnittstellenelemente (Port) und alle
neu erzeugten Konstruktoren (Constructor). Ein ähnlich gelagerter Fall wurde
bereist in [Höl05] erkannt und durch den speziellen ODL-Typ map für Abbildungen
gelöst.
Der Abbildungstyp map dient uns dazu, eine Zuordnungstabelle zu erstellen,
die jeweils einem Element einer Unifikationsrelation bijektiv ein neu erzeugtes
Element gleicher Modellelementklasse zuordnet. Wir haben damit gleichzeitig
Zugriff auf alle neuen Elemente diesen Typs und können sie über die Bijektivität
der Abbilung auch eindeutig identifizieren. Die genaue Funktionsweise des
Abbildungstyps in ODL wird in [Höl05] ausführlich erläutert. Im übernächsten
Abschnitt zeigen wir den Einsatz von map anhand der Konstruktion der Schnittstellenobjekte.
2 Sie gelten wie bestehende Elemente, deren Assoziationen mit result not has entfernt
wurden, als gelöscht.
54