Advertisement

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

  • Hartmut Ehrig
  • Gregor Engels
Software Engineering
Part of the Lecture Notes in Computer Science book series (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.

Keywords

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [EE 93]
    Ehrig, H., Engels, G.: Towards a Module Concept for Graph Transformation Systems. Technical Report 93-34, Vakgroep Informatica, Rijksuniversiteit Leiden, October 1993Google Scholar
  2. [EG 94]
    Ehrig, H., Größe-Rhode, M.: Functional Theory of Parameterized Specifications in a General Specification Framework. TCS 135 (1994), 221–266.Google Scholar
  3. [EHKP 91]
    Ehrig, H., Habel, A., Kreowski, H.J., Parisi-Presicce, F.: From Graph Grammars to High Level Replacement Systems, LNCS 532, Springer, Berlin, 269–291Google Scholar
  4. [Ehr 79]
    Ehrig, H.: Introduction to the Algebraic Theory of Graph Grammars, Springer LNCS 73 (1979), 1–69Google Scholar
  5. [Ehr et al 87]
    Ehrig et al: Towards Distributed Graph Grammars, in [ENRR, 87], 86–98Google Scholar
  6. [EL 91]
    Ehrig, H., Löwe, M.: Parallel and Distributed Derivations in the Single Pushout Approach, TCS, 123–143 (1993)Google Scholar
  7. [ELNSS 92]
    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–167Google Scholar
  8. [ELS 87]
    Engels, G., Lewerentz, L., Schäfer, W.: Graph Grammar Engineering: A Software Specification Method, in [ENRR 87], 186–201Google Scholar
  9. [EM 85/90]
    Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specifications 1/2. EATCS-Monographs in TCS, Springer 1985/1990Google Scholar
  10. [ENRR. 87]
    Ehrig., H, Nagl, M., Rozenberg, G., Rosenfeld, A.: Graph Grammars and their Application to Computer Science, Springer LNCS 291 (1987)Google Scholar
  11. [FR 92]
    Fiadeiro, J.L., Reichwein, G.: A Categorical Theory of Superposition, Technical Report, Department of Mathematics, University of Lisbon 17/92 (1992)Google Scholar
  12. [GB 92]
    Goguen, J.A., Burstall, R.M.: Institutions: Abstract Model Theory for Specification and Programming, JACM 39, 1, 1992, 95–146Google Scholar
  13. [Kr 95]
    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–62Google Scholar
  14. [KR 90]
    Kreowski, H.-J., Rozenberg, G.: On Structured Graph Grammars. Information Sciences 52, 185–210 (1990)Google Scholar
  15. [Löw 93]
    Löwe, M.: Algebraic Approach to Single Pushout Graph Transformations, TCS 109, 181–224 (1993)Google Scholar
  16. [Par 72]
    Parnas, D.C.: A Technique for Software Module Specification with Examples, CACM 15, 5 (1972), 330–336Google Scholar
  17. [RBP 91]
    Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W.: Object-Oriented Modeling and Design, Prentice-Hall 1991Google Scholar
  18. [Ro 87]
    Rozenberg, G.: An Introduction to the NLC way of rewriting graphs. In [ENRR 87], 55–66Google Scholar
  19. [Sch 91a]
    Schürr, A.: Operationales Spezifizieren mit programmierten Graphersetzungssystemen, DUV 1991Google Scholar
  20. [Sch 91b]
    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–655Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Hartmut Ehrig
    • 1
  • Gregor Engels
    • 2
  1. 1.Dept. of Computer ScienceTechnical University of BerlinBerlinGermany
  2. 2.Dept. of Computer ScienceLeiden UniversityRA LeidenThe Netherlands

Personalised recommendations