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.