What Algebraic Graph Transformations Can Do For Model Transformations

2015/11/03 by Gabriele Taentzer, Taentzer, Gabriele
Computer Science · #Advanced Software Engineering Methodologies #Model-Driven Software Engineering Techniques #Software Testing and Debugging Techniques

paper · doi:10.14279/tuj.eceasst.30.438

openalex publication_date 2024/03/25 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/01

Abstract

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.

Citations

• Specification and Verification of Model Transformations

Related

• Termination Criteria for Model Transformation
• Stepping from Graph Transformation Units to Model Transformation Units
• Co-Transformation of Type and Instance Graphs Supporting Merging of Types and Retyping
• Ensuring Containment Constraints in Graph-based Model Transformation Approaches
• Specification and Verification of Model Transformations