Développement formel par composants : assemblage et vérification à l'aide de B - Archive ouverte HAL
Journal Articles Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques Year : 2008

Développement formel par composants : assemblage et vérification à l'aide de B

Arnaud Lanoix
Samuel Colin
  • Function : Author
  • PersonId : 837524
Jeanine Souquières

Abstract

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.
Fichier principal
Vignette du fichier
LanoixColinSouquieres_tsi08.pdf (987.79 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-00180972 , version 1 (22-10-2007)

Identifiers

Cite

Arnaud Lanoix, Samuel Colin, Jeanine Souquières. Développement formel par composants : assemblage et vérification à l'aide de B. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2008, 27 (8), pp.1007-1032. ⟨10.3166/TSI.27.1007-1032⟩. ⟨hal-00180972⟩
117 View
398 Download

Altmetric

Share

More