Component Adaptation: Specification and Verification

Inès Mouakher 1, 2 Arnaud Lanoix 2 Jeanine Souquières 2
2 DEDALE - Development of specifications
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : In a component-based software development, components are considered as black boxes. They are only described by their interfaces expressing their visible behaviors. They must be connected in an appropriate way, through required and provided interfaces. To guarantee interoperability of components, we must consider each connection of a required interface with another provided interface. In the best cases, a provided interface -- after some renaming -- constitutes an implementation of the required interface. In the general cases, to construct a working system out of components, adapters have to be defined. They connect the required operations and attributes to the required ones. The interoperability between a required interface and provided interfaces through an adapter is guaranteed by the use of the B formal method with its underlying concept of refinement, and its powerful tool support, the B prover.
Type de document :
Communication dans un congrès
11th International Workshop on Component Oriented Programming - WCOP 2006, Jul 2006, Nantes, France. pp.8, 2006
Liste complète des métadonnées

Littérature citée [24 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00074477
Contributeur : Arnaud Lanoix <>
Soumis le : lundi 29 mai 2006 - 18:58:28
Dernière modification le : mardi 24 avril 2018 - 13:34:02
Document(s) archivé(s) le : lundi 17 septembre 2012 - 14:55:41

Fichier

Identifiants

  • HAL Id : inria-00074477, version 1

Collections

Citation

Inès Mouakher, Arnaud Lanoix, Jeanine Souquières. Component Adaptation: Specification and Verification. 11th International Workshop on Component Oriented Programming - WCOP 2006, Jul 2006, Nantes, France. pp.8, 2006. 〈inria-00074477〉

Partager

Métriques

Consultations de la notice

238

Téléchargements de fichiers

209