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
Reports

Proving Component Interoperability with B Refinement

Abstract : We use the formal method B for specifying interfaces of software components. Each component interface is equipped with a suitable data model defining all types occurring in the signature of interface operations. Moreover, pre- and postconditions have to be given for all interface operations. The interoperability between two components is proved by using a refinement relation between an adaptation of the interface specifications.
Document type :
Reports
Complete list of metadata

Cited literature [21 references]  Display  Hide  Download

https://hal.inria.fr/inria-00000171
Contributor : Samir Chouali Connect in order to contact the contributor
Submitted on : Wednesday, July 20, 2005 - 5:27:30 PM
Last modification on : Friday, February 26, 2021 - 3:28:07 PM
Long-term archiving on: : Thursday, April 1, 2010 - 10:05:33 PM

Identifiers

  • HAL Id : inria-00000171, version 1

Collections

Citation

Samir Chouali, Maritta Heisel, Jeanine Souquières. Proving Component Interoperability with B Refinement. [Research Report] 2005. ⟨inria-00000171⟩

Share

Metrics

Record views

84

Files downloads

151