Attributed graph transformation with node type inheritance

Theoretical Computer Science

Volumn 376, Issue 3, 2007, Pages 139-163

  de Lara, Juan ^a   Bardohl, Roswitha ^b   Ehrig, Hartmut ^c   Ehrig, Karsten ^d   Prange, Ulrike ^c   Taentzer, Gabriele ^c  

^a UNIVERSIDAD AUTÓNOMA DE MADRID   (Spain)

^b Intern Center for Computer Science   (Germany)

^c TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^d UNIVERSITY OF LEICESTER   (United Kingdom)

Author keywords

Double pushout approach; Graph transformation; Meta modelling; Visual languages

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; METADATA; OBJECT ORIENTED PROGRAMMING;

DOUBLE PUSHOUT APPROACH; GRAPH TRANSFORMATION; META-MODELING; VISUAL LANGUAGES;

GRAPH THEORY;

EID: 34247352506     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2007.02.001     Document Type: Article

References (34)

1. A. Agrawal, G. Karsai, F. Shi, Graph transformations on domain-specific models, Technical Report ISIS-03-403 of the Institute for Software Integrated Systems, Vanderbilt University, November, 2003
2. Bardohl R., Ehrig H., de Lara J., and Taentzer G. Integrating meta modelling aspects with graph transformation for efficient visual language definition and model manipulation. Proc. FASE'04. LNCS vol. 2984 (2004), Springer 214-228
3. Bardohl R. A visual environment for visual languages. Science of Computer Programming 44 (2002) 181-203
4. Bardohl R., Taentzer G., Minas M., and Schürr A. Application of graph transformation to visual languages. In: Ehrig H., Engels G., Kreowski H.-J., and Rozenberg G. (Eds). Handbook of Graph Grammars and Computing by Graph Transformation, Volume 2 (1999), World Scientific 105-181
5. Baresi L., and Pezze M. A toolbox for automating visual software engineering. Proc. FASE'02. LNCS vol. 2306 (2002), Springer 189-202
6. Booch G. Object Oriented Design (1991), Benjamin-Cummings
7. P. Bottoni, G. Taentzer, A. Schürr, Efficient parsing of visual languages based on critical pair analysis and contextual layered graph transformation, in: Proc. IEEE International Symposium on Visual Languages, VL'00, 2000, pp. 59-60
8. Corradini A., Montanari U., and Rossi F. Graph processes. Fundamenta Informaticae 26 3-4 (1996) 241-265
9. Ehrig H., Ehrig K., Prange U., and Taentzer G. Fundamentals of Algebraic Graph Transformation. Monographs in Theoretical Computer Science (2006), Springer
10. H. Ehrig, K. Ehrig, U. Prange, G. Taentzer, Formal integration of inheritance with typed attributed graph transformation for efficient vl definition and model manipulation, in: Proc. 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Dallas, USA, 2005, pp. 71-78
11. Ehrig H., Ehrig K., de Lara J., Taentzer T., Varró D., and Varró-Gyapay S. Termination criteria for model transformation. Proc. FASE'05. LNCS vol. 3442 (2005), Springer 49-63
12. Ehrig H., Prange U., and Taentzer G. Fundamental theory for typed attributed graph transformation. Proc. ICGT'04. LNCS vol. 3256 (2004), Springer 161-177
13. Ehrig H., Ehrig K., Habel A., and Pennemann K.-H. Constraints and application conditions: From graphs to high-level structures. Proc. ICGT'04. LNCS vol. 3256 (2004), Springer 287-303
14. Ehrig H., Engels G., Kreowski H.-J., and Rozenberg G. Handbook of Graph Grammars and Computing by Graph Transformation. Vol 1. Foundations (1999), World Scientific
15. Ehrig H., and Mahr B. Fundamentals of Algebraic Specifications 1: Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science vol. 6 (1985), Springer
16. Fischer T., Niere J., Torunski L., and Zuendorf A. Story diagrams: A new graph rewrite language based on the unified modeling language. Proc. TAGT'98. LNCS vol. 1764 (1998), Springer 296-309. http://www.fujaba.de See also the Fujaba home page
17. H. Heckel, J. Küster, G. Taentzer, Towards automatic translation of UML models into semantic domains, in: Proc. AGT 2002, 2002, pp. 11-22
18. Heckel R., Küster J., and Taentzer G. Confluence of typed attributed graph transformation systems. Proc. ICGT'02. LNCS vol. 2505 (2002), Springer 161-176
19. Heckel H., and Wagner A. Ensuring Consistency of Conditional Graph Grammars - A Constructive Approach. ENTCS vol. 2 (1995), Elsevier
20. J. de Lara, R. Bardohl, H. Ehrig, K. Ehrig, U. Prange, G. Taentzer, Attributed graph transformation with node type inheritance: Long version. Technical Report 2005/3, TU Berlin, 2005
21. de Lara J., and Vangheluwe H. Defining visual notations and their manipulation through meta-modelling and graph transformation. Domain-Specific Modeling with Visual Languages. Journal of Visual Languages and Computing 15 3-4 (2004) 309-330 (special issue)
22. 3 home page
23. Lüdtke A.P., and Ribeiro L. Derivations in object oriented grammars. Proc. ICGT'04. LNCS vol. 3256 (2004), Springer 416-430
24. Marriot K., and Meyer B. Visual Language Theory (1998), Springer
25. Mens T., Demeyer S., and Janssens D. Formalising behaviour preserving program transformations. Proc. ICGT'02. LNCS vol. 2505 (2002), Springer 286-301
26. MDA, MOF and UML specifications at the OMG web page: http://www.omg.org
27. Schürr A. Introduction to PROGRES, an attribute graph grammar based specification language. Proc. WG89. LNCS vol. 411 (1990), Springer 151-165
28. A. Schürr, Programmed graph replacement systems, in: [14], 1999, pp. 479-546
29. Sprinkle J., and Karsai G. A domain-specific visual language for domain model evolution. Journal of Visual Languages and Computing 15 3-4 (2004) 291-307
30. Taentzer G., and Rensink A. Ensuring structural constraints in graph-based models with type inheritance. Proc. FASE'05. LNCS vol. 2984 (2005), Springer 64-79
31. Taentzer G. AGG: A graph transformation environment for modeling and validation of software. Proc. AGTIVE'03. LNCS vol. 3062 (2003), Springer 446-453. http://tfs.cs.tu-berlin.de/agg/ See also the AGG home page
32. Varro D., and Pataricza A. Generic and meta-transformations for model transformation engineering. Proc. UML'04. LNCS vol. 3273 (2004), Springer 290-304
33. Varro D., and Pataricza A. VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML (The Mathematics of Metamodeling is Metamodeling Mathematics). Software and Systems Modeling 2 3 (2003) 187-210
34. Varro D. A formal semantics of UML Statecharts by model transition systems. Proc. ICGT'02. LNCS vol. 2505 (2002), Springer 378-392