A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Proving Component Interoperability with B Refinement
2006
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
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.
doi:10.1016/j.entcs.2006.05.021
fatcat:savwb3lonrbafekc5eshgtgfbe