A Method for Component-Based Software and System Development

Authors:
Denis Hatebur;Maritta Heisel;Jeanine Souquieres
Affiliations:
Universität Duisburg-Essen, Germany;Universität Duisburg-Essen, Germany;LORIA - Université Nancy 2, France
Venue:
EUROMICRO '06 Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications
Year:
2006

Citing 0
Cited 2

Trustworthy Interface Compliancy: Data Model Adaptation Using B Refinement

Electronic Notes in Theoretical Computer Science (ENTCS)
Enhancing dependability of component-based systems

Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies

Quantified Score

Hi-index	0.00

Visualization

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.