Spezifikationsmodule - Software and Systems Engineering - TUM

Für die interaktive Spezifikationsvereinigung nutzen wir die Dialogfähigkeiten
von ODL und gliedern den Ablauf in mehrere Dialogeinzelschritte. In jedem
wird der Entwickler nach einzelnen Teilen des aus dem Theorieteil bekannten
Unifikators gefragt, wobei ständig die Zulässigkeit seiner Entscheidungen überprüft
wird. Es ist ihm nur erlaubt von einem Dialog aus fortzufahren, wenn die
von ihm definierte Unifikationsrelation bezüglich der Abhängigkeiten mit seinen
früheren Entscheidungen verträglich ist. Andernfalls wird eine Fortsetzung des
interaktiven Ablaufs verhindert bis die Korrektheit gemäß den Abhängigkeiten
hergestellt ist oder abgebrochen wird.
Bei der Definition des Ablaufs mittels ODL könnten wir sehr schematisch
vorgehen und für jedes Metamodellelement bzw. jede Unifikationsrelation einen
gleichartigen Abfragedialog definieren. Da wir jedoch maximalen Nutzen aus
den Entscheidungen des Nutzers ziehen wollen, werden wir hier eine nichtschematische
Variante des ODL-Ablaufs aufbauen und für jeden Teil des Unifikators
einen möglichst nutzerfreundlichen Dialog konstruieren, indem wir gewisse
Vorberechnungen vornehmen. Die interne Abhängigkeit bei Port bietet sich
hierfür beispielsweise an.
Desweiteren werden wir einige Unifikationsrelationen automatisch bestimmen,
indem wir die Abhängigkeiten und die getroffenen Festlegungen zur Berechnung
nutzen. Dies gilt im folgenden für den Bereich der Datendefinitionen,
obwohl auch hier eine interaktive Variante denkbar ist (vgl. Abschnitt 3.4).
5.2 Festlegung der Dialogführung
In Abbildung 4.2 auf Seite 36 haben wir die für die Spezifikationsvereinigung
relevanten Metamodellelemente und deren Abhängigkeiten gesehen. Für jedes
Element ergab sich dabei genau eine Unifikationsrelation. Diese werden wir nun
nicht durch existenzielle Quantifizierung, wie in Abschnitt 4.4, berechnen, sondern
interaktiv durch den Entwickler bestimmen lassen. Die Forderung, dass
Unifikationsrelationen partielle ein-eindeutige Funktionen sein müssen halten
wir aufrecht. Wie in Abschnitt 4.2 gezeigt, ist dies eine Hilfsforderung um den
Konstruktionsteil nicht zu verkomplizieren.
Die naheliegende Umsetzung, nämlich jede Relation vom Nutzer aus allen
vorhandenen Modellelementen auszuwählen, liefert zwar ein effektives, interaktives,
aber kaum praktikables und auch nicht effizientes Verfahren. Wir werden daher
der Reihe nach alle Unifikationsrelationen durchgehen und eine jeweils günstige
Dialogvariante erläutern. Insbesondere möchten wir die Auswahlmöglichkeiten
eines Dialogs auf das zulässige Minimum beschränken. Wir nutzen dazu
die festgelegten Abhängigkeiten. Bei der Reihenfolge der Einzelschritte orientieren
wir uns an den Modellierungssichten von AutoFocus 2. Beginnend mit der
Struktursicht, kommen wir über die Verhaltenssicht schließlich zur Datensicht.
Die hier beschriebene Dialogführung entspricht dem Programmlisting in Anhang
A. Sie erhebt nicht den Anspruch absolut zu sein, sondern stellt vielmehr
eine Möglichkeit dar, die Spezifikationsvereinigung interaktiv umzusetzen. An
den entsprechenden Stellen geben wir jeweils den Hinweis auf alternative Dialogvarianten,
die meist auch eine Anpassung des in Abschnitt 5.5 beschriebenen
Konstruktionsteils erfordern.
41