Related Communities:

Compositional Development

Compositional Development of Information Systems: Methods and Facilities.

Author(s): Kalinichenko L.A., Briukhov D.O., Skvortsov N.A.
Published:IPI RAN Technical Report. -- Moscow: IPI RAN, 2000. -- 35 p.
The paper defines a new approach for information systems development intended for reuse of pre-existing components. The approach called 'compositional' consists in identification of relevant fragments of the component specifications and constructing their compositions satisfying specifications of requirements. Fundamentals of the method include the canonical model having formal interpretation and applied for specification of requirements and components; the theory of refinement, making possible to justify component reuse; specification calculus forming a basis for compositional constructing of the systems from components; ontological approach used for semantic contexts integration. Due to the used methods of component specification and retrieval, the compositional method is scalable with respect to the number of existing components, provides for information system construction using various kinds of components (software, information, process ones), provides for provable justification of the design. The prototype considered combines conventional OAD methods support facilities with the facilities of the new compositional development method. This prototype is intended for implementation generation in the CORBA-like environment.
Download: [ Adobe PDF ] [ PostScript ]

Supported by Synthesis Group