Spezifikationsmodule - Software and Systems Engineering - TUM

auch den Unterautomaten kopieren, werden wir sie dann voll berücksichtigen.
Ein Transitionssegment kann eine Vorbedingung (Condition) und mehrere
Aktionen (Action) besitzen, die wir im Beispiel aber nicht weiter betrachten werden,
sondern erst im Anhang A. Für die Spezifikationsvereinigung unterscheiden
sich diese beiden nicht wesentlich von den Ein- und Ausgangsnachrichten (Input
und Output), bringen uns also nichts konzeptuell Neues.
Die Metamodellklassen MIFPort und MIFTerm folgen im nächsten Abschnitt.
Datensicht
Datentypen Mit Datentypen und deren Definition beschäftigen wir uns ausführlich
in Kapitel 3. Wir belassen es hier bei der dem Hinweis, dass die Struktur
und der Aufbau von Typdefinitionen in Abschnitt 3.1 im Zusammenhang mit der
Typunifikation genau erläutert wird und wenden uns hier den mit Datentypen
eng in Verbindung stehenden Termelementen zu.
Terme Für unser Unifikationsvorhaben sind die Terme der Ein- bzw. Ausgabeausdrücke
von Transitionen von besonderem Interesse. In Abschnitt 5.4.5
werden wir mit ihnen eine Strukturunifikation durchführen. Daher wollen wir
uns hier noch den Ausschnitt des Metamodells ansehen. Die Metamodellelemente
Constructor und Selector werden ebenfalls im Kapitel 3 genau eingeführt.
Args 1..*
Term
Appl
Head
Const
Name: String
Constructor
Selector
Abbildung 2.3: Metamodell für Terme
Abbildung 2.3 zeigt, dass ein Term entweder ein Konstruktor oder eine
Funktionsapplikation (Appl) sein kann. Letztere besteht aus einer angewandten
Funktion (Head-Assoziation) und einer geordneten Menge von Parametertermen
(Args-Assoziation). Syntaktisch ist es daher auch möglich, Selektorfunktionen
als angewandte Funktion in Termen zu verwenden. Da dies aber unser Vereinigungsproblem
nur um gleichartige Fälle ausdehnt, werden wir Terme auf die
Anwendung von Konstruktoren beschränken (siehe Abschnitt 2.5).
Die Konstruktion von zulässigen Termen übernimmt in AutoFocus 2 ein
entsprechender Parser. Aus ODL heraus ist ein Zugriff auf diese Funktion allerdings
nicht möglich, weshalb wir selbst die Konstruktion übernehmen müssen.
Wir haben uns dabei aber auf den für Beispiel relevanten Fälle beschränkt und
keine Unifikation für alle in AutoFocus 2 möglichen Terme implementiert.
11