HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Component Adaptation: Specification and Verification

Abstract : In a component-based software development, components are considered as black boxes. They are only described by their interfaces expressing their visible behaviors. They must be connected in an appropriate way, through required and provided interfaces. To guarantee interoperability of components, we must consider each connection of a required interface with another provided interface. In the best cases, a provided interface -- after some renaming -- constitutes an implementation of the required interface. In the general cases, to construct a working system out of components, adapters have to be defined. They connect the required operations and attributes to the required ones. The interoperability between a required interface and provided interfaces through an adapter is guaranteed by the use of the B formal method with its underlying concept of refinement, and its powerful tool support, the B prover.
Document type :
Conference papers
Complete list of metadata

Cited literature [24 references]  Display  Hide  Download

Contributor : Arnaud Lanoix Connect in order to contact the contributor
Submitted on : Monday, May 29, 2006 - 6:58:28 PM
Last modification on : Friday, February 26, 2021 - 3:28:07 PM
Long-term archiving on: : Monday, September 17, 2012 - 2:55:41 PM


  • HAL Id : inria-00074477, version 1



Inès Mouakher, Arnaud Lanoix, Jeanine Souquières. Component Adaptation: Specification and Verification. 11th International Workshop on Component Oriented Programming - WCOP 2006, Wolfgang Weck, Ralf Reussner and Clemens Szyperski, Jul 2006, Nantes, France. pp.8. ⟨inria-00074477⟩



Record views


Files downloads