A rule-based approach to modular system design
- 4 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 202-211
- https://doi.org/10.1109/icse.1990.63624
Abstract
The author proposes an approach to the development of software systems based on ideas and techniques from the algebraic theory of graph grammars. Given an initial specification, SPEC productions (SPEC is an algebraic specification) are applied sequentially or in parallel to generate another specification: if the productions are the interfaces of module specifications from a library, then the derivation sequence can be translated into a modular system. The results obtained are intended as a formal support for a rule-based (expert) system to aid the systematic development of large software systems from a library of reusable components. The author discusses the notions of derivability and translation of a derivation sequence into an interconnection of modules, and he indicates how to anticipate the application of a production using the parallelism theorem. This equivalence of derivations translates into provably equivalent modular systems.Keywords
This publication has 14 references indexed in Scilit:
- Introduction to the algebraic theory of graph grammars (a survey)Published by Springer Nature ,2005
- Algebraic theory of module specifications with constraintsPublished by Springer Nature ,2005
- Product and iteration of module specificationsPublished by Springer Nature ,2005
- Categories for the development of algebraic module specificationsPublished by Springer Nature ,1989
- Modular system design applying graph grammars techniquesPublished by Springer Nature ,1989
- Union and actualization of module specifications: Some compatibility resultsJournal of Computer and System Sciences, 1987
- Algebraic specification of modules and their basic interconnectionsJournal of Computer and System Sciences, 1987
- Partial composition and recursion of module specificationsPublished by Springer Nature ,1987
- The semantics of shared submodules specificationsPublished by Springer Nature ,1985
- Universal realization, persistent interconnection and implementation of abstract modulesPublished by Springer Nature ,1982