Spezifikation und Analyse von Modelltransformationen mit Hilfe von Modelltransformationseinheiten
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)
- Graph Tuple Transformation. Electronic Communications of the EASST 62, 2013. 23 pages
Hans-Jörg Kreowski, Sabine Kuske
- Graph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis. In Holger Giese, Barbara König, editors, Proc. 7th Intl. Conference on Graph Transformation (ICGT 2014), volume 8571 of Lecture Notes in Computer Science, pages 237-252. Springer, 2014
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Melanie Luderer
(Siehe online unter https://doi.org/10.1007/978-3-319-09108-2_16) - Graph Transformation Meets Reversible Circuits: Model Transformation and Optimization. In Rachid Echahed, Mark Minas, editors, Graph Transformation: Proceedings of the 9th International Conference ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, pages 236-251. Springer International Publishing, 2016
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Caroline von Totth
(Siehe online unter https://doi.org/10.1007/978-3-319-40530-8_15) - Toward a Comprehensive Approach to the Transformation of Logistic Models. In Herbert Kotzab, Jürgen Pannek, Klaus-Dieter Thoben, editors, Dynamics in Logistics, Proc. 4th International Conference, LDIC 2014, Bremen, Germany, Lecture Notes in Logistics, pages 115-126. Springer, 2016
Hans-Jörg Kreowski, Marco Franke, Karl Hribernik, Sabine Kuske, Klaus-Dieter Thoben, Caroline von Totth
(Siehe online unter https://doi.org/10.1007/978-3-319-23512-7_11)
