Termination Criteria for DPO Transformations with Injective Matches

Electronic Notes in Theoretical Computer Science

Volumn 175, Issue 4 SPEC. ISS., 2007, Pages 87-100

  Levendovszky, Tihamér ^a   Prange, Ulrike ^b   Ehrig, Hartmut ^b  

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

^b TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

DPO Approach; Graph Transformation; Model Transformation; Termination Criteria

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER SIMULATION; CONSTRAINT THEORY; SOFTWARE ENGINEERING;

ATTRIBUTE CONDITIONS; MODEL INTEGRATED COMPUTING (MIC); MODEL-DRIVEN ARCHITECTURE (MDA); TERMINATION CRITERIA; TERMINATION PROPERTIES;

GRAPH THEORY;

EID: 34250835570     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2007.04.019     Document Type: Article

References (13)

1. Agrawal, A., Vizhanyo, A., Kalmar, Z., Shi, F., Narayanan, A., Karsai, G: Reusable Idioms and Patterns in Graph Transformation Languages 2004. Proc. 2nd International Workshop on Graph Based Tools (GraBaTs 2004). Satellite workshop of ICGT 2004, Rome, Italy, 2004
2. Assmann U. Graph rewrite systems for program optimization. ACM TOPLAS 22 (2000) 583-637
3. Bottoni P., Koch M., Parisi-Presicce F., and Taentzer G. Termination of High-Level Replacement Units with Application to Model Transformation. VLFM 2004. Electronic Notes of Theoretical Comp. Sci. (ENTCS) vol. 127(4) (2005), Elsevier 71-86
4. Bottoni P., Taentzer G., and Schuerr A. Efficient Parsing of Visual Languages based on Critical Pair Analysis and Contextual Layered Graph Transformation. Proc. Visual Languages (2000), IEEE Computer Society 59-60
5. Ehrig, H., Ehrig, K., de Lara, J., Taentzer, G., Varró, D., Varró-Gyapay, Sz.: "Termination Criteria for Model Transformation", FASE 2005, LNCS, pp. 49-63
6. Ehrig H., Ehrig K., Prange U., and Taentzer G. Fundamentals of Algebraic Graph Transformation. EATCS Monographs in Theoretical Computer Science (2006), Springer
7. de Lara J., and Taentzer G. Automated Model Transformation and its Validation with AToM3 and AGG. DIAGRAMS2004. (Cambridge, UK). Lecture Notes in Artificial Intelligence 2980 (2004), Springer 182-198
8. Lengyel, L., Levendovszky, T., Charaf, H.: "Eliminating Crosscutting Constraints from Visual Model Transformation Rules", ACM/IEEE 7th International Workshop on Aspect-Oriented Modeling, Montego Bay, Jamaica, October 2, 2005
9. Levendovszky T., Lengyel L., Mezei G., and Charaf H. A Systematic Approach to Metamodeling Environments and Model Transformation Systems in VMTS. International Workshop on Graph-Based Tools (GraBaTs) Rome. Electronic Notes in Theoretical Computer Science (2004)
10. Plump D. Termination of graph rewriting is undecidable. Fundamenta Informaticae 33 2 (1998) 201-209
11. VMTS Web Site. http://avalon.aut.bme.hu/~tihamer/research/vmts
12. Taentzer, G., Ehrig, K., Guerra, E., de Lara, J., Lengyel, L., Levendovszky, T., Prange, U., Varró, D., Varró-Gyapay, Sz.: Model Transformation by Graph Transformation: A Comparative Study,ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems, Montego Bay, Jamaica, 2005
13. Varró, D.: Automated Model Transformations for the Analysis of IT Systems. PhD thesis, Budapest University of Technology and Economics, Department of Measurement and Information Systems (2004)