Schémas de développement d'adaptateurs à l'aide de B

Arnaud Lanoix (1) , Samuel Colin (1) , Jeanine Souquières (1)

1 DEDALE - Development of specifications

Dans une approche composants pour le développement de logiciels, les composants sont considérés comme des boîtes noires qui communiquent via leurs interfaces. L'interface fournie d'un composant peut être connectée à l'interface requise d'un autre composant si l'interface du premier composant implante les fonctionnalités requises par le second composant. Une description formelle de ces interfaces est nécessaire pour s'assurer de leur compatibilité. En général, les interfaces ne sont pas directement compatibles et un adaptateur doit être introduit. Nous proposons des schémas pour développer des adaptateurs et vérifier l'interopérabilité des composants.

Mots clés: composant; adaptateur; vérification; construction sûre; raffinement

Domaines: Génie logiciel [cs.SE]

Arnaud Lanoix, Samuel Colin, Jeanine Souquières. Schémas de développement d'adaptateurs à l'aide de B. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'07), Jun 2007, Namur, Belgique. pp.91-108. ⟨hal-00131340⟩