Ensuring structural constraints in graph-based models with type inheritance

Lecture Notes in Computer Science

Volumn 3442, Issue , 2005, Pages 64-79

  Taentzer, Gabriele ^a   Rensink, Arend ^b  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^b UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED ANALYSIS; COMPUTER SCIENCE; CONSTRAINT THEORY; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING;

GRAPH TRANSFORMATION; GRAPH-BASED MODELS; INHERITANCE; MODEL DOMAINS;

GRAPH THEORY;

EID: 24644455404     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31984-9_6     Document Type: Conference Paper

References (14)

1. R. Bardohl, H. Ehrig, J. de Lara, O. Runge, G. Taentzer, and I. Weinhold. Node Type Inheritance Concepts for Typed Graph Transformation. Technical Report 2003-19, Technical University Berlin, Dept. of Computer Science, November 2003.
2. R. Bardohl, H. Ehrig, J. de Lara, and G. Taentzer. Integrating Meta Modelling with Graph Transformation for Efficient Visual Language Definition and Model Manipulation. In M. Wermelinger and T. Margaria-Steffens, editors, Fundamental Aspects of Software Engineering (FASE), volume 2984 of LNCS. Springer, 2004.
3. A. Calœ, D. Calvanese, G. De Giacomo, and M. Lenzerini. A formal framework for reasoning on UML class diagrams. In Int. Symp. on Methodologies for Intelligent Systems (ISMIS 2002), volume 2366 of LNCS, pages 503-513. Springer, 2002.
4. A. Corradini, F. L. Dotti, L. Foss, and L. Ribeiro. Translating Java into graph transformation systems. In Ehrig et al. [7], pages 383-389.
5. A. Corradini, U. Montanari, and F. Rossi. Graph Processes. Special Issue of Fundamenta Infonnaticae, 26(3,4):241-266, 1996.
6. H. Ehrig, K. Ehrig, A. Habel, and K.-H. Pennemann. Constraints and application conditions: From graphs to high-level structures. In Ehrig et al. [7].
7. H. Ehrig, G. Engels, F. Parisi-Presicce, and G. Rozenberg, editors. Second International Conference on Graph Transformation (ICGT), volume 3256 of LNCS. Springer, 2004.
8. A. Habel. Private communication, 2004.
9. R. Heckel and A. Wagner. Ensuring Consistency of Conditional Graph Grammars - A constructive Approach. Proc. of SEGRAGRA'95 "Graph Rewriting and Computation", Electronic Notes of TCS, 2, 1995. http://www.elsevier.nl/ locate/entcs/volume2.html.
10. T. Mens, S. Demeyer, and D. Janssens. Formalising behaviour preserving program transformations. In A. Corradini, H. Ehrig, H.-J. Kreowski, and G. Rozenberg, editors, First International Conference on Graph Transformation (ICGT), volume 2505 of LNCS, pages 286-301. Springer, 2002.
11. OMG. MDA, MOF, UML and OCL specifications. OMG, 2004. at the OMG web page: http://www.omg.org/.
12. pUML. The precise UML group http://www.puml.org/, 2004.
13. A. Rensink. Representing first-order logic using graphs. In Ehrig et al. [7], pages 319-335.
14. D. Varró and A. Pataricza. VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML. Journal of Software and Systems Modelling, 1:1-24, 2003.