A Method for Component-Based Software and System Development

Abstract

We propose a method for component-based software and system development, where the interoperability between the different components is given special consideration. The method uses existing notations and languages with their associated tools: context diagrams for analyzing and structuring the problem, composite structure diagrams for describing the overall system in terms of components and interfaces, sequence diagrams to describe the behavior of each component, and the formal method B for specifying the interfaces of the different components and for proving their interoperability. Interoperability is proven using the B method with its underlying concept of refinement, and its powerful tool support, the B prover

DOI: 10.1109/EUROMICRO.2006.9

Extracted Key Phrases

8 Figures and Tables

Cite this paper

@article{Hatebur2006AMF, title={A Method for Component-Based Software and System Development}, author={Denis Hatebur and Maritta Heisel and Jeanine Souqui{\`e}res}, journal={32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO'06)}, year={2006}, pages={72-80} }