Spezifikationsmodule - Software and Systems Engineering - TUM

Entwicklungsprozesses und der Einzeltätigkeiten, im Hinblick auf die Wiederverwendung
von Einzelbausteinen und den Einsatz von Modelltransformationen,
Kostenersparpotentiale zu Tage fördern.
In der vorliegenden Arbeit werden wir zeigen, wie Modelltransformationen
als effiziente Entwicklungsschritte eingesetzt werden können um die Zusammensetzung
einer Gesamtlösung aus Einzelbausteinen bereits auf der Ebene der
Spezifikation durchzuführen. Wir interessieren uns hierbei weniger für das aneinander
Koppeln fertiger Komponenten, soondern wollen vielmehr die Spezifikation
von zwei Softwarekomponenten konsistent zusammenführen. Wir illustrieren
dieses Prinzip der Spezifikationsvereinigung anhand eines kleinen, aber
durchaus praxisrelevanten Beispiels. Die hier vorgestellte Transformation zeigt
die Verschmelzung der Spezifikation eines anwendungsspezifischem Moduls, der
Steuereinheit einer Presse, mit der Spezifikation eines allgemeinen Moduls für
Fehlerbehandlung.
Die vorliegende Arbeit konzentriert sich auf die theoretische Fundierung und
die technische Umsetzung der Spezifikationsvereinigung als ein Beispiel für komplexe
Modelltransformationen. Besonderes Augenmerk liegt hierbei auf der Korrektheit
der Transformation, sowie einer möglichst hohen Arbeitsersparnis des
Entwicklers durch weitestgehende Automatisierung einzelner Teilschritte. Die
Interaktion mit dem Entwickler wird allerdings zentraler Bestandteil unserer
Betrachtungen sein. Wir haben nicht zum Ziel den Entwickler zu ersetzen, sondern
ihn vielmehr bei zeitintensiven Systementwicklungsschritten optimal zu
unterstützen.
Das weiterführende Ziel des hier technisch untersuchten Vorgehens ist die
Zusammenstellung von Einzeltransformationen zu prozessrelevanten Arbeitsschritten.
Dies ist Inhalt einer weiteren Diplomarbeit ist, die parallel zu der
vorliegenden Arbeit erstellt wurde. Wir geben einen kurzen Ausblick auf deren
Inhalt im letzten Kapitel.
Die Einsetzbarkeit und die betriebswirtschaftlichen Auswirkungen im Softwareentwicklungsprozess
sind hier nicht Teil unserer Betrachtungen. Dazu sind
zunächst entsprechende Fallstudien notwendig, wofür wir mit dieser Arbeit die
technische Basis schaffen wollen.
1.2 Konkrete Aufgabenstellung
Im Rahmen der Diplomarbeit soll das bestehende AQuA-System (AutoFocus/Quest
Framework) 1 eingesetzt werden, um praxisrelevante Analyse- und
Transformationsschritte in einem modellbasierten Entwicklungsprozess zu unterstützen.
Solche Schritte unterstützen den Softwareentwickler, effizient hochwertige
Systeme zu konstruieren. Im Zentrum der DA steht die Unterstützung
von (verhaltens-) bausteinorientierter Entwicklung mittels Spezifikationsmodulen.
Hierbei sollen Standardmodule (z.B. Konfiguration, Fehlerbehandlung, Reinitialisierung)
durch Übernahme der Schnittstellen-, Daten-, und Verhaltensbeschreibung
in spezifische Applikationsmodelle eingebunden werden.
Teilaufgaben sind dabei:
• Analyse der Typenverträglichkeit von Datenbeschreibungen (generelle und
1 Statt des AutoFocus/Quest-Systems wurde nach Ausschreibung der DA dessen Nachfolger,
das AutoFocus 2 System, als Demonstrationsplattform gewählt
4