Advertisement

Algebraic specification grammars: A junction between module specifications and graph grammars

  • Hartmut Ehrig
  • Francesco Parisi-Presicce
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 532)

Abstract

Algebraic specification grammars have recently been introduced implicitly by the second author as a new kind of graph grammars in order to generate algebraic specifications using productions and derivations. In fact, in the well-known algebraic approach to graph grammars, also known as "Berlin-approach", we mainly have to replace the category of graphs by the category of algebraic specifications to obtain the basic definitions, constructions and results for this new kind of grammars. Since a production in an algebraic specification grammars corresponds exactly to an interface of an algebraic module specification for modular software systems this new kind of grammars can be used for modular system design. For this purpose we give an overview how notions in the theory of grammars and that of module specifications correspond to each other and discuss how both theories can benefit from each other. Concerning full technical detail and proofs we refer to other published or forthcoming papers.

Keywords

algebraic specification graph grammars algebraic module specifications algebraic specification grammars match theorem rule based design modular systems 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

5. References

  1. [BEPP 87]
    E.K. Blum, H. Ehrig, F. Parisi-Presicce: Algebraic Specification of Modules and their Basic Interconnections, J. Comp. System Sci. 34, 2/3 (1987), 239–339Google Scholar
  2. [COMP 89]
    B. Krieg-Brückner, ed.: A Comprehensive Algebraic Approach to System Specification and Development, ESPRIT BRWG 3264, Univ. Bremen, Bericht 6/89Google Scholar
  3. [Ehr 79]
    H. Ehrig: Introduction to the Algebraic Theory of Graph Grammars, Lect. Notes in Comp. Sci. 73 (1979), 1–69Google Scholar
  4. [EFPB 86]
    H. Ehrig, W. Fey, F. Parisi-Presicce, E.K. Blum: Algebraic Theory of Module Specifications with Constraints, invited, Proc MFCS, Lect. Notes Comp. Sci. 233 (1986), 59–77Google Scholar
  5. [EHKP 90]
    H. Ehrig, A. Habel, H.-J. Kreowski, F. Parisi-Presicce: From Graph Grammars to High Level Replacement Systems, this volumeGoogle Scholar
  6. [EHKP 91]
    H. Ehrig, A. Habel, H.-J. Kreowski, F. Parisi-Presicce: Parallelism and Concurrency in High-Level-Replacement Systems, to appearGoogle Scholar
  7. [EKMRW 81]
    H. Ehrig, H.-J. Kreowski, A. Maggiolo-Schettini, B. Rosen, J. Winkowski: Transformation of Structures: an Algebraic Approach, Math. Syst. Theory 14 (1981), 305–334Google Scholar
  8. [EM 85]
    H. Ehrig, B. Mahr: Fundamentals of Algebraic Specifications 1: Equations and Initial Semantics, EATCS Monographs on Theoret. Comp. Sci., vol 6, Springer-Verlag 1985 1985Google Scholar
  9. [EM 90]
    H. Ehrig, B. Mahr: Fundamentals of Algebraic Specifications 2: Module Specifications and Constraints, EATCS Monographs on Theoret. Comp. Sci., vol 21, Springer-Verlag 1990Google Scholar
  10. [EPS 73]
    H. Ehrig, M. Pfender, H.J. Schneider: GRAPH GRAMMARS: An Algebraic Approach, Proc IEEE Conf. SWAT 73, Iowa City (1973), 167–180Google Scholar
  11. [EPP 90]
    H. Ehrig, F. Parisi-Presicce: A Match Operation for Rule Based Modular System Design, to appear in Proc 7th ADT Workshop, Wusterhausen 1990, Springer LNCSGoogle Scholar
  12. [EW 85]
    H. Ehrig, H. Weber: Algebraic Specifications of Modules, in "Formal Models in Programming" (E.J. Neuhold, G. Chronist, eds.), North-Holland 1985Google Scholar
  13. [GTW 76]
    J.A. Goguen, J.W. Thatcher, E.G. Wagner: An initial algebra approach to the specification, correctness and implementation of abstract data types. IBM Research Report RC 6487, 1976. Also: Current Trends in Programming Methodology IV: Data Structuring (R. Yeh, ed.), Prentice Hall (1978), 80–144Google Scholar
  14. [Gu 75]
    J.V. Guttag: The specification and application to programming of abstract data types. Ph.D. Thesis, University of Toronto, 1975Google Scholar
  15. [PP 89]
    F. Parisi-Presicce: Modular System Design applying Graph Grammar Techniques, Proc. 16 ICALP, LNCS 372 (1989), 621–636Google Scholar
  16. [PP 90]
    F. Parisi-Presicce: A Rule-Based Approach to Modular System Design, Proc. 12th Int. Conf. Soft. Eng., Nice (France) 1990, 202–211Google Scholar
  17. [TWW 78]
    J.W. Thatcher, E.G. Wagner, J.B. Wright: Data type specification: parameterization and the power of specification techniques. 10th Symp. Theory of Computing (1978), 119–132. Trans. Prog. Lang. and Syst. 4 (1982), 711–732Google Scholar
  18. [Wa 79]
    M. Wand: Final algebra semantics and data type extensions. JCSS 19 (1979), 27–44Google Scholar
  19. [Zi 74]
    S.N. Zilles: Algebraic specification of data types. Project MAC Progress Report 11, MIT 1974, 28–52Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Hartmut Ehrig
    • 1
  • Francesco Parisi-Presicce
    • 2
  1. 1.Technical University of BerlinBerlin 10Germany
  2. 2.Università degli Studi L'AquilaL'AquilaItalia

Personalised recommendations