Formal integration of inheritance with typed attributed graph transformation for efficient VL definition and model manipulation

Proceedings - 2005 IEEE Symposium on Visual Languages and Human-Centric Computing

Volumn 2005, Issue , 2005, Pages 71-78

  Ehrig, Hartmut ^a   Ehrig, Karsten ^a   Prange, Ulrike ^a   Taentzer, Gabriele ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; GRAPH THEORY; MATHEMATICAL MODELS; METADATA; SYNTACTICS;

GRAPH TRANSFORMATION; META-MODELING; UNIFIED MODELING LANGUAGE (UML);

COMPUTER GRAPHICS;

EID: 33746544134     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/VLHCC.2005.37     Document Type: Conference Paper

References (14)

1. R. Bardohl, H. Ehrig, J. de Lara, and G. Taentzer. Integrating meta modelling aspects with graph transformation for efficient visual language definition and model manipulation. In M. Wermelinger and T. Margaria-Steffens, editors, Proc. Fundamental Aspects of Software Engineering 2004. Springer LNCS 2984, 2004.
2. R. Bardohl, G. Taentzer, M. Minas, and A. Schürr. Application of Graph Transformation to Visual Languages. In H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, editors, Handbook of Graph Grammars and Computing by Graph Transformation, Volume 2: Applications, Languages and Tools, pages 105-181. World Scientific, 1999.
3. L. Baresi and M. Pezze. A Toolbox for Automating Visual Software Engineering. In R. Kutsche and H. Weber, editors, Proc. Fundamental Approaches to Software Engineering (FASE'02), Grenoble, April 2002, pages 189-202. Springer LNCS 2306, 2002.
4. P. Bottom, A. Schürr, and G. Taentzer. Efficient Parsing of Visual Languages based on Critical Pair Analysis and Contextual Layered Graph Transformation. In Proc. IEEE Symposium on Visual Languages, September 2000. Long version available as technical report SI-2000-06, University of Rom.
5. 3: A Tool for Multi-Formalism Modelling and Meta-Modelling. In R. Kutsche and H. Weber, editors, Proc. Fundamental Approaches to Software Engineering (FASE'02), Grenoble, April 2002, pages 174-188. Springer LNCS 2306, 2002.
6. H. Ehrig, K. Ehrig, U. Prange, and G. Taentzer. Attributed type graphs with inheritance. In Technical Report 2005/3. Technical University Berlin, 2005.
7. H. Ehrig, U. Prange, and G. Taentzer. Fundamental theory for typed attributed graph transformation. In F. Parisi-Presicce, P. Bottoni, and G. Engels, editors, Proc. 2nd Int. Conference on Graph Transformation (ICGT'04), Rom e, Italy, pages 161-177. LNCS 3256, Springer, October 2004.
8. R. Heckel, J. Küster, and G. Taentzer. Confluence of Typed Attributed Graph Transformation Systems. In A. Corradini, H. Ehrig, H.-J. Kreowski, and G. Rozenberg, editors, Proceedings of ICGT 2002, volume 2505 of LNCS, pages 161-176. Springer, 2002.
9. R. Heckel, J. Küster, and G. Taentzer. Towards Automatic Translation of UML Models into Semantic Domains. In H.-J. Kreowski, editor, Proc. of APPLIGRAPH Workshop on Applied Graph Transformation (ACT 2002), pages 11-22, 2002.
10. R. Heckel and A. Wagner. Ensuring Consistency of Conditional Graph Rewriting - a Constructive Approach. In Proceedings of SEGRAGRA 1995, volume 2 of ENTCS, 1995.
11. K. Marriott and B. Meyer. Visual Language Theory. Springer, 1998.
12. Object Management Group (OMG). MDA, MOF and UML specifications at the OMG web page. URL: http://www.omg.org.
13. D. Varro. A formal semantics of UML statecharts by model transition systems. In A. Corradini, H. Ehrig, H. Kreowski, and G. Rozenberg, editors, Proc. International Conference on Graph Transformation (ICGT'02), Barcelona, 2002, pages 378-392. Springer LNCS 2505, 2002.
14. J. B. Warmer and A. Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley Object Technology Services, 1998.