Distributed graph transformation units

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

Volumn 2505, Issue , 2002, Pages 207-222

  Knirsch, Peter ^a   Kuske, Sabine ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

GRAPHIC METHODS; SEMANTICS;

CONCURRENT SEMANTICS; DISTRIBUTED GRAPH TRANSFORMATION; DISTRIBUTED TRANSFORMATION UNITS; GRAPH TRANSFORMATION SYSTEM; INTERFACE UNITS; LOCAL TRANSFORMATIONS; SIMPLE GAMES; TRANSFORMATION UNITS;

GRAPH THEORY;

EID: 84937209038     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45832-8_17     Document Type: Conference Paper

References (29)

1. Marc Andries, Gregor Engels, Annegret Habel, Berthold Hoffmann, Hans-Jörg Kreowski, Sabine Kuske, Detlef Plump, Andy Schürr, and Gabriele Taentzer. Graph transformation for specification and programming. Science of Computer Programming, 34(1):1–54, 1999.
2. Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, and Francesca Rossi. Concurrent semantics of algebraic graph transformations. In Ehrig et al. [8], pages 107–185.
3. Giorgio Busatto, Gregor Engels, Katharina Mehner, and Annika Wagner. A framework for adding packages to graph transformation systems. In Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, and Grzegorz Rozenberg, editors, Proc. Theory and Application of Graph Transformations, volume 1764 of LNCS, pages 352–367, 2000.
4. Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Michael Löwe, Ugo Montanari, and Francesca Rossi. Algebraic approaches to graph transformation part I: Basic concepts and double pushout approach. In Rozenberg [25].
5. Frank Drewes, Berthold Hoffmann, and Detlef Plump: Hierarchical graph transformation. Journal of Computer and System Sciences, 2002. To appear; short version in Proc. FOSSACS 2000, LNCS 1784.
6. Hartmut Ehrig, Paul Boehm, Udo Hummert, and Michael Löwe. Distributed parallelism of graph transformations. In Proc. Graph-Theoretic Concepts in Conmputer Science, volume 314 of lncs, pages 1–19, 1988.
7. Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, and Grzegorz Rozenberg, editors. Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 2: Applications, Languages and Tools. World Scientific, Singapore, 1999.
8. Hartmut Ehrig, Hans-Jörg 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.
9. Gregor Engels and Reiko Heckel. Graph transformation as unifying formal framework for system modeling and model evolution. In Proc. ICAPL 2000, 2000.
10. Gregor Engels and Andy Schuerr. Encapsulated hierachical graphs, graph types, and meta types. In SEGRAGRA’95, volume 2 of Electronic Notes in Theoretical Computer Science. Elsevier, 1995.
11. Martin Faust. The GRACEland web page. URL: http://www.informatik.uni-bremen.de/theorie/GRACEland, 1998.
12. Reiko Heckel: Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems. PhD thesis, TU Berlin, 1998.
13. Reiko Heckel, Gregor Engels, Hartmut Ehrig, and Gabriele Taentzer. Classification and comparison of module concepts for graph transformation systems. In Ehrig et al. [7], pages 639–689.
14. Dirk Janssens. Actor grammars and local actions. In Ehrig et al. [8], pages 57–106.
15. Hans-Jörg Kreowski. A sight-seeing tour of the computational landscape of graph transformation. In Wilfried Brauer, Hartmut Ehrig, Juhani Karhumäki, and Arto Salomaa, editors, Formal and Natural Computing. Essays Dedicated to Grzegorz Rozenberg, volume 2300 of LNCS, pages 119–137. Springer, 2002.
16. Hans-Jörg Kreowski, Giorgio Busatto, Renate Klempien-Hinrichs, Peter Knirsch, and Sabine Kuske. Structured modeling with grace. In M. Bauderon and A. Corradini, editors, Proc. GETGRATS Closing Workshop, volume 51 of Electronic Notes in Theoretical Computer Science. Elsevier, 2002. 13 pages.
17. Hans-Jörg Kreowski and Sabine Kuske. Graph transformation units and modules. In Ehrig et al. [7], pages 607–638.
18. Hans-Jörg Kreowski and Sabine Kuske. Graph transformation units with interleaving semantics. Formal Aspects of Computing, 11(6):690–723, 1999.
19. Hans-Jörg Kreowski, Sabine Kuske, and Andy Schürr. Nested graph transformation units. International Journal on Software Engineering and Knowledge Engineering, 7(4):479–502, 1997.
20. Sabine Kuske. More about control conditions for transformation units. In Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, and Grzegorz Rozenberg, editors, Proc. Theory and Application of Graph Transformations, volume 1764 of LNCS, pages 323–337, 2000.
21. Sabine Kuske. Transformation Units—A structuring Principle for Graph Transformation Systems. PhD thesis, University of Bremen, 2000.
22. Igor Litovski, Yves Métivier, and Éric Sopena. Graph relabelling systems and distributed algorithms. In Ehrig et al. [8], pages 1–56.
23. Ugo Montanari, Marco Pistore, and Francesca Rossi. Modeling concurrent, mobile and coordinated systems via graph transformations. In Ehrig et al. [8], pages 189–268.
24. Terrence W. Pratt. Definition of programming language semantics using grammars for hierarchical graphs. In Volker Claus, Hartmut Ehrig, and Grzegorz Rozenberg, editors, Proc. Graph Grammars and Their Application to Computer Science and Biology, volume 73 of LNCS, pages 389–400, 1979.
25. Grzegorz Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 1: Foundations. World Scientific, Singapore, 1997.
26. H.-J. Schneider. Describing systems of processes by means of high-level replacement. In Ehrig et al. [8], pages 401–450.
27. Andy Schürr. Programmed graph transformations and graph transformation units in GRACE. In Janice E. Cuny, Hartmut Ehrig, Gregor Engels, and Grzegorz Rozenberg, editors, Proc. Graph Grammars and Their Application to Computer Science, volume 1073 of LNCS, pages 122–136, 1996.
28. Gabriele Taentzer. Parallel and Distributed Graph Transformation: Formal Description and Application to Communication-Based Systems. PhD thesis, TU Berlin, Shaker Verlag, 1996.
29. Gabriele Taentzer, Manuel Koch, Ingrid Fischer, and Victor Volle. Distributed graph transformation with application to visual design of distributed systems. In Ehrig et al. [8], pages 269–340.