ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 27/8 - 2008  - pp.1007-1032  - doi:10.3166/tsi.27.1007-1032
TITRE
Développement formel par composants Assemblage et vérification à l'aide de B

RÉSUMÉ
Dans une approche composants pour le développement de logiciels, les composants sont considérés comme des boîtes noires. Une application consiste en un assemblage de composants qui communiquent via leurs interfaces. 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 assembler des composants de manière systématique et vérifier leur interopérabilité ; ces schémas sont définis à l'aide de concepts issus de la méthode B. L'assemblage est un raffinement des interfaces requises qui inclut les interfaces fournies ; la correction du processus est validée par les obligations de preuves usuelles.


ABSTRACT
In a software component-based development approach, components are considered as black boxes. A component-based application consists of assembled components which communicate by the means of their interfaces. A formal description of these interfaces is therefore required to check their compatibility. In general, interfaces are not directly compatible and an adapter is required to bridge the gap. We propose patterns to assemble components in a systematic manner and verify their interoperability; these patterns are defined using B concepts. The assembly is a refinement of the required interfaces, including the provided interfaces; the process correctness is validated by the usual proof obligations.


AUTEUR(S)
Arnaud LANOIX, Samuel COLIN, Jeanine SOUQUIÈRES

MOTS-CLÉS
composant, adaptateur, assemblage, interface, vérification, construction sûre, raffinement.

KEYWORDS
component, adapter, assembly, interface, verification, trustworthy development, refinement.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (4,7 Mo)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier