Modelltransformationen und Modellrefactorings für integrierte Spezifikationsformalismen

• Applicant: Professorin Dr. Heike Wehrheim
• Subject Area: Software Engineering and Programming Languages
• Term: from 2005 to 2008
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 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 Programme: Research Grants