Modelltransformationen und Modellrefactorings für integrierte Spezifikationsformalismen

点击翻译按钮获取中文摘要

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.