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.
This work was partially supported by the Segravis Research Training Network. Dániel Varró was also supported by the János Bolyai Scholarship.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Aßmann, U.: Graph Rewrite Systems for Program Optimization. In: ACM TOPLAS, vol. 22(4), pp. 583–637. ACM Press, New York (2000)
Bardohl, P.: Modelling Concurrent Computations: From Contextual Petri Nets to Graph Grammars. PhD thesis, University of Pisa (2000)
Baldan, P., Corradini, A., König, B.: A Static Analysis Technique for Graph Transformation Systems. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol. 2154, pp. 381–395. Springer, Heidelberg (2001)
Bardohl, R., Ehrig, H., de Lara, J., Taentzer, G.: Integrating Meta Modelling with Graph Transformation for Efficient Visual Language Definition and Model Manipulation. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol. 2984, pp. 214–228. Springer, Heidelberg (2004)
Bottoni, P., Koch, M., Parisi-Presicce, F., Taentzer, G.: Termination of High-Level Replacement Units with Application to Model Transformation. In: Proceedings of VLFM 2004. ENTCS (2004)
Bottoni, P., Taentzer, G., Schürr, A.: Efficient Parsing of Visual Languages based on Critical Pair Analysis and Contextual Layered Graph Transformation. In: Proc. Visual Languages 2000, pp. 59–60. IEEE Computer Society, Los Alamitos (2000)
Corradini, A.: Concurrent Graph and Term Graph Rewriting. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol. 1119, pp. 438–464. Springer, Heidelberg (1996)
Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., Löwe, M.: Algebraic Approaches to Graph Transformation — Part I: Basic Concepts and Double Pushout Approach. In: [20], pp. 163–245. World Scientific, Singapore (1997)
Corradini, A., Montanari, U., Rossi, F.: Graph Processes. Fundamenta Informaticae 26(3/4), 241–265
Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Monographs in Theoretical Computer Science. An EATCS Series. Springer, New York (2006)
Ehrig, H., Ehrig, K., de Lara, J., Taentzer, G., Varró, D., Varró-Gyapay, S.: Termination Criteria for Model Transformation. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 49–63. Springer, Heidelberg (2005)
GAMS: General Algebraic Modeling System, http://www.gams.com
de Lara, J., Taentzer, G.: Automated Model Transformation and its Validation with AToM3 and AGG. In: Blackwell, A.F., Marriott, K., Shimojima, A. (eds.) DIAGRAMS 2004. LNCS, vol. 2980, pp. 182–198. Springer, Heidelberg (2004)
Küster, J., Sendall, S., Wahler, M.: Comparing two model transformation approaches. In: OCL and Model Driven Engineering (2004)
Model Transformations in Practice (Satellite Workshop of MODELS 2006), http://sosym.dcs.kcl.ac.uk/events/mtip
Murata, T.: Petri nets: Properties, analysis and applications. In: Proc. IEEE, vol. 77, pp. 541–580 (1989)
Object Management Group. QVT: Request for Proposal for Queries, Views and Transformations, http://www.omg.org
Plump, D.: Termination of Graph Rewriting is Undecidable. Fundamenta Informaticae 33(2), 201–209 (1998)
Rensink, A., Nederpel, R.: Graph transformation semantics for a QVT language. In: Proc. Fifth Intern. Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2006). ENTCS, pp. 45–56. Elsevier, Amsterdam (in Press, 2006)
Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation, vol. 1. World Scientific, Singapore (1997)
Schürr, A.: Specification of Graph Translators with Triple Graph Grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol. 903, pp. 151–163. Springer, Heidelberg (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Varró, D., Varró–Gyapay, S., Ehrig, H., Prange, U., Taentzer, G. (2006). Termination Analysis of Model Transformations by Petri Nets. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds) Graph Transformations. ICGT 2006. Lecture Notes in Computer Science, vol 4178. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11841883_19
Download citation
DOI: https://doi.org/10.1007/11841883_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-38870-8
Online ISBN: 978-3-540-38872-2
eBook Packages: Computer ScienceComputer Science (R0)