Overview of formal concepts for model transformations based on typed attributed graph transformation

Electronic Notes in Theoretical Computer Science

Volumn 152, Issue 1-2, 2006, Pages 3-22

  Ehrig, Hartmut ^a   Ehrig, Karsten ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

Formal concepts; Graph transformation; Model transformation; Overview; Typed attributed graph transformation

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; SEMANTICS;

FORMAL CONCEPTS; GRAPH TRANSFORMATION; MODEL TRANSFORMATION; OVERVIEW; TYPED ATTRIBUTED GRAPH TRANSFORMATION;

GRAPH THEORY;

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

References (27)

1. A. Agrawal, G. Karsai, Z. Kalmar, S. Neema, F. Shi, and A. Vizhanyo The design of a simple language for graph transformations, journal in software and system modeling Journal on Software and System Modeling 2005 in review
2. ArcStyler http://www.arcstyler.com
3. R. Bardohl. GenGEd - A Generic Graphical Editor for Visual Languages based on Algebraic Graph Grammars. In Proc. IEEE Symposium on Visual Languages (VL'98), pages 48-55, 1998
4. R. Bardohl, H. Ehrig, K. Ehrig, J. de Lara, U. Prange, and G. Taentzer. Attributed graph transformation with node type inheritance. In Technical Report 2005/3. Technical University Berlin, 2005. Short version to appear in Proceedings VLHCC'05
5. 3 and agg DIAGRAMS'2004 (Cambridge, UK) Lecture Notes in Artificial Intelligence 2980 2004 Springer 182 198 2
6. H. Ehrig and K. Ehrig. Towards Graph-OCL-Constraints. Technical report, Technical Report, TU Berlin, to appear, 2005
7. H. Ehrig, K. Ehrig, J. de Lara, G. Taentzer, D. Varró, and S. Varró-Gyapay Termination criteria for model transformation M. Wermelinger T. Margaria-Steffen Proc. Fundamental Approaches to Software Engineering (FASE) Lecture Notes in Computer Science volume 2984 2005 Springer Verlag 214 228
8. H. Ehrig, K. Ehrig, A. Habel, and K.-H. Pennemann Constraints and Application Conditions: From Graphs to High-Level Structures H. Ehrig G. Engels F. Parisi-Presicce G. Rozenberg Proceedings of ICGT 2004 LNCS volume 3256 2004 Springer 287 303
9. H. Ehrig G. Engels H.-J. Kreowski G. Rozenberg Handbook of Graph Grammars and Computing by Graph Transformation, Vol 2: Applications, Languages and Tools 1999 World Scientific
10. H. Ehrig, K. Ehrig, U. Prange, and G. Taentzer. Fundamentals of Algebraic Graph Transformation. EATCS Monographs in TCS, Springer to appear, 2005
11. H. Ehrig H.-J. Kreowski U. Montanari G. Rozenberg Handbook of Graph Grammars and Computing by Graph Transformation, Vol 3: Concurrency, Parallelism and Distribution 1999 World Scientific
12. H. Ehrig, and B. Mahr Fundamentals of Algebraic Specification 1: Equations and Initial Semantics EATCS Monographs in TCS 1985 Springer
13. H. Ehrig, U. Prange, and G. Taentzer Fundamental Theory for Typed Attributed Graph Transformation H. Ehrig G. Engels F. Parisi-Presicce G. Rozenberg Proceedings of ICGT 2004 LNCS volume 3256 2004 Springer 161 177
14. Szilvia Gyapay. Model transformation from general resource models to petri nets using graph transformation. In Technical Report 2004/19. Technical University Berlin, 2004
15. R. Heckel, J. Küster, and G. Taentzer Confluence of Typed Attributed Graph Transformation Systems A. Corradini H. Ehrig H.-J. Kreowski G. Rozenberg Proceedings of ICGT 2002 LNCS volume 2505 2002 Springer 161 176
16. R. Heckel, and A. Wagner Ensuring Consistency of Conditional Graph Rewriting - a Constructive Approach Proceedings of SEGRAGRA 1995 ENTCS volume 2 1995
17. J.M. Küster, R. Heckel, and G. Engels Defining and Validating Transformations of UML Models J. Hosking P. Cox IEEE Symposium on Human Centric Computing Languages and Environments, Proceedings (HCC 2003) - Auckland, October 28 - October 31 2003, Auckland, New Zealand 2003 IEEE Computer Society 145 152
18. M. Minas and G. Viehstaedt. Diagen: A generator for diagram editors providing direct manipulation and execution of diagrams. In Proc. IEEE Symp. on Visual Languages, pages 203-210, Darmstadt, Germany, September, 5-9 1995
19. Object Management Group - OMG Meta-Object Facility (MOF) http://www.omg.org/mof
20. Object Management Group - OMG Model Driven Architecture (MDA) http://www.omg.org/mda
21. IBM Rational. XDE Developer http://www.rational.com/products/xde
22. G. Rozenberg Handbook of Graph Grammars and Computing by Graph Transformation, Vol 1: Foundations 1997 World Scientific
23. A. Rensink, and G. Taentzer Ensuring structural constraints in graph-based models with type in heritance M. Wermelinger T. Margaria-Steffen Proc. Fundamental Approaches to Software Engineering (FASE) Lecture Notes in Computer Science volume 2984 2005 Springer Verlag
24. G. Taentzer. Graph Transformation in Software Engineering, Internal Report TU-Berlin, 2005
25. UML. Unified Modeling Language - Version 2.0 http://www.uml.org
26. D. Varró and A. Pataricza. Automated formal verification of model transformations. In Jan Jürjens, Bernhard Rumpe, Robert France, and Eduardo B. Fernandez, editors, CSDUML 2003: Critical Systems Development in UML; Proceedings of the UML'03 Workshop, number TUM-I0323 in Technical Report, pages 63-78. Technische Universität München, September 2003
27. D. Varró, G. Varró, and A. Pataricza Designing the automatic transformation of visual languages Science of Computer Programming 44 2 2002 205 227