Advertisement

Interaction between Algebraic Specification Grammars and Modular System Design

  • Hartmut Ehrig
  • Francesco Parisi-Presicce
Conference paper
Part of the Workshops in Computing book series (WORKSHOPS COMP.)

Abstract

The problem of designing a modular system with given interfaces can be reduced to the generation of a specification in an algebraic specification grammar and the subsequent translation of the derivation into design. The need to obtain more general interconnections has motivated a different notion of derivation in algebraic specification grammars, namely restricting derivation sequences where each specification produced can be reduced using a specification morphism. On the other hand, recent results on canonical derivations for algebraic specification grammars can be used to check the equivalence of modular systems by reducing them to the normal form obtained from the canonical derivation

Keywords

Module Specification Modular System Graph Grammar Derivation Sequence Glue Condition 
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. [1]
    E.K. Blum, H. Ehrig, F. Parisi-Presicce: Algebraic Specifications of Modules and their Basic Interconnections. J. Comput. Syst. Sci. 34 (1987) 293–339CrossRefMATHMathSciNetGoogle Scholar
  2. [2]
    H. Ehrig: Introduction to the Algebraic Theory of Graph Grammars. First International Workshop on Graph Grammars, Springer Lect. Notes Comp. Sci. 73 (1979) 1–69MathSciNetGoogle Scholar
  3. [3]
    H. Ehrig, A. Habel, H.-J. Kreowski, F. Parisi-Presicce: Parallelism and Concurrency in High Level Replacement Systems. Math. Struct. in Comp. Science 1 (1991) 361–406CrossRefMATHMathSciNetGoogle Scholar
  4. [4]
    H. Ehrig, H.-J. Kreowski, G. Taentzer: Canonical Derivations for High-level Replacement Systems. Techn.Report 6/92, Univ. Bremen, FB Mathematik und Informatik, Dec 1992Google Scholar
  5. [5]
    H. Ehrig, B. Mahr: Fundamentals of Algebraic Specification 1.Equations and Initial Semantics. EATCS Monograph on Theoret. Comp. Sci., vol 6,Springer Verlag 1985Google Scholar
  6. [6]
    H. Ehrig, B. Mahr: Fundamentals of Algebraic Specification 2.Module Specifications and Constraints. EATCS Monograph on Theoret. Comp. Sci., vol 21, Springer Verlag 1990Google Scholar
  7. [7]
    H. Ehrig, F. Parisi-Presicce: High Level Replacement Systems for Equational Algebraic Specifications. Proc. 3rd Int. Conf. on Algebraic and Logic Programming, Springer Lect. Notes Comp. Sci. 632 (1992) 3–20.CrossRefMathSciNetGoogle Scholar
  8. [8]
    H. Ehrig H. Weber: Algebraic Specification of Modules, in “Formal Models in Programming” (E.J. Neuhold and G. Chronist, eds.), North-Holland (1985) 231–258Google Scholar
  9. [9]
    F. Parisi-Presicce: Modular System Design applying Graph Grammar Techniques. Proc. ICALP 89, Springer Lect. Notes Comp. Sci. 372 (1989) 621–636MathSciNetGoogle Scholar
  10. [10]
    F. Parisi-Presicce: A Rule Based Approach to Modular System Design. Proc. 12th Internat. Conf. Soft. Engin. (1990) 202–211Google Scholar
  11. [11]
    F. Parisi-Presicce: Foundations of Rule-Based Design of Modular Systems. Theoret. Comp. Sci. 83 (1991) 131–155CrossRefMATHMathSciNetGoogle Scholar
  12. [12]
    F. Parisi-Presicce: Single vs. Double Pushout Derivations of Graphs. Proc. 18th Int. Workshop on Graph Theoretic Concepts in Comp. Sci. Springer Lect. Notes Comp. Sci. 657 (1993) 245–262MathSciNetGoogle Scholar

Copyright information

© British Computer Society 1994

Authors and Affiliations

  • Hartmut Ehrig
    • 1
  • Francesco Parisi-Presicce
    • 2
  1. 1.Fachbereich InformatikTechnische Universität BerlinBerlinGermany
  2. 2.Dip. di Matematica Pura ed ApplicataUniversitá degli Studi L’AquilaL’AquilaItaly

Personalised recommendations