Correction d'assemblages de composants impliquant des interfaces paramétrées - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

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

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-00423658 , version 1

Citer

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⟩
117 Consultations
90 Téléchargements

Partager

Gmail Facebook X LinkedIn More