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 <>
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

260

Files downloads

358