Spezifikationsmodule - Software and Systems Engineering - TUM

call Consistent_Port_TypeDef(port_map, fp_tdef_it) or
call Consistent_Const_TypeDef(constructor_map, fp_tdef_it)
) .
Strukturunifkation der Selektoren
Auch für die Selektorunifikation ist durch die obige Berechnung der Konstruktorrelation
die meiste Arbeit erledigt. Wir müssen lediglich die indexgleichen
Selektorenpaare für die Konstruktorenpaare zusammensuchen. Anders gesagt,
es werden zwei Selektoren unifiziert, wenn die definierenden Konstruktoren vereinigt
sind und sie den gleichen Index haben.
exists selector_map: lfp FP6 set
fp6_it:(one:Selector, two:Selector)
with (
exists cm_fp6:constructor_map . (
fp6_it.one.Constructor = cm_fp6.one and
fp6_it.two.Constructor = cm_fp6.two and
indexOf(fp6_it.one, cm_fp6.one, "Selectors") =
indexOf(fp6_it.two, cm_fp6.two, "Selectors")
))) .
5.4.6 Zusammenfassung
In Abschnitt 5.4 haben wir gesehen, wie die Unifikationsrelationen im Bereich
der Datensicht berechnet wurden. Wir nutzten dafür ein Unifikationsverfahren
für die Terme der Ein-/Ausgabeelemente, das auf der Struktur der Terme beruht.
Wie für die Eingaben des Nutzers in interaktiven Dialogen, mussten auch
die berechneten Ergebnisse auf Konformität mit dem im Folgenden erläuterten
Konstruktionsteil der Spezifikationsvereinigung überprüft werden.
5.5 Konstruktion der Vereinigungskomponente
Bisher haben wir nur den analytischen Teil der Spezifikationsvereinigung betrachtet.
Wir haben geeignete Datenstrukturen, die Unifikationsrelationen, in
ODL definiert und erzeugen durch Nutzerinteraktion konkrete Datenobjekte.
Wir werden diese nun nutzen, um aus den dort enthaltenen Informationen das
Ergebnis der Spezifikationsunifikation zu erstellen, wie wir als erstes erläutern
werden. Wir geben dann zunächst eine kurze Einführung in die konstruktiven
Fähigkeiten von ODL, d.h. das Erzeugen von neuen Elementen und das Erstellen
bzw. Auflösen von Assoziationen im Modell. Danach greifen wir einige Teile
des Konstruktionsverfahrens heraus und erläutern sie. Wir besprechen nicht den
gesamten Konstruktionsausdruck, da er in weiten Teil strukturell identisch ist
und sich nur auf unterschiedliche Teile des Modells bezieht.
5.5.1 Konstruktionsprinzip
Die Konstruktion der verschmolzenen Komponente folgt für die einzelnen Modellelemente
immer dem gleichen Prinzip. Dieses Prinzip ist bis auf die verwen-
53