Skip to main content
SpringerLink
Log in
SpringerLink
Log in

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

  • Software Engineering
  • Conference paper
  • First Online:
Graph Grammars and Their Application to Computer Science (Graph Grammars 1994)

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

Abstract

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.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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

  1. Dept. of Computer Science, Technical University of Berlin, Franklinstr. 28/29, D-10587, Berlin, Germany

    Hartmut Ehrig

  2. Dept. of Computer Science, Leiden University, P.O. Box 9512, NL-2300, RA Leiden, The Netherlands

    Gregor Engels

Authors
  1. Hartmut Ehrig
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gregor Engels
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Janice Cuny Hartmut Ehrig Gregor Engels Grzegorz Rozenberg

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. https://doi.org/10.1007/3-540-61228-9_84

Download citation

  • DOI: https://doi.org/10.1007/3-540-61228-9_84

  • 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

Publish with us

Policies and ethics

Search

Navigation