Trustworthy interface compliancy: data model adaptation using B refinement - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

Trustworthy interface compliancy: data model adaptation using B refinement

Samuel Colin
  • Fonction : Auteur
  • PersonId : 837524
Arnaud Lanoix
Jeanine Souquières

Résumé

In component-based software development approaches, components are considered as black boxes, communicating through required and provided interfaces which describe their visible behaviors. Each component interface is equipped with a suitable data model defining all the types occurring in the signature of interface operations. The provided interfaces are checked to be compatible with the corresponding required interfaces, by the way of adapters. We propose a method to develop and verify these adapters when the interface data models are different, using the formal method B. The use of B assembling and refinement mechanisms eases the verification of the interoperability between interfaces and the correctness of the component assembly.
Fichier principal
Vignette du fichier
RR-fesca.pdf (355.3 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00123884 , version 1 (11-01-2007)
hal-00123884 , version 2 (15-01-2007)

Identifiants

  • HAL Id : hal-00123884 , version 2

Citer

Samuel Colin, Arnaud Lanoix, Jeanine Souquières. Trustworthy interface compliancy: data model adaptation using B refinement. Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA), Satellite workshop of ETAPS, Mar 2007, Braga, Portugal. 13 p. ⟨hal-00123884v2⟩
156 Consultations
260 Téléchargements

Partager

Gmail Facebook X LinkedIn More