Spezifikationsmodule - Software and Systems Engineering - TUM

Ausgehend vom AutoFocus 2-Metamodell haben wir dann Abhängigkeiten
zwischen den einzelnen Unifikationsrelationen untersucht und jeweils ein Schema
zur Umsetzung in ODL angegeben. Somit standen uns die notwendigen
Hilfsmittel zur Verfügung um das Lösungsverfahren festzulegen, welches wir
abschließend auf den Berechnungsaufwand hin untersuchten. Es muss hierzu
angemerkt werden, dass eine Erweiterung der Unifikation auf komplexere Ein-
/Ausgabeterme und die Hinzunahme der Vorbedingungen und Aktionen von
Transitionen, eine Erweiterung der hier beschriebenen Abhängigkeiten auf polymorphe
Fälle erfordert, d.h. wir müssen auch die andere mögliche Unterklassen
von Termen berücksichtigen und können nicht wie hier von Konstruktoren allein
ausgehen. Wir gehen hierauf auch kurz bei den Anmerkungen zum ODL
Programm im Anhang A ein.
Wie wir gesehen haben, ist der Berechnungsaufwand aller Lösungen bereits
für kleine Modelle sehr hoch. Ausserdem sind viele der Lösungen für die praktische
Umsetzung nicht relevant. Im folgenden Kapitel wollen die hier eingeführte
theoretische Grundlage für ein interaktive Unterstützung des Entwicklers nutzen,
um somit ein methodisch sinnvolles und effizientes Transformationsverfahren
zu erhalten und insbesondere die Brücke in die praktische Anwendung
schlagen.
39