Termination analysis of model transformations by petri nets

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

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

45 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 publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Verlag
Pages260-274
Number of pages15
Volume4178 LNCS
ISBN (Print)3540388702, 9783540388708
Publication statusPublished - 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)03029743
ISSN (Electronic)16113349

Other

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

Fingerprint

Model Transformation
Petri nets
Petri Nets
Termination
Graph Transformation
User Model
Software Development
Automation
Specification
Sufficient
Software engineering
Specifications
Defects
Model

Keywords

  • Graph transformation
  • Model transformation
  • Petri nets
  • Termination

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Varró, D., Varró-Gyapay, S., Ehrig, H., Prange, U., & Taentzer, G. (2006). Termination analysis of model transformations by petri nets. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4178 LNCS, 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.

Termination analysis of model transformations by petri nets. / Varró, D.; Varró-Gyapay, Szilvia; Ehrig, Hartmut; Prange, Ulrike; Taentzer, Gabriele.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4178 LNCS Springer Verlag, 2006. p. 260-274 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4178 LNCS).

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

Varró, D, Varró-Gyapay, S, Ehrig, H, Prange, U & Taentzer, G 2006, Termination analysis of model transformations by petri nets. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 4178 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4178 LNCS, Springer Verlag, pp. 260-274, 3rd International Conference on Graph Transformations, ICGT 2006, Natal, Rio Grando do Norte, Brazil, 9/17/06.
Varró D, Varró-Gyapay S, Ehrig H, Prange U, Taentzer G. Termination analysis of model transformations by petri nets. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4178 LNCS. Springer Verlag. 2006. p. 260-274. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
Varró, D. ; Varró-Gyapay, Szilvia ; Ehrig, Hartmut ; Prange, Ulrike ; Taentzer, Gabriele. / Termination analysis of model transformations by petri nets. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4178 LNCS Springer Verlag, 2006. pp. 260-274 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{e2cc8637ad7846ababae85c41526c844,
title = "Termination analysis of model transformations by petri nets",
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.",
keywords = "Graph transformation, Model transformation, Petri nets, Termination",
author = "D. Varr{\'o} and Szilvia Varr{\'o}-Gyapay and Hartmut Ehrig and Ulrike Prange and Gabriele Taentzer",
year = "2006",
language = "English",
isbn = "3540388702",
volume = "4178 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "260--274",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - GEN

T1 - Termination analysis of model transformations by petri nets

AU - Varró, D.

AU - Varró-Gyapay, Szilvia

AU - Ehrig, Hartmut

AU - Prange, Ulrike

AU - Taentzer, Gabriele

PY - 2006

Y1 - 2006

N2 - 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.

AB - 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.

KW - Graph transformation

KW - Model transformation

KW - Petri nets

KW - Termination

UR - http://www.scopus.com/inward/record.url?scp=33750271574&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33750271574&partnerID=8YFLogxK

M3 - Conference contribution

SN - 3540388702

SN - 9783540388708

VL - 4178 LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 260

EP - 274

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

PB - Springer Verlag

ER -