Proving Component Interoperability with B Refinement - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

Proving Component Interoperability with B Refinement

Résumé

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.
Fichier non déposé

Dates et versions

hal-00009103 , version 1 (26-09-2005)

Identifiants

  • HAL Id : hal-00009103 , version 1

Citer

Samir Chouali, Maritta Heisel, Jeanine Souquières. Proving Component Interoperability with B Refinement. International Workshop on Formal Aspects of Component Software 2005 - FACS'05, 2005, Macao, China. ⟨hal-00009103⟩
76 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More