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)

Volumn 4178 LNCS, Issue , 2006, Pages 260-274

  Varró, Dániel ^a   Varró Gyapay, Szilvia ^a   Ehrig, Hartmut ^b   Prange, Ulrike ^b   Taentzer, Gabriele ^b  

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

^b TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

Graph transformation; Model transformation; Petri nets; Termination

Indexed keywords

AUTOMATION; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; PROBLEM SOLVING; PROGRAMMING THEORY; SOFTWARE ENGINEERING;

GRAPH TRANSFORMATIONS; MODEL TRANSFORMATIONS; TERMINATION ANALYSIS;

PETRI NETS;

EID: 33750271574     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11841883_19     Document Type: Conference Paper

References (21)

1. Aßmann, U. 2000. Graph Rewrite Systems for Program Optimization. ACM TOPLAS, vol. 22(4), pp. 583-637, ACM Press, New York.
2. Bardohl, P., 2000. Modelling Concurrent Computations: From Contextual Petri Nets to Graph Grammars. PhD thesis, University of Pisa.
3. Baldan, P., Corradini, A., and König, B. 2001. A Static Analysis Technique for Graph Transformation Systems In Proc. CONCUR 2001, LNCS 2154, pp. 381-395. Springer.
4. Bardohl, R., Ehrig, H., de Lara J., and Taentzer, G. 2004. Integrating Meta Modelling with Graph Transformation for Efficient Visual Language Definition and Model Manipulation. In Proc. FASE'04, LNCS 2984, pp. 214-228. Springer.
5. Bottoni, P., Koch, M., Parisi-Presicce, F., Taentzer, G. 2004. Termination of High-Level Replacement Units with Application to Model Transformation. In proceedings of VLFM'04, ENTCS.
6. Bottoni, P., Taentzer, G., Schürr, A. 2000. Efficient Parsing of Visual Languages based on Critical Pair Analysis and Contextual Layered Graph Transformation. In Proc. Visual Languages 2000 IEEE Computer Society, pp.: 59-60.
7. Corradini, A. 1996 Concurrent Graph and Term Graph Rewriting. In Proc. CONCUR'96, LNCS 1119, pp. 438-464, Springer.
8. Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., and Löwe, M. In [20], chap. Algebraic Approaches to Graph Transformation -Part I: Basic Concepts and Double Pushout Approach, pp. 163-245. World Scientific, 1997.
9. Corradini, A., Montanari U., Rossi, F. Graph Processes. Fundamenta Informaticae 26(3/4):241-265.
10. Ehrig, H., and Ehrig, K., and Prange, U., and Taentzer, G. Fundamentals of Algebraic Graph Transformation. Monographs in Theoretical Computer Science. An EATCS Series, Springer-Verlag New York, Inc., 2006.
11. Ehrig, H., Ehrig, K., de Lara, J., Taentzer G., Varró, D., Varró-Gyapay, Sz. Termination Criteria for Model Transformation. In FASE 2005: Internat ion Conference on Fundamental Approaches to Software Engineering (Edinburgh, UK), LNCS 3442, pp. 49-63, Springer, 2005.
12. GAMS: General Algebraic Modeling System, http://www.gams.com.
13. 3 and AGG. In DIAGRAMS'2004 (Cambridge, UK). Lecture Notes in Artificial Intelligence 2980, pp.: 182-198. Springer.
14. Küster, J., Sendall, S., Wahler, M. Comparing two model transformation approaches. In OCL and Model Driven Engineering 2004.
15. Model Transformations in Practice (Satellite Workshop of MODELS 2006) http://sosym.des.kcl.ac.uk/events/mtip.
16. T. Murata. Petri nets: Properties, analysis and applications. In Proc. IEEE, vol. 77, pp. 541-580. 1989.
17. Object Management Group. QVT: Request for Proposal for Queries, Views and Transformations, http://www.omg.org.
18. Plump, D. 1998. Termination of Graph Rewriting is Undecidable. Fundamenta Informaticae 33(2):201-209.
19. Rensink, A., and Nederpel R. 2006. 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. In Press.
20. Rozenberg, G. (ed) 1997. Handbook of Graph Grammars and Computing by Graph Transformation. World Scientific. Volume 1.
21. Schürr, A. Specification of Graph Translators with Triple Graph Grammars. In Proc. WG94'- Int. Workshop on Graph-Theoretic Concepts in Computer Science, vol. 903 of LNCS, pp. 151-163. Springer-Verlag, 1994.