Modelltransformationen und Modellrefactorings für integrierte Spezifikationsformalismen

• Antragstellerin: Professorin Dr. Heike Wehrheim
• Fachliche Zuordnung: Softwaretechnik und Programmiersprachen
• Förderung: Förderung von 2005 bis 2008
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5457122

Ziel des hier beantragten Projektes ist es, die in einem modellbasierten Entwurf von Software zentralen Konzepte der Modelltransformation und des Modellrefactorings auf eine formale Grundlage zu stellen, so dass die an diese Konzepte gestellte Anforderung der Bewahrung von Verhalten (behaviour preservation) auch tatsächlich eingehalten wird. Die im Projekt geplanten Arbeiten sollen über bisher vorliegende Ansätze hinausgehen, indem sie für Modellierungssprachen entwickelt werden, die das zu entwerfende System durch verschiedene Sichten beschreiben (sogenannte integrierte Spezifikationsformalismen). Schwerpunkt wird dabei die Untersuchung von Transformationen sein, die sich gerade nicht auf Transformationen einzelner Sichten zurückführen lassen, sondern erst in der Gesamtsicht das Kriterium der Verhaltensbewahrung erfüllen.

• DFG-Verfahren: Sachbeihilfen