Graph transformation modules and their composition

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

Volumn 1779, Issue , 2000, Pages 15-30

  Drewes, Frank ^a   Knirsch, Peter ^a   Kreowski, Hans Jörg ^a   Kuske, Sabine ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BINARY RELATION; EXPORT INTERFACES; GRAPH TRANSFORMATION; GRAPH TRANSFORMATION SYSTEM; TRANSFORMATION MODULES; TRANSFORMATION UNITS;

GRAPH THEORY;

EID: 84974691568     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45104-8_2     Document Type: Conference Paper

References (19)

1. Marc Andries, Gregor Engels, Annegret Habel, Berthold Hoffmann, Hans-Jorg Kreowski, Sabine Kuske, Detlef Plump, Andy Schiirr, and Gabriele Taentzer. Graph transformation for specification and programming. Science of Computer Programming, 34(l):l-54, 1999.
2. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, 1998.
3. Janice E. Cuny, Hartmut Ehrig, Gregor Engels, and Grzegorz Rozenberg, editors. Proc. Graph Grammars and Their Application to Computer Science, volume 1073 of Lecture Notes in Computer Science, 1996.
4. Andrea Corradini, Ugo Montanari, Francesca Rossi, Hartmut Ehrig, Reiko Heckel, and Michael Lowe. Algebraic approaches to graph transformation -part I: Basic concepts and double pushout approach. In Rozenberg [Roz97], chapter 3, pages 163-246.
5. Hartmut Ehrig and Gregor Engels. Pragmatic and semantic aspects of a module concept for graph transformation systems. In Cuny et al. [CEER96], pages 137-154.
6. Hartmut Ehrig, Gregor Engels, Hans-Jorg Kreowski, and Grzegorz Rozenberg, editors. Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 2: Applications, Languages and Tools. World Scientific, Singapore, 1999. To appear.
7. Hartmut Ehrig, Hans-Jorg Kreowski, Ugo Montanari, and Grzegorz Rozenberg, editors. Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 3: Concurrency, Parallelism, and Distribution. World Scientific, Singapore, 1999. To appear.
8. Simon Even, editor. Graph Algorithms. Computer Science Press, Rockville, Maryland, 1979.
9. Martin Grosse-Rhode, Francesco Parisi Presicce, and Marta Simeoni. Refinements and modules for typed graph transformation systems. In Workshop on Algebraic Development Techniques, volume 1589 of Lecture Notes in Computer Science, pages 137-151, 1999.
10. Reiko Heckel, Gregor Engels, Hartmut Ehrig, and Gabriele Taentzer. Classification and comparison of modul concepts for graph transformation systems. In Ehrig et al. [EEKR99]. To appear.
11. Reiko Heckel, Berthold Hoffmann, Peter Knirsch, and Sabine Kuske. Simple modules for GRACE. In Preliminary Proc. Theory and Application of Graph Transformations, 1998.
12. Hans-Jorg Kreowski and Sabine Kuske. On the interleaving semantics of transformation units — a step into GRACE. In Cuny et al. [CEER96], pages 89-108.
13. Hans-Jorg Kreowski and Sabine Kuske. Graph transformation units and modules. In Ehrig et al. [EEKR99]. To appear.
14. Hans-Jorg Kreowski, Sabine Kuske, and Andy Schiirr. Nested graph transformation units. International Journal on Soft,ware Engineering and Knowledge Engineering, 7(4):479-502, 1997.
15. Simon M. Kaplan, Joseph. P. Loyall, and Steven K. Goering. Specifying Concurrent Languages and Systems with zi-Grammars. In Hartmut Ehrig, Hans-Jorg Kreowski, and Grzegorz Rozenberg, editors, Proc. 4th. Int. Workshop on Graph Grammars and their Application to Computer Science, volume 532 of Lecture Notes in Computer Science, pages 475-489. Springer-Verlag, 1991.
16. Sabine Kuske. More about control conditions for transformation units. In Preliminary Proc. Theory and Application of Graph Transformations, 1998. Grzegorz Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 1: Foundations. World Scientific, Singapore, 1997.
17. Andy Schiirr and Andreas Winter. UML packages for PROgrammed Graph REwriting systems. In Preliminary Proc. Theory and Application of Graph Transformations, 1998.
18. Gabriele Taentzer. Hierarchically distributed graph transformation. In Cuny et al. [CEER96], pages 304-320.
19. Gabriele Taentzer and Andy Schiirr. DIEGO, another step towards a module concept for graph transformation systems. In A. Corradini and U. Mon-tanari, editors, SEGRAGRA ’95, Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, volume 2. Elsevier, 1995.