Spezifikationsmodule - Software and Systems Engineering - TUM

interaktive Unifizierbarkeit von Datentypen)
• Konstruktion von kombinierten Typen (Unifikation von Datentypen und
interaktive Verschmelzung)
• Schnittstellenunifikation (Kombination von Schnittstellen abhängig von
der Typenverträglichkeit)
• Verhaltenskombination (Einbindung von Verhaltensbeschreibung und Konstruktion
von zugehörigen Transitionen)
• Bausteinorientierte Entwicklung: Modulisolation (Herauslösen von anwendbaren
Verhaltensbausteinen mittels Vervollständigung von Teilmodulen)
Neben der Realisierung der Funktionalität umfasst die Aufgabenstellung die
Ausarbeitung geeigneter Standardmodule zur Demonstration der Tauglichkeit
des Ansatzes.
1.3 Struktur des vorliegenden Dokuments
In Kapitel 2 werden wir die gestellte Aufgabe der Spezifikationsvereinigung einer
genauen Problemanalyse unterziehen. Hier werden wir, neben der Klärungen
des Begriffs Modelltransformation, das Modellierungswerkzeug AutoFOCUS 2
und die zugehörige Transformationssprache ODL erläutern, sowie das Anwendungsbeispiel
genau darstellen.
Als Grundlage für die weiteren Betrachtungen, werden wir in Kapitel 3 das
Thema Unfikation genau untersuchen. Vom Unifikationsverfahren der Prädikatenlogik
werden wir zur Unifikation von Typdefinitionen übergehen. Für die
weiteren Betrachtungen dieser Diplomarbeit ist das Verständnis der Unifikation
von zentraler Bedeutung, da die einzelnen Verfahren sich auf dieses Prinzip
zurückführen lassen.
In Kapitel 4 untersuchen wir das Transformationsproblem aus theoretischer
Sicht und entwickeln einen allgemeinen, formalen Lösungsansatz. Dieser stützt
sich dabei einerseits auf die Unifikation, andererseits auf ein aussagenlogischen
Belegungsproblem. Abschließend unterziehen wir das Berechnungsverfahren der
Lösungen einer Komplexitätsbetrachtung.
Die Spezifikationsvereinigung werden wir in Kapitel 5 mit der theoretischen
Fundierung in ein praktisch anwendbares Transformationsverfahren übertragen.
Wir befassen uns hier mit den Themen verschiedenartiger Benutzerführungen
und der technischen Umsetzung in ODL. Die Interaktion mit dem Nutzer ist in
diesem ein wichtiger Punkt, da sie die Nutzung von Modelltransformationen im
Modellierungsalltag der Softwareentwickler erlaubt.
Den Abschluß dieser Diplomarbeit bildet das Kapitel 6. Wir werden hier
die Ergebnisse zusammenfassen und in einen Ausblick münden lassen, der sowohl
die technische Basis vertiefen und verbreitern, wie auch die praktische
Weiterführung beleuchten wird.
5