direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Termination Analysis of Model Transformations by Petri Nets
Zitatschlüssel VVE+06
Autor Varró, D. and Varró-Gyapay, S. and Ehrig, H. and Prange, U. and Taentzer, G.
Buchtitel Proc. Third International Conference on Graph Transformation (ICGT'06)
Seiten 260–274
Jahr 2006
ISSN ISSN 0302-9743, ISBN 3-540-38870-2
Adresse Natal, Brazil
Jahrgang 4178
Monat September
Herausgeber Corradini, A. and Ehrig, H. and Montanari, U. and Ribeiro, L. and Rozenberg, G.
Serie LNCS
Zusammenfassung 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.
Link zur Publikation Download Bibtex Eintrag

Zusatzinformationen / Extras


Schnellnavigation zur Seite über Nummerneingabe