Foundations of rule-based design of modular systems

Francesco Parisi-Presicce
1991 Theoretical Computer Science  
Parisi-Presicce, F., Foundations of rule-based design of modular systems, Theoretical Computer Science 83 (1991) 131-155. By treating the interfaces of a module specification as a production, we combine notions from the well known theory of algebraic graph grammars with the theory of large software system specifications to tackle the problem of designing modular systems. Given a goal specification, a library of module specifications as reusable software components and a collection of
more » ... realized data type specifications, the designing of a system consisting only of the library components to realize the goal is reduced to deriving the goal from the primitive specification using the given productions. If a derivation sequence exists, direct derivations and operations on productions are converted into the design of a modular system. 0304-3975/91/$03.50 0 1991-Elsevier Science Publishers B.V. 132 F. Parisi-Presicce / Rule-based design of modular systems
doi:10.1016/0304-3975(91)90042-z fatcat:ajljvclqlrbgjhrsgbnc5vqism