Termination analysis of model transformations by petri nets

Dániel Varró, Szilvia Varró-Gyapay, Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer

Research output: Chapter in Book/Report/Conference proceedingConference contribution

47 Citations (Scopus)

Abstract

Despite the increasing relevance of model transformation techniques in model-driven software development, research is mainly conducted to the specification and the automation of such transformations. However, since the transformations themselves may also contain conceptual flaws, it is essential to formally analyze them prior to executing them on user models. In the current paper, we focus on a central validation problem of trusted model transformations, namely, termination and propose a Petri net based analysis method that provides a sufficient criterion for the termination problem of model transformations captured by graph transformation systems.

Original languageEnglish
Title of host publicationGraph Transformations - Third International Conference, ICGT 2006, Proceedings
PublisherSpringer Verlag
Pages260-274
Number of pages15
ISBN (Print)3540388702, 9783540388708
Publication statusPublished - Jan 1 2006
Event3rd International Conference on Graph Transformations, ICGT 2006 - Natal, Rio Grando do Norte, Brazil
Duration: Sep 17 2006Sep 23 2006

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4178 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other3rd International Conference on Graph Transformations, ICGT 2006
CountryBrazil
CityNatal, Rio Grando do Norte
Period9/17/069/23/06

Keywords

  • Graph transformation
  • Model transformation
  • Petri nets
  • Termination

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Termination analysis of model transformations by petri nets'. Together they form a unique fingerprint.

  • Cite this

    Varró, D., Varró-Gyapay, S., Ehrig, H., Prange, U., & Taentzer, G. (2006). Termination analysis of model transformations by petri nets. In Graph Transformations - Third International Conference, ICGT 2006, Proceedings (pp. 260-274). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4178 LNCS). Springer Verlag.