Component-based Development using the B method

Arnaud Lanoix 1 Jeanine Souquières 1
1 DEDALE - Development of specifications
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : In component-based software development approaches, components are considered as black boxes. Components communicate through required and provided interfaces which describe their visible behaviors. In the best cases, the provided interfaces are checked compatible with the corresponding required interfaces, but in general cases, adapters have to be introduced to connect them. Compatibility between required and provided interfaces concerns the interface signatures, behavioral aspects and protocol level. We propose to specify component interfaces in B in order to verify these three levels of interoperability. The use of B assembling and refinement mechanisms eases the verification of the interoperability between interfaces and the correctness of the component assembly. The verification is done by the B prover.
Type de document :
Autre publication
Research report. 2006
Liste complète des métadonnées
Contributeur : Arnaud Lanoix <>
Soumis le : mardi 10 octobre 2006 - 11:00:16
Dernière modification le : mardi 25 octobre 2016 - 17:00:28
Document(s) archivé(s) le : jeudi 20 septembre 2012 - 11:42:10



  • HAL Id : hal-00105041, version 1



Arnaud Lanoix, Jeanine Souquières. Component-based Development using the B method. Research report. 2006. <hal-00105041>



Consultations de
la notice


Téléchargements du document