Component-based Development using the B method - Archive ouverte HAL Accéder directement au contenu
Autre Publication Scientifique Année : 2006

Component-based Development using the B method

Arnaud Lanoix
Jeanine Souquières

Résumé

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.
Fichier principal
Vignette du fichier
main.pdf (307.6 Ko) Télécharger le fichier
Loading...

Dates et versions

hal-00105041 , version 1 (10-10-2006)

Identifiants

  • HAL Id : hal-00105041 , version 1

Citer

Arnaud Lanoix, Jeanine Souquières. Component-based Development using the B method. 2006. ⟨hal-00105041⟩
112 Consultations
94 Téléchargements

Partager

Gmail Facebook X LinkedIn More