What Algebraic Graph Transformations Can Do For Model Transformations
Gabriele Taentzer · Technische Universität Berlin – Universitätsbibliothek · 2024
Model transformations are key activities in model-driven development (MDD). A number of model transformation approaches have emerged for different purposes and with different backgrounds. This paper focusses on the use of algebraic graph transformation concepts to specify and verify model transformations in MDD.