Modelltransformationen und Modellrefactorings für integrierte Spezifikationsformalismen

集成规范形式的模型转换和模型重构

• 批准号: 5457122
• 负责人: Professorin Dr. Heike Wehrheim
• 金额: --
• 依托单位: Department für Informatik
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2005
• 资助国家: 德国
• 起止时间: 2004-12-31 至 2007-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5457122?language=en
• 关键词: Modelltransformationen; und; Modellrefactorings; 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.

Ziel des modelbeantragten Projektes is es，die in einem modelbasierten Entwurf von Software zentralen Konzepte der Model transformation und des Model refactorings auf eine formale Grundlage zustellen，so dass die an diese Konzepte gestellte Anforderung der Bewahrung von Verhalten（behavior preservation）auch tatsächlich eingehalten wird. Die im Projekt geplanten Arbeiten sollen über bisher vorliegende Ansätze hinausgehen，indem sie für Modellierungssprachen entwickelt韦尔登，die das zu entwerfende System durch versiedene Sichten beschreiben（sogenannte integrierte Spezifikationsformalismen）. Schwerpunkt wird dabei die Untersuchung von Transformationen sein，die sich gerade auf Transformationen einzelner Sichten zurückführen lassen，sondern erst in der Gesamtsicht das Kriterium der Verhaltensbewahrung erfüllen.