Interaction between Algebraic Specification Grammars and Modular System Design
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
Unable to display preview. Download preview PDF.
- 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
- 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
- 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
- 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
- F. Parisi-Presicce: A Rule Based Approach to Modular System Design. Proc. 12th Internat. Conf. Soft. Engin. (1990) 202–211Google Scholar