Spezifikationsmodule - Software and Systems Engineering - TUM

2.5 Einschränkungen für die Modellierungselemente
AutoFocus 2 bietet eine breite Palette von Modellierungsmöglichkeiten für komponentenbasierte
Systeme. In dem dargestellten Beispiel haben wir auf einige
dieser Möglichkeiten verzichtet, da diese eine Vielzahl von Sonderfällen erzeugen.
Unser Anspruch ist hier nicht den perfekten Ablauf der Spezifikationsvereinigung
zu präsentieren, sondern das Grundprinzip zu verdeutlichen und
zu zeigen, dass solch komplexe Modelltransformationen durchführbar sind. Eine
einsatzfähige Transformation muss im Kontext eines Entwicklungsprozesses
massgeschneidert werden. Wir legen hier den Fokus auf die theoretische Fundierung
sowie die technische Umsetzung als Konzeptbeweis.
Im Einzelnen haben wir folgende Einschränkungen benutzt:
• Die zu vereinigenden Komponenten besitzen keine hierarchische Struktur.
Wir verwenden nur Einzelkomponenten zur Vereinigung, deren Verhalten
durch einen Automaten beschrieben ist.
• Die Unifikation von lokalen Variablen führen nur im Programmlisting in
Anhang A durch.
• Die Vereingung der Automaten ist flach, d.h. wir gehen davon aus, dass die
Automaten keine hierarchischen Zustände besitzen. Für solche Zustände
müsste zusätzlicher Aufwand betrieben werden, um die Struktur rekursiv
abzuarbeiten. Unterautomaten werden erst im Programm miteinbezogen,
dort jedoch auch nur kopiert, nicht unifiziert.
• Automaten haben keine ausgezeichneten Zustände, wie Start- und Endzustände.
• Die Zustandsübergänge besitzen keine Vorbedingungen und keine Aktionen,
da hierzu zunächst die Definition entsprechender Terminterpretationen
notwendig ist, um über die Vereinigung von Vorbedingungen zu sprechen.
• Zahlreiche Modellattribute wurden der Übersichtlichkeit wegen weggelassen,
insbesondere Comment und Ähnliches.
• Ausschließliche Verwendung von nutzerdefinierten Datentypen; alle Werte
sind als Konstruktoren vorhanden. Wir verzichten auch auf den Einsatz
primitiver Datentypen, da sie nur zusätzliche zu berücksichtigende
Fälle erzeugen, die keine neuen Konzepte mit sich bringen und somit dem
Verständnis nur abträglich sind.
• Funktionsapplikationen in Termen müssen als Funktion einen Konstruktor
haben. Selektoren sind nicht zugelassen. Die Begründung ist die selbe wie
eben.
• Polymorphe Datentypen sind nicht Teil unserer Betrachtungen, da sie eine
zusätzliche Abstraktionsebene einführen, die eigene Vereinigungsverfahren
erfordert.
18