Skip to main content

Pragmatic and semantic aspects of a module concept for graph transformation systems

Software Engineering

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


The paper presents a conceptual framework for a module concept for graph transformation systems from a software engineering as well as from a theoretical point of view. The basic idea is to reuse concepts, which are known within or without the graph grammar field, to structure large specifications. These are the concept of distributed graph transformation systems, the concept of inheritance of specifications, and the import-export-interface concept. All these concepts are presented in a uniform framework based on the syntactical notion of a graph class specification and its semantics given by a graph transformation system. This is the basis for an explicit integration of these concepts and a corresponding specification language, to be discussed in a subsequent paper.


  • State Graph
  • Graph Transformation
  • Graph Class
  • Graph Grammar
  • Module Concept

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

This is a preview of subscription content, access via your institution.

Buying options

USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/3-540-61228-9_84
  • Chapter length: 18 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   149.00
Price excludes VAT (USA)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Ehrig, H., Engels, G.: Towards a Module Concept for Graph Transformation Systems. Technical Report 93-34, Vakgroep Informatica, Rijksuniversiteit Leiden, October 1993

    Google Scholar 

  2. Ehrig, H., Größe-Rhode, M.: Functional Theory of Parameterized Specifications in a General Specification Framework. TCS 135 (1994), 221–266.

    Google Scholar 

  3. Ehrig, H., Habel, A., Kreowski, H.J., Parisi-Presicce, F.: From Graph Grammars to High Level Replacement Systems, LNCS 532, Springer, Berlin, 269–291

    Google Scholar 

  4. Ehrig, H.: Introduction to the Algebraic Theory of Graph Grammars, Springer LNCS 73 (1979), 1–69

    Google Scholar 

  5. Ehrig et al: Towards Distributed Graph Grammars, in [ENRR, 87], 86–98

    Google Scholar 

  6. Ehrig, H., Löwe, M.: Parallel and Distributed Derivations in the Single Pushout Approach, TCS, 123–143 (1993)

    Google Scholar 

  7. G. Engels, C. Lewerentz, M. Nagl, W. Schäfer, A. Schürr: Building Integrated Software Development Environments, Part I: Tool Specification. ACM Transactions on Software Engineering and Methodology, Vol.1, No.2, April 1992, 135–167

    Google Scholar 

  8. Engels, G., Lewerentz, L., Schäfer, W.: Graph Grammar Engineering: A Software Specification Method, in [ENRR 87], 186–201

    Google Scholar 

  9. Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specifications 1/2. EATCS-Monographs in TCS, Springer 1985/1990

    Google Scholar 

  10. Ehrig., H, Nagl, M., Rozenberg, G., Rosenfeld, A.: Graph Grammars and their Application to Computer Science, Springer LNCS 291 (1987)

    Google Scholar 

  11. Fiadeiro, J.L., Reichwein, G.: A Categorical Theory of Superposition, Technical Report, Department of Mathematics, University of Lisbon 17/92 (1992)

    Google Scholar 

  12. Goguen, J.A., Burstall, R.M.: Institutions: Abstract Model Theory for Specification and Programming, JACM 39, 1, 1992, 95–146

    Google Scholar 

  13. Kreowski, H.-J.: Graph Grammars for Software Specification and Programming: An Eulogy in Praise of GRACE. In G. Valiente Feruglio, F. Rossello Llompart (Eds.): Colloquium on Graph Transformation and Its Application in Computer Science. Technical Report B-19, June 1995, Universitat de les Illes Balears, Mallorca (1995), 55–62

    Google Scholar 

  14. Kreowski, H.-J., Rozenberg, G.: On Structured Graph Grammars. Information Sciences 52, 185–210 (1990)

    Google Scholar 

  15. Löwe, M.: Algebraic Approach to Single Pushout Graph Transformations, TCS 109, 181–224 (1993)

    Google Scholar 

  16. Parnas, D.C.: A Technique for Software Module Specification with Examples, CACM 15, 5 (1972), 330–336

    Google Scholar 

  17. Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W.: Object-Oriented Modeling and Design, Prentice-Hall 1991

    Google Scholar 

  18. Rozenberg, G.: An Introduction to the NLC way of rewriting graphs. In [ENRR 87], 55–66

    Google Scholar 

  19. Schürr, A.: Operationales Spezifizieren mit programmierten Graphersetzungssystemen, DUV 1991

    Google Scholar 

  20. Schürr, A.: PROGRESS: A VHL-language based on graph grammars. In H. Ehrig, H.-J. Kreowski, G. Rozenberg (eds.): Proceedings of the 4th International Workshop on Graph Grammars and Their Application to Computer Science, Bremen, March 1990, Springer, LNCS 532, Berlin 1991, 641–655

    Google Scholar 

Download references

Author information

Authors and Affiliations


Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ehrig, H., Engels, G. (1996). Pragmatic and semantic aspects of a module concept for graph transformation systems. In: Cuny, J., Ehrig, H., Engels, G., Rozenberg, G. (eds) Graph Grammars and Their Application to Computer Science. Graph Grammars 1994. Lecture Notes in Computer Science, vol 1073. Springer, Berlin, Heidelberg.

Download citation

  • DOI:

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61228-5

  • Online ISBN: 978-3-540-68388-9

  • eBook Packages: Springer Book Archive