Forschungsthemen
[DA] Acquiring Uniform Traces From Diverse Model Transformations to Analyse Model Dependencies
Die Transformation von Quellmodellen in Zielmodelle ist ein zentraler Bestandteil von Modelgetriebener Software-Entwicklung (MDSD). Die Abbhängigkeiten von Quellmodellelementen zu Zielmodellelementen ermöglichen ein besseres Modellverständnis, effizientere Refactorings und erleichtern Metamodelländerungen. Sie liegen jedoch nur implizit als Modelltransformationsprogramme vor.
Die vorliegende Arbeit stellt einen Ansatz vor, diese Abhängigkeiten explizit zugänglich zu machen.
Transformationen werden zu diesem Zweck automatisch verändert (Higher Order Transformations). Gegenüber dem bisherigen Forschungsstand werden nicht nur Abhängigkeiten von konkreten Quell- zu konkreten Zielmodellelementen erkannt, sondern auch Abhängigkeiten von und zu nicht existierenden Elementen.
Bestandteil des Ansatzes ist eine sprachagnostische, statische Programmanalyse. Es wird weiterhin ein Algorithmus vorgestellt, um die darin genutzte abstrakte Programmsicht wieder in ein konkretes Programm einer konkreten Transformationssprache zu überführen.
Betreuer: Jan Reimann