[Zurück]


Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):

P. Brosch, S. Gabmeyer, G. Kappel, M. Seidl:
"On Formalizing EMF Modeling Operations with Graph Transformations";
Vortrag: UML and FM 2012, Paris; 27.08.2012; in: "ACM SIGSOFT Software Engineering Notes", W. Tracz (Hrg.); ACM, Volume 37 Issue 4 (2012), ISSN: 0163-5948; 8 S.



Kurzfassung englisch:
The development of software in accordance with the model-driven engineering paradigm places model transformations at a central position. Desirable yet contradicting properties of model transformations are user-friendliness as offered by by-demonstration approaches and formal conciseness as provided by algebraic graph transformations which is indispensable for verification tasks.
In this paper, we show how to unite the properties of the two different approaches. We employ the state-of-the-art by-demonstration environment EMO to prototype graph transformations by embedding the operations obtained from EMO in the formal framework of graph transformation theory.

Schlagworte:
model driven developement, model transformations, graph transformations, by demonstration


Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/PubDat_209472.pdf



Zugeordnete Projekte:
Projektleitung Martina Seidl:
FAME: Formalisierung und Handhabung von Evolution in modellbasierter Softwareentwicklung