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 "primitive" 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.
FOUNDATIONS OF RULE-BASED DESIGN OF MODULAR SYSTEMS / PARISI PRESICCE, Francesco. - In: THEORETICAL COMPUTER SCIENCE. - ISSN 0304-3975. - STAMPA. - 83:1(1991), pp. 131-155. [10.1016/0304-3975(91)90042-z]
FOUNDATIONS OF RULE-BASED DESIGN OF MODULAR SYSTEMS
PARISI PRESICCE, Francesco
1991
Abstract
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 "primitive" 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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
