Project Details
Projekt Print View

Specification and Analysis of Model Transformations by Model Transformation Units

Subject Area Theoretical Computer Science
Term from 2013 to 2016
Project identifier Deutsche Forschungsgemeinschaft (DFG) - Project number 233031177
 
Final Report Year 2016

Final Report Abstract

Modelltransformationseinheiten sind formale Spezifikationen von Modelltransformationen, die anders als die meisten anderen Modelltransformationsansätze, die einzelne Graphen, Diagramme oder textuelle Strukturen als Modelle betrachten, auf getupelten Modellen arbeiten. Sie haben beliebig viele Komponenten, die Konstanten, Zahlen, Wörter, Mengen, Terme, Formeln, Bäume, Graphen, u. ä. sein können, aber auch wieder Tupel, so dass beliebig komplexe Strukturen möglich sind. Die Transformation findet simultan auf allen Komponenten statt, wobei je nach Komponententyp geeignete Operationen ausgeführt werden. Für Graphkomponenten werden dafür die üblichen Graphtransformationsregeln eingesetzt. In dem Projekt Spezifikation und Analyse von Modelltransformationen mit Hilfe von Modelltransformationseinheiten sind solche Modelltransformationseinheiten weiter untersucht worden. Die erzielten Ergebnisse betreffen insbesondere die Termination und Korrektheit von Modelltransformationen. Fortschritte sind auch erzielt worden hinsichtlich der Komposition von Modelltransformationseinheiten und ihrer Werkzeugunterstützung beim Auswerten, Visualisieren und Verifizieren. Mit der visuellen Modellierung von reversiblen Schaltungen einerseits und der Schwarmintelligenz andererseits sind neue Anwendungsfelder erschlossen worden. Besonders erwähnenswert ist schließlich, dass im Rahmen des Projekts erste Überlegungen angestellt worden sind, Modelltransformationseinheiten zum Basiskonzept einer Modellierungs- und Transformationssprache für dynamische logistische Systeme zu machen.

Publications

 
 

Additional Information

Textvergrößerung und Kontrastanpassung