Graph transformation as a conceptual and formal framework for system modeling and model evolution

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1853, Issue , 2000, Pages 127-150

  Engels, Gregor ^a   Heckel, Reiko ^a  

^a UNIVERSITY OF PADERBORN   (Germany)

Author keywords

Hierarchical graphs; Model evolution; System modeling; Typed graph transformation

Indexed keywords

AUTOMATA THEORY; GRAPH THEORY;

CONCEPTUAL STRUCTURES; DISTRIBUTED SOFTWARE SYSTEM; FORMAL FRAMEWORK; GRAPH TRANSFORMATION; HIERARCHICAL GRAPHS; MODEL EVOLUTION; SYSTEM MODELING; SYSTEM'S DYNAMICS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 84974625922     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45022-x_12     Document Type: Conference Paper

References (53)

1. M. Andries, G. Engels, A. Habel, B. Hoffmann, H.-J. Kreowski, S. Kuske, D. Plump, A. Schürr, and G. Taentzer. Graph transformation for specification and programming. Science of Computer Programming, 34:1-54, 1999.
2. P. Baldan, A. Corradini, H. Ehrig, M. Löwe, U. Montanari, and F. Rossi. Concurrent semantics of algebraic graph transformation. In Ehrig et al. [16].
3. J.A. Bergstra and J.W. Klop. Process algebra for synchronous communication. Information and Control, 60(1-3):109-137, 1984.
4. G. Berry and G. Boudol. The chemical abstract machine. Theoret. Comput. Sci., 96(1):217-248, 1992.
5. M.R. Berthold, I. Fischer, and Koch M. Attributed graph transformation with partial attribution. In H. Ehrig and G. Taentzer, editors, Joint APPLIGRAPH and GETGRATS Workshop on Graph Transformation Systems (GraTra2000). Tech. Univ. of Berlin, March 2000. Tech. Report 2000-2, Dept. of Comp. Sci.
6. G. Busatto, G. Engels, K. Mehner, and A. Wagner. A framework for adding packages to graph transformation approaches. In Ehrig et al. [15].
7. Microsoft Corp. Distributed component object model protocol-DCOM, V 1.0, 1998. http://www.microsoft.com/com/tech/dcom.asp.
8. A. Corradini, R. Heckel, and U. Montanari. Graphical operational semantics. In Proc. ICALP2000 Workshop on Graph Transformation and Visual Modelling Techniques, Geneva, Switzerland. Carleton Scientific, July 2000.
9. A. Corradini, U. Montanari, and F. Rossi. Graph processes. Fundamenta Infor-maticae, 26(3,4):241-266, 1996.
10. A. Corradini, 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 [47].
11. B. Courcelle. The expression of graph properties and graph transformations in monadic second-order logic. In Rozenberg [47].
12. F. Drewes, B. Hoffmann, and D. Plump. Hierarchical graph transformation. In J. Tiuryn, editor, Foundations of Software Science and Computation Structures (FoSSACS’00), Berlin, Germany, volume 1784 of LNCS. Springer Verlag, March/April 2000.
13. F. Drewes, H.-J. Kreowski, and A. Habel. Hyperedge replacement graph grammars. In Rozenberg [47].
14. 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. World Scientific, 1999.
15. H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, editors. Proc. 6th Int. Workshop on Theory and Application of Graph Transformation (TAGT’98), Paderborn, November 1998, volume 1764 of LNCS. Springer Verlag, 2000.
16. H. Ehrig, H.-J. Kreowski, U. Montanari, and G. Rozenberg, editors. Handbook of Graph Grammars and Computing by Graph Transformation, Volume 3: Concur-rency and Distribution. World Scientific, 1999.
17. H. Ehrig and M. Löwe. Categorical principles, techniques and results for high-level replacement systems in computer science. Applied Categorical Structures, 1(1):21-50, 1993.
18. H. Ehrig, M. Pfender, and H.J. Schneider. Graph grammars: an algebraic approach. In 14th Annual IEEE Symposium on Switching and Automata Theory, pages 167-180. IEEE, 1973.
19. G. Engels, J.H. Hausmann, R. Heckel, and St. Sauer. Dynamic meta modeling: A graphical approach to the operational semantics of behavioral diagrams in UML. Submitted.
20. G. Engels, R. Heckel, and St. Sauer. UML-A universal modeling language? In Proc. 21st Int. Conference on Application and Theory of Petri Nets (Petri Nets 2000), Aarhus, Denmark, LNCS. Springer Verlag, June 2000. To appear.
21. G. Engels and A. Schürr. Hierarchical graphs, graph types and meta types. Proc. of SEGRAGRA’95”Graph Rewriting and Computation”, Electronic Notes of TCS, 2, 1995. http://www.elsevier.nl/locate/entcs/volume2.html.
22. C. Ermel, M. Rudolf, and G. Taentzer. The AGG approach: Language and tool environment. In Engels et al. [14].
23. T. Fischer, J. Niere, L. Torunski, and A. Zündorf. Story diagrams: A new graph transformation language based on UML and Java. In Ehrig et al. [15].
24. C. Ghezzi, M. Jazayeri, and D. Mandrioli. Fundamentals of Software Engineering. Prentice Hall Int., 1991.
25. M. Große-Rhode, F. Parisi Presicce, and M. Simeoni. Refinement of graph trans-formation systems via rule expressions. In Ehrig et al. [15].
26. Object Management Group. Meta object facility (MOF) specification, 1999. http://www.omg.org.
27. Object Management Group. OMG Unified Modeling Language Specification, V 1. 3, 1999. http://www.omg.org.
28. The Object Management Group. The common object request broker: Architecture and specification, v. 3.0, 2000. http://www.omg.org.
29. R. Heckel, A. Corradini, H. Ehrig, and M. Löwe. Horizontal and vertical structuring of typed graph transformation systems. Math. Struc. in Comp. Science, 6(6):613-648, 1996.
30. R. Heckel, G. Engels, H. Ehrig, and G. Taentzer. Classification and comparison of modularity concepts for graph transformation systems. In Engels et al. [14].
31. R. Heckel, G. Engels, H. Ehrig, and G. Taentzer. A view-based approach to system modelling based on open graph transformation systems. In Engels et al. [14].
32. R. Heckel, B. Hoffmann, P. Knirsch, and S. Kuske. Simple modules for GRACE. In Ehrig et al. [15].
33. 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.
34. C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
35. Sun Microsystems Inc. Java card applet developer’s guide. http://java.sun.com/products/javacard21.html, 1998.
36. Sun Microsystems Inc. Java remote method invocation. http://java.sun.com/products/jdk/rmi, 1998.
37. C.-A. Krapp, S. Krüppel, A. Schleicher and B. Westfechtel. UML packages for PROgrammed Graph REwrite Systems. In Ehrig et al. [15].
38. M. Löwe. Evolution patterns. Postdoctoral thesis, Technical University of Berlin. Tech. Report 98-4, Dept. of Comp. Sci, 1997.
39. M. Löwe, M. Korff, and A. Wagner. An algebraic framework for the transformation of attributed graphs. In M.R. Sleep, M.J. Plasmeijer, and M.C. van Eekelen, editors, Term Graph Rewriting: Theory and Practice, chapter 14, pages 185-199. John Wiley & Sons Ltd, 1993.
40. S. Mac Lane. Categories for the Working Mathematician, volume 5 of Graduate Texts in Mathematics. Springer, New York, 1971.
41. J. Meseguer. Conditional rewriting logic as a unified model of concurrency. Theoret. Comput. Sci., 96:73-155, 1992.
42. R. Milner. Communication and Concurrency. Prentice-Hall, 1989.
43. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes. Information and Computation, 100:1-77, 1992.
44. G. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Aarhus University, Computer Science Department, 1981.
45. T.W. Pratt. Definition of programming language semantics using grammars for hierarchical graphs. In H. Ehrig, V. Claus, and G. Rozenberg, editors, 1st Int. Workshop on Graph Grammars and their Application to Computer Science and Biology, LNCS 73, volume 73 of LNCS. Springer Verlag, 1979.
46. W. Reisig. Petri Nets, volume 4 of EATCS Monographs on Theoretical Computer Science. Springer Verlag, 1985.
47. G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations. World Scientific, 1997.
48. H.-J. Schneider. On categorical graph grammars integrating structural transfor-mation and operations on labels. Theoret. Comput. Sci., 109:257-274, 1993.
49. A. Schürr and A.J. Winter. UML packages for PROgrammed Graph REwrite Systems. In Ehrig et al. [15].
50. A. Schürr, A.J. Winter, and A. Zundorf. The PROGRES approach: Language and environment. In Engels et al. [14].
51. M. Shaw and D. Garlan. Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall, 1996.
52. G. Taentzer, I. Fischer, M. Koch, and V. Volle. Distributed graph transformation with application to visual design of distributed systems. In Ehrig et al. [16].
53. Andreas Zamperoni and Gregor Engels. Formal integration of software engineering aspects using graph rewrite systems-a typical experience? In A. Schurr M. Nagl, editor, Proc. Applications of Graph Transformations With Industrial Relevance (AGTIVE), Kerkrade (The Netherlands), September 1-3, 1999, LNCS. Springer Verlag, 2000. To appear.