Spezifikationsmodule - Software and Systems Engineering - TUM

Recheneinheiten bzw. -funktionen darstellen. Sie können über ihre Schnittstelle,
die sogenannten Ports, Nachrichten empfangen und versenden. Mehrere Komponenten
können miteinander über Kanäle verbunden werden und darüber kommunizieren.
So entstehen aus Einzelkomponenten durch Komposition größere
Systemteile und schließlich das Gesamtsystem.
In der vorliegenden Arbeit konzentrieren wir uns allerdings auf einzelne, atomare
Komponenten, d.h. Komponenten, die eine Verhaltensbeschreibung besitzen
und selbst nicht wieder aus Subkomponenten bestehen.
Verhaltenssicht
In AutoFocus 2 wird das Verhalten von atomaren Komponenten durch Zustandsmaschinen
beschrieben. Die Komponente besteht aus einer Menge von
Zuständen und Zustandsübergängen, den Transitionen, zwischen diesen Zuständen.
Transitionen können dabei mit Vorbedingungen und Eingabemuster, sowie
Ausgabemuster und Nachbedingungen (Aktionen) erweitert sein.
Die Erfüllung der Vorbedingung und das Auftreten passender Eingangsnachrichten
an den Eingabeports führt zu einem Zustandsübergang mit der Ausgabe
der festgelegten Nachrichten auf den Ausgabeports und der Ausführung der Aktionen.
Ausgabe nehmen Einfluß auf die Umgebung einer Komponente, wohingegen
Aktionen lokale Variablen und somit den internen Komponentenzustand
verändern. Der Komponentenzustand ist durch den aktuellen Automatenzustand
und die Belegung der lokalen Variablen festgelegt.
Bei Zuständen gibt es, wie bei Komponenten, ebenfalls einen hierarchische
Struktur, d.h. ein Zustand kann wiederum Unterzustände, also einen Teilautomaten,
enthalten. Im Beispiel kapseln wir die Anwendungsfunktionalität des
Pressesteuermoduls in einem eigenen Zustand.
Datensicht
Benutzerdefinierte Datentypen werden über einen einfachen einem Texteditor
ähnlichen Editor festgelegt. Die dazu verwendete Definitionssyntax betrachten
wir in Kapitel 3. Aus der textuellen Repräsentation wird durch einen Parser das
zugehörige Modell der Datendefinitionen erzeugt.
Für unsere Betrachtungen ist die Datensicht zentral, da sie zum einen sehr
komplexe Modellstrukturen aufweist und zum anderen wir hier den Entwickler
möglichst weitgehend unterstützen wollen. In Kapitel 5 werden wir die Spezifikationsunifikation
auf der Datensicht voll automatisieren.
Weitere Sichten
Das AutoFocus 2 Werkzeug besitzt noch eine Reihe weiterer Sichten, die für
unsere Betrachtungen nicht von Bedeutung sind, der Vollständigkeit halber aber
nicht unerwähnt bleiben sollen.
Für die Definition von Beispielabläufen einzelner Komponenten stehen Sequenzdiagramme
(Message Sequence Charts) zur Verfügung. Im AutoMode-
Projekt wurden diese in Verbindung mit den Komponentenmodussicht zur Definition
von datenflussorientiertem Verhalten benutzt (siehe hierzu [TUM04a]).
Im AutoRaid-Projekt wurde AutoFocus 2 mit Modellierungselementen und
entsprechenden Sichten bzw. Editoren für die Anforderungsdefinition ausgestattet
(vgl. hierzu [TUM04b]).
8