Termination criteria for model transformation

Hartmut Ehrig, Karsten Ehrig, Juan De Lara, Gabriele Taentzer, Dániel Varró, Szilvia Varró-Gyapay

Research output: Conference article

53 Citations (Scopus)


Model Transformation has become central to most software engineering activities. It refers to the process of modifying a (usually graphical) model for the purpose of analysis (by its transformation to some other domain), optimization, evolution, migration or even code generation. In this work, we show termination criteria for model transformation based on graph transformation. This framework offers visual and formal techniques based on rules, in such a way that model transformations can be subject to analysis. Previous results on graph transformation are extended by proving the termination of a transformation if the rules applied meet certain criteria. We show the suitability of the approach by an example in which we translate a simplified version of Statecharts into Petri nets for functional correctness analysis.

Original languageEnglish
Pages (from-to)49-63
Number of pages15
JournalLecture Notes in Computer Science
Publication statusPublished - jan. 1 2005
Event8th International Conference on Fundamental Approaches to Software Engineering, FASE 2005, held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2005 - Edinburgh, United Kingdom
Duration: ápr. 4 2005ápr. 8 2005

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Termination criteria for model transformation'. Together they form a unique fingerprint.

  • Cite this

    Ehrig, H., Ehrig, K., De Lara, J., Taentzer, G., Varró, D., & Varró-Gyapay, S. (2005). Termination criteria for model transformation. Lecture Notes in Computer Science, 3442, 49-63. https://doi.org/10.1007/978-3-540-31984-9_5