Correction d'assemblages de composants impliquant des interfaces paramétrées - Archive ouverte HAL
Conference Papers Year : 2009

Correction d'assemblages de composants impliquant des interfaces paramétrées

Abstract

La démarche de construction du logiciel en partant de l'architecture, nécessite la prise en compte de la correction à différentes étapes afin d'assurer la qualité du logiciel final. Ainsi la correction est une préoccupation qui doit être prise en compte au niveau des composants et de leurs assemblages pour élaborer l'architecture logicielle. Kmelia est un langage et un modèle à composants multi-service où les composants sont abstraits et formels de façon à pouvoir y exprimer des propriétés et les vérifier. Les services de Kmelia peuvent êtres paramétrés par des données et sont dotés d'assertions (pré/post-conditions opérant sur les données). Dans cet article nous nous intéressons à la correction des modèles à composants en couvrant différents aspects: la correction au niveau des services et la correction des assemblages du point de vue des données présentes dans les interfaces des services. Nous présentons les enrichissements du langage de données de Kmelia permettant de traiter la correction au niveau des services et de l'architecture. Nous illustrons l'étude par un exemple.
Fichier principal
Vignette du fichier
cal09.pdf (215.43 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-00423658 , version 1 (13-10-2009)

Identifiers

  • HAL Id : hal-00423658 , version 1

Cite

Pascal André, Christian Attiogbé, Mohamed Messabihi. Correction d'assemblages de composants impliquant des interfaces paramétrées. 3e Conférence Francophone sur les Architectures Logicielles, Mar 2009, Nancy, France. pp.34--44. ⟨hal-00423658⟩
150 View
109 Download

Share

More