Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Applications of Graph Transformations with Industrial Relevance

AGTIVE 1999: Applications of Graph Transformations with Industrial Relevance pp 15–30Cite as

Graph Transformation Modules and Their Composition

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1779))

Abstract

In this paper, we investigate the notion of transformation modules as a structuring principle for the specification of graph transformation systems which provide a collection of operations on graphs. Based on the notion of transformation units, a concept that allows to specify binary relations on graphs, a transformation module consists of a set of transformation units. To be able to distinguish between hidden and public operations, a module has an export interface. Moreover, there may be an import interface and a formal parameter. The import interface allows the use of transformation units which are known in the environment of a module. The formal parameter consists of formal parameter units which specify operations on graphs in a loose way. A formal parameter unit may be instantiated by an exported transformation unit of another module through module composition.

Partially supported by the EC TMR Network GETGRATS (General Theory of Graph Transformation Systems) and the ESPRIT Working Group APPLIGRAPH through the University of Bremen.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [AEH+99]_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.

    Article  MATH  MathSciNet  Google Scholar 

  2. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, 1998.

    Google Scholar 

  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.

    Google Scholar 

  4. [CMR+97]_Andrea Corradini, Ugo Montanari, Francesca Rossi, Hartmut Ehrig, Reiko Heckel, and Michael Löwe. Algebraic approaches to graph transformation-part I: Basic concepts and double pushout approach. In Rozenberg [Roz97], chapter 3, pages 163–246.

    Google Scholar 

  5. Hartmut Ehrig and Gregor Engels. Pragmatic and semantic aspects of a module concept for graph transformation systems. In 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 Cuny et al. [CEER96], pages 137–154.

    Chapter  Google Scholar 

  6. 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. To appear.

    MATH  Google Scholar 

  7. 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. To appear.

    MATH  Google Scholar 

  8. Simon Even, editor. Graph Algorithms. Computer Science Press, Rockville, Maryland, 1979.

    MATH  Google Scholar 

  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.

    Google Scholar 

  10. Reiko Heckel, Gregor Engels, Hartmut Ehrig, and Gabriele Taentzer. Classification and comparison of modul concepts for graph transformation systems. In 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 Ehrig et al. [EEKR99]. To appear.

    Google Scholar 

  11. Reiko Heckel, Berthold Hoffmann, Peter Knirsch, and Sabine Kuske. Simple modules for GRACE. In Preliminary Proc. Theory and Application of Graph Transformations, 1998.

    Google Scholar 

  12. Hans-Jörg Kreowski and Sabine Kuske. On the interleaving semantics of transformation units — a step into GRACE. In 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 Cuny et al. [CEER96], pages 89–108.

    Chapter  Google Scholar 

  13. Hans-Jörg Kreowski and Sabine Kuske. Graph transformation units and modules. In 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 Ehrig et al. [EEKR99]. To appear.

    Google Scholar 

  14. 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.

    Article  Google Scholar 

  15. Simon M. Kaplan, Joseph. P. Loyall, and Steven K. Goering. Specifying Concurrent Languages and Systems with Δ-Grammars. In Hartmut Ehrig, Hans-Jörg 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.

    Chapter  Google Scholar 

  16. Sabine Kuske. More about control conditions for transformation units. In Preliminary Proc. Theory and Application of Graph Transformations, 1998.

    Google Scholar 

  17. Grzegorz Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 1: Foundations. World Scientific, Singapore, 1997.

    Google Scholar 

  18. Andy Schürr and Andreas Winter. UML packages for PROgrammed Graph REwriting systems. In Preliminary Proc. Theory and Application of Graph Transformations, 1998.

    Google Scholar 

  19. Gabriele Taentzer. Hierarchically distributed graph transformation. In 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 Cuny et al. [CEER96], pages 304–320.

    Chapter  Google Scholar 

  20. Gabriele Taentzer and Andy Schürr. DIEGO, another step towards a module concept for graph transformation systems. In A. Corradini and U. Montanari, editors, SEGRAGRA’95, Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, volume 2. Elsevier, 1995.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Bremen, P.O. Box 33 04 40, D-28334, Bremen, Germany

    Frank Drewes, Peter Knirsch, Hans-Jörg Kreowski & Sabine Kuske

Authors
  1. Frank Drewes
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Peter Knirsch
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Hans-Jörg Kreowski
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Sabine Kuske
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science III, Aachen University of Technology (RWTH), Ahornstr. 55, 52074, Aachen, Germany

    Manfred Nagl  & Manfred Münch  & 

  2. Institute for Software Technology, Department of Computer Science, University of the German Federal Armed Forces Munich, Werner-Heisenberg-Weg 39, 85579, Neubiberg, Germany

    Andreas Schürr

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Drewes, F., Knirsch, P., Kreowski, HJ., Kuske, S. (2000). Graph Transformation Modules and Their Composition. In: Nagl, M., Schürr, A., Münch, M. (eds) Applications of Graph Transformations with Industrial Relevance. AGTIVE 1999. Lecture Notes in Computer Science, vol 1779. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45104-8_2

Download citation

  • DOI: https://doi.org/10.1007/3-540-45104-8_2

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67658-4

  • Online ISBN: 978-3-540-45104-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation