Termination of high-level replacement units with application to model transformation

Electronic Notes in Theoretical Computer Science

Volumn 127, Issue 4, 2005, Pages 71-86

  Bottoni, Paolo ^a   Koch, Manuel ^b   Parisi Presicce, Francesco ^a,d   Taentzer, Gabriele ^c  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b FREIE UNIVERSITÄT BERLIN   (Germany)

^c TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^d GEORGE MASON UNIVERSITY   (United States)

Author keywords

Graph transformation; Refactoring; Termination; Transformation units

Indexed keywords

AUTOMATION; COMPUTATIONAL COMPLEXITY; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; COMPUTER SOFTWARE; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; PROBLEM SOLVING;

GRAPH TRANSFORMATIONS; REFACTORING; TERMINATION; TRANSFORMATION UNITS; UNIFIED MODELING LANGUAGE (UML);

GRAPH THEORY;

EID: 16244381462     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.08.048     Document Type: Conference Paper

References (17)

1. U. Aßmann Graph rewrite systems for program optimization ACM TOPLAS 22 2000 583 637
2. P. Bottoni, M. Koch, F. Parisi Presicce, and G. Taentzer Automatic consistency checking and visualization of OCL constraints The Unified Modeling Language UML 2000 2000 294 308
3. P. Bottoni, F. Parisi-Presicce, and G. Taentzer Specifying Integrated Refactoring with Distributed Graph Transformation Applications of Graph Transformations with Industrial Relevance LNCS 3062 2004 220 235
4. Bottoni, P., P. Parisi-Presicce and G. Taentzer, Specifying Coherent Refactoring of Software Artefacts with Distributed Graph Transformations, in: P. v. Bommel, editor, Transformation of Knowledge, Information, and Data: Theory and Applications (2004), to appear
5. Bottoni, P., G. Taentzer and A. Schürr, Efficient parsing of visual languages based on critical pair analysis (and contextual layered graph transformation), in: IEEE Symposium Visual Languages (2000), pp. 59-61
6. N. Dershowitz, and Z. Manna Proving termination with multiset orderings Commun. ACM 22 1979 465 476
7. H. Ehrig, M. Gajewsky, and F. Parisi-Presicce High-Level Replacement Systems applied to Algebraic Specifications and Petri Nets Handbook of Graph Grammars and Computing by Graph Transformation. Vol 3: Concurrency, Parallelism and Distribution 2000 World Scientific Singapore 341 400
8. H. Ehrig, and A. Habel Constraints and Application Conditions: From Graphs to High-Level Structures Proc. Int. Conf. on Graph Transformation 2004 2004 to appear
9. H. Ehrig, A. Habel, H.-J. Kreowski, and F. Parisi-Presicce Parallelism and concurrency in High Level Replacement Systems Math. Struc. in Comp. Science 1 1991 361 404
10. H. Ehrig, U. Prange, and G. Taentzer Fundamental Theory of Typed Attributed Graph Transformation Proc. Int. Conf. on Graph Transformation 2004 2004 to appear
11. M. Fowler, K. Beck, W. Opdyke, and D. Roberts Refactoring: Improving the Design of Existing Code 1999 Addison-Wesley
12. A. Habel, R. Heckel, and G. Taentzer Graph Grammars with Negative Application Conditions Fundamenta Informaticae 26 1996 287 313
13. H.-J. Kreowski, S. Kuske, and A. Schürr Nested graph transformation units Int. Journal on Software and Knowledge Engineering 7 1997 479 502
14. J.M. Küster, R. Heckel, and G. Engels Defining and Validating Transformations of UML Models Proc. HCC 2003 2003 145 152
15. T. Mens, S. Demeyer, and D. Janssens Formalising behaviour preserving program transformations A. Corradini H. Ehrig H.-J. Kreowski G. Rozenberg Proc. ICGT02 2002 286 301
16. D. Plump Termination of graph rewriting is undecidable Fundamenta Informaticae 33 1998 201 209
17. G. Sunyé, D. Pollet, Y.L. Traon, and J.-M. Jézéquel Refactoring UML models M. Gogolla C. Kobryn The Unified Modeling Language. Modeling Languages, Concepts, and Tools. 4th International Conference UML 2001 2001 134 148