Spezifikationsmodule - Software and Systems Engineering - TUM

es mindestens einen Term geben, der die Vereinigung der beiden Selektoren erzwingt.
Wir müssen nur noch die Selektorindizes innerhalb ihres definierenden
Konstruktors und die Vereinigung ihrer Ergebnistypen in der DataDef-Relation
prüfen, falls die Typen nicht identisch sind.
5.3 Alternative Interaktionsabläufe
Die Auswahl der einzelnen Schritte der Dialogführung ist so getroffen worden,
dass sie eine möglichst breite Palette von Entscheidungsvarianten und ODL
Techniken präsentiert. Der vorgestellte Ablauf stellt keinesfalls den einzig möglichen
oder gar den passendsten dar. Welche Variante zum Einsatz kommt, muss
im Kontext des konkreten Anwendungsszenarios und des Entwicklungsprozesses
festgelegt werden.
Abhängig von den Anforderungen des Einsatzgebietes und den Entwicklern
muss jeweils im konkreten Fall die passende Variante der Spezifikationsunifikation
ermittelt werden. Wir geben hier nur eine Übersicht, welche Aspekte einer
Prüfung unterzogen werden müssen.
Die ersten beiden Fragen, die abgewogen werden müssen, sind der Grad der
Interaktion, d.h. welche Elemente interaktiv und welche automatisch nach bestimmten
Regeln und Verfahren unifziert werden, und die Reihenfolge, in der die
Einzeldialoge zur Bearbeitung angeboten werden. Wir können zum Beispiel die
Entscheidungen in Bezug auf die Datensicht nach vorne ziehen und diese nach
der Schnittstellenunifikation interaktiv durch den Nutzer durchführen lassen.
Als Folge würden die Entscheidungen über die Unifikation von Zuständen und
Transitionen durch die dann bereits festgelegte Datensicht beschränkt werden.
Zu Demonstrationszwecken wählten wir hier jedoch die automatisierte Variante
für die Datentypdefinitionen.
Wie bereits angesprochen, gibt es im Bereich der Datentypdefinitionen unterschiedliche
Varianten die Konstruktoren und Selektoren zu vereinigen, insbesondere
wenn wir die entsprechenden Unifikationsrelationen automatisch berechnen
wollen. Neben dieser Betrachtung ist auch Einbeziehung der Frage, inwieweit
Selektoren in den Termen auftreten, wichtig, da bei einfachen Komponenten
häufig auch nur einfache Datentypen (also nur parameterlose Konstruktoren)
auftreten. Dies hat zur Folge, dass die Selektorunifikation nicht mehr notwendig
ist und der Gesamtablauf somit beschleunigt werden kann. Die Beantwortung
dieser Frage kann aber nur im konkreten Entwicklungsumfeld erfolgen.
Neben der Reihenfolge der Einzelschritte der Dialogführung können auch
andere Definitionen der Unifikationsrelation zum Einsatz kommen, wie wir in
Abschnitt 4.2 gesehen haben. Entsprechende Anpassungen in der Dialogführung
und den Einzeldialogen, sowie dem Konstruktionsteil, sind hierfür notwendig,
was wir hier nur anmerken wollen.
Es sei noch einmal hervorgehoben, dass ein konkreter Interaktionsablauf an
einen Entwicklungsprozess angepasst werden muss. Wir konzentrieren uns hier
auf die Darstellung der derzeitigen Fähigkeiten und Möglichkeiten von ODL,
noch nicht jedoch mit der Evaluierung in einem spezifischen Entwicklungsprozess.
47