Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [26 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00423658
Contributor : Coloss Lina Connect in order to contact the contributor
Submitted on : Tuesday, October 13, 2009 - 12:13:55 PM
Last modification on : Wednesday, April 27, 2022 - 4:22:56 AM
Long-term archiving on: : Tuesday, June 15, 2010 - 9:16:48 PM

File

cal09.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00423658, version 1

Citation

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⟩

Share

Metrics

Record views

107

Files downloads

72