Spezifikationsmodule - Software and Systems Engineering - TUM

zwei Abhängigkeiten zu der Zustandsrelation gibt (Start- und Zielzustand der
Transition). Durch die Vorberechnung der möglichen Tupel, erhöhen wir die
Übersichtlichkeit und Verwendbarkeit dieses Dialogschrittes erheblich.
Abbildung 5.4: Dialog für Zustandsübergänge (Transition)
Input / Output
Die Verschmelzung von Ein- und Ausgabeausdrücken führen wir nicht mehr
interaktiv durch, sondern berechnen die entsprechende Unifikationsrelation unter
Verwendung der Relationen von Transition und Port. Es werden also die
Input- bzw. Output-Elemente vereinigt, die zu unifizierten Transitionen gehören
und sich auf unifizierte Schnittstellen beziehen. Den dritten für die Vereinigung
relevanten Wert, das Ein-/Ausgabesignal (Constructor), beachten wir an dieser
Stelle noch nicht, sondern verwenden die hier berechneten Unifikationsrelationen
später als Bedingung für die Berechnung der Constructor-Relation.
5.2.3 Datensicht
Die Verhaltenssicht umfasst die Metamodellelemente DataDef, Constructor, und
Selector. In Kapitel 3 haben wir gesehen, wie ein Dialog für die Unifikation
von Datentypdefinition aussehen könnte. Hier wollen wir nun die sich aus den
vorherigen Entscheidungen ableitenden, unifzierten Typdefinitionen berechnen
und somit die Datensicht bei der Spezifikationsvereinigung vollständig automatisieren.
Constructor
Wir beginnen die Berechnungen für die Datensicht mit der Konstruktorunifikation.
Aus den zuvor berechneten Unifikationsrelationen für Input und Output
45