High-level replacement units and their termination properties

Journal of Visual Languages and Computing

Volumn 16, Issue 6, 2005, Pages 485-507

  Bottoni, Paolo ^a   Hoffmann, Kathrin ^a,b   Parisi Presicce, Francesco ^a,c   Taentzer, Gabriele ^b  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^c GEORGE MASON UNIVERSITY   (United States)

Author keywords

High level replacement; Refactoring; Termination; Transformation units; Visual transformations

Indexed keywords

EID: 27844566184     PISSN: 1045926X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jvlc.2005.07.001     Document Type: Article

References (23)

1. G. Sunyé D. Pollet Y. Le Traon J.-M. Jézéquel Refactoring UML models in: M. Gogolla C. Kobryn (Eds.) UML 2001 - The Unified Modeling Language, Modeling Languages, Concepts, and Tools, Fourth International Conference 2001 Springer Berlin 134-148
2. T. Mens, S. Demeyer, D. Janssens, Formalising behaviour preserving program transformations, in: A. Corradini, H. Ehrig, H.-J. Kreowski, G. Rozenberg (Eds.), Proceedings of ICGT'02, Lecture Notes in Computer Science, vol. 2505, Springer, Berlin, 2002, pp. 286-301
3. P. Bottoni, F. Parisi-Presicce, G. Taentzer, Specifying integrated refactoring with distributed graph transformation, in: Applications of Graph Transformations with Industrial Relevance, Lecture Notes in Computer Science, vol. 3062, Springer, Berlin, 2004, pp. 220-235.
4. J.M. Küster R. Heckel G. Engels Defining and validating transformations of UML models Proceedings of the HCC 2003 2003 IEEE Computer Society Silver Spring, MD 145-152
5. D. Plump Termination of graph rewriting is undecidable Fund. Inform. 33 2 1998 201-209
6. N. Dershowitz Z. Manna Proving termination with multiset orderings Commun. ACM 22 8 1979 465-476
7. N. Dershowitz Termination of rewriting J. Symbolic Comput. 3 1, 2 1987 69-115 (Corrigendum: 4,3 (December 1987), 409-410).
8. R. Bardohl, G. Taentzer, M. Minas, A. Schürr, Application of graph transformation to visual languages, in: H. Ehrig, G. Engels, H.-J. Kreowski, G. Rozenberg (Eds.), Handbook of Graph Grammars and Computing by Graph Transformation, Volume 2, Applications, Languages and Tools, World Scientific, Singapore, 1999, pp. 105-181.
9. P. Bottoni G. Taentzer A. Schürr Efficient parsing of visual languages based on critical pair analysis (and contextual layered graph transformation) IEEE Symposium Visual Languages 2000 IEEE Press New York 59-61
10. A. Schürr A. Winter A. Zündorf The PROGRES-approach: Language and environment in: H. Ehrig G. Engels H.-J. Kreowski G. Rozenberg (Eds.) Handbook of Graph Grammars and Computing by Graph Transformation, Applications, Languages and Tools vol. 2 1999 World Scientific Singapore 487-550
11. H.-J. Kreowski S. Kuske Graph transformation units with interleaving semantics Formal Aspects Comput. 11 1999 690-723
12. P. Bottoni M. Koch F. Parisi Presicce G. Taentzer Automatic consistency checking and visualization of OCL constraints UML 2000 The Unified Modeling Language 2000 Springer Berlin 294-308
13. H. Ehrig A. Habel H.-J. Kreowski F. Parisi-Presicce Parallelism and concurrency in high-level replacement systems Math. Struct. Comp. Science 1 1991 361-404
14. U. Assmann Graph rewrite systems for program optimization ACM TOPLAS 22 4 2000 583-637
15. H. Ehrig, K. Ehrig, J. de Lara, G. Taentzer, D. Varró, S. Varró Gyapay, Termination criteria for model transformation, in: Proceedings of the Fundamental Approaches to Software Engineering (FASE 2005), Lecture Notes in Computer Science, vol. 3442, Springer, Berlin, 2005, pp. 49-63.
16. H. Ehrig M. Gajewsky F. Parisi-Presicce High-level replacement systems applied to algebraic specifications and petri nets Handbook of Graph Grammars and Computing by Graph Transformation, Concurrency, Parallelism and Distribution vol. 3 2000 World Scientific Singapore 341-400
17. H. Ehrig, U. Prange, G. Taentzer, Fundamental theory for typed attributed graph transformation, in: F. Parisi-Presicce, P. Bottoni, G. Engels (Eds.), Proceedings of the 2nd International Conference on Graph Transformation (ICGT'04), Rome, Italy, Lecture Notes in Computer Science, vol. 3256, Springer, Berlin, 2004, pp. 161-177
18. M. Fowler K. Beck W. Opdyke D. Roberts Refactoring: Improving the Design of Existing Code 1999 Addison-Wesley Reading, MA
19. P. Bottoni P. Parisi-Presicce G. Taentzer Specifying coherent refactoring of software artefacts with distributed graph transformations in: P.v. Bommel (Ed.) Transformation of Knowledge, Information, and Data: Theory and Applications 2004 Idea Group Publishing 95-125
20. H. Ehrig, A. Habel, J. Padberg, U. Prange, Adhesive high-level replacement categories and systems, in: F. Parisi-Presicce, P. Bottoni, G. Engels (Eds.), Proceedings of the 2nd International Conference on Graph Transformation (ICGT'04), Lecture Notes in Computer Science, vol. 3256, Springer, Berlin, 2004, pp. 144-160.
21. S. Lack, P. Sobocinski, Adhesive categories, in: I. Walukiewicz (Ed.), FOSSACS 2004, Lecture Notes in Computer Science, vol. 2987, Springer, Berlin, 2004, pp. 273-288.
22. A. Habel R. Heckel G. Taentzer Graph grammars with negative application conditions Fund. Inform. 26 34 1996 287-313
23. H. Ehrig, K. Ehrig, A. Habel, K.-H. Pennemann, Constraints and application conditions: From graphs to high-level structures, in: F. Parisi-Presicce, P. Bottoni, G. Engels (Eds.), Proceedings of the Second International Conference on Graph Transformation (ICGT'04), Lecture Notes in Computer Science, vol. 3256, Springer, Berlin, 2004, pp. 287-303