Detailseite
Projekt Druckansicht

Spezifikation und Analyse von Modelltransformationen mit Hilfe von Modelltransformationseinheiten

Fachliche Zuordnung Theoretische Informatik
Förderung Förderung von 2013 bis 2016
Projektkennung Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 233031177
 
Erstellungsjahr 2016

Zusammenfassung der Projektergebnisse

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.

Projektbezogene Publikationen (Auswahl)

 
 

Zusatzinformationen

Textvergrößerung und Kontrastanpassung