Petra Brosch, S. Gabmeyer, Gertrude Kappel, Martina Seidl,
"On Formalizing EMF Modeling Operations with Graph Transformations"
, in W. Tracz, in Software Engineering Notes, Serie ACM, Vol. 37, Nummer 4, ACM, 2012, ISSN: 0163-5948
Original Titel:
On Formalizing EMF Modeling Operations with Graph Transformations
Sprache des Titels:
Englisch
Original Kurzfassung:
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.
Sprache der Kurzfassung:
Englisch
Journal:
Software Engineering Notes
Veröffentlicher:
ACM
Serie:
ACM
Volume:
37
Number:
4
Erscheinungsjahr:
2012
ISSN:
0163-5948
Anzahl der Seiten:
8
Reichweite:
international
Publikationstyp:
Aufsatz / Paper in sonstiger referierter Fachzeitschrift
Forschungs-