Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content

Termination Analysis of Model Transformations by Petri Nets

  • Conference paper
Graph Transformations (ICGT 2006)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 4178))

Included in the following conference series:

  • 1002 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Aßmann, U.: Graph Rewrite Systems for Program Optimization. In: ACM TOPLAS, vol. 22(4), pp. 583–637. ACM Press, New York (2000)

    Google Scholar 

  2. Bardohl, P.: Modelling Concurrent Computations: From Contextual Petri Nets to Graph Grammars. PhD thesis, University of Pisa (2000)

    Google Scholar 

  3. 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)

    Chapter  Google Scholar 

  4. 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)

    Chapter  Google Scholar 

  5. 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)

    Google Scholar 

  6. 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)

    Chapter  Google Scholar 

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

    Google Scholar 

  8. 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)

    Google Scholar 

  9. Corradini, A., Montanari, U., Rossi, F.: Graph Processes. Fundamenta Informaticae 26(3/4), 241–265

    Google Scholar 

  10. 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)

    Google Scholar 

  11. 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)

    Chapter  Google Scholar 

  12. GAMS: General Algebraic Modeling System, http://www.gams.com

  13. 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)

    Chapter  Google Scholar 

  14. Küster, J., Sendall, S., Wahler, M.: Comparing two model transformation approaches. In: OCL and Model Driven Engineering (2004)

    Google Scholar 

  15. Model Transformations in Practice (Satellite Workshop of MODELS 2006), http://sosym.dcs.kcl.ac.uk/events/mtip

  16. Murata, T.: Petri nets: Properties, analysis and applications. In: Proc. IEEE, vol. 77, pp. 541–580 (1989)

    Google Scholar 

  17. Object Management Group. QVT: Request for Proposal for Queries, Views and Transformations, http://www.omg.org

  18. Plump, D.: Termination of Graph Rewriting is Undecidable. Fundamenta Informaticae 33(2), 201–209 (1998)

    MATH  MathSciNet  Google Scholar 

  19. 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)

    Google Scholar 

  20. Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation, vol. 1. World Scientific, Singapore (1997)

    Google Scholar 

  21. 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)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics