How to specify a graph transformation approach: A meta model for FUJABA

Electronic Notes in Theoretical Computer Science

Volumn 44, Issue 4, 2001, Pages 41-51

  Heckel, Reiko ^a   Zündorf, Albert ^a  

^a UNIVERSITY OF PADERBORN   (Germany)

Author keywords

Fujaba; Graph transformation and graph grammars; Meta modeling

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; GRAPH THEORY; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; MATHEMATICAL TRANSFORMATIONS; SEMANTICS;

FUJABA; GRAPH TRANSFORMATION AND GRAPH GRAMMARS; META MODELING; METAGRAPH;

DATA STRUCTURES;

EID: 18944397150     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80942-3     Document Type: Conference Paper

References (15)

1. Corradini A., Heckel R., Montanari U. Graphical operational semantics. Corradini A., Heckel R. Proc. ICALP2000 Workshop on Graph Transformation and Visual Modelling Techniques. 2000;. http://www.uni-paderborn.de/cs/ag-engels/ Papers/2000/CorradiniGTVMTOO.pdf
2. Corradini A., Montanari U., Rossi F. Graph processes. Fundamenta Informaticae. 26:1996;241-266
3. Corradini A., U. Montanari, F. Rossi, H. Ehrig, R. Heckel, and M. Löwe, Algebraic approaches to graph transformation, Part I: Basic concepts and double pushout approach, in: Rozenberg [15] pp. 163-245.
4. Ehrig H., M. Pfender and H. Schneider, Graph grammars: an algebraic approach, in: 14th Annual IEEE Symposium on Switching and Automata Theory (1973), pp. 167-180.
5. Gregor Engels, Jan Hendrik Hausmann, Reiko Heckel, and Stefan Sauer. Dynamic meta modeling: A graphical approach to the operational semantics of behavioral diagrams in UML, in: A. Evans, S. Kent and B. Selic, editors, Proc. UML 2000, York, UK, LNCS 1939 (2000), pp. 323-337.
6. Fischer T., Niere J., Torunski L., Züdorf A. Story diagrams: A new graph transformation language based on UML and Java. Ehrig H., Engels G., Kreowski H.-J., Rozenberg G. Proc. 6th Int. Workshop on Theory and Application of Graph Transformation (TAGT'98), Paderborn, November 1998. LNCS 1764 :2000
7. Gausemeier J., U. Glasser, W. Scháfer and (project managers), Integrative specification of distributed control systems for the flexible automated manufacturing, www.upb.de/cs/isileit, funded by the German Research Foundation (DFG).
8. Habel A., Heckel R., Taentzer G. Graph grammars with negative application conditions. Fundamenta Informaticae. 26:1996;287-313
9. Heckel R., Sauer S. Strengthening UML collaboration diagrams by state transformations. Hußmann H. Proc. Fundamental Approaches to Software Engineering (FASE'2001). LNCS :2001;Genova, Italy
10. Löwe M., Korff M., Wagner A. An algebraic framework for the transformation of attributed graphs. Sleep M., Plasmeijer M., van Eekelen M. Term Graph Rewriting: Theory and Practice. 1993;185-199 John Wiley & Sons Ltd
11. Milner R. "Communication and Concurrency" 1989;Prentice-Hall
12. Object Management Group, Meta object facility (MOF) specification (1999), http://www.omg.org.
13. Object Management Group, UML specification version 1.3 (1999), http://www.omg.org.
14. Plotkin G., A structural approach to operational semantics, Technical Report DAIMI FN-19, Aarhus University, Computer Science Department (1981)
15. Rozenberg G. "Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations," 1997;World Scientific