Protocoles d'utilisation de composants : spécification et analyse en Kmelia - LINA - Equipe COmposants et LOgiciels SûrS Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

Protocoles d'utilisation de composants : spécification et analyse en Kmelia

Résumé

Dans cet article, nous présentons la spécification d'architectures logicielles dans Kmelia, un modèle à composants basé sur les services. Kmelia permet de définir un modèle simple d'architecture fondé sur la description des composants, des services et de leurs interactions, le raisonnement sur des modèles incomplets et le raffinement. Nous traitons plus particulièrement de i) la hiérarchisation des connexions par une description fine des protocoles et des interfaces de services, ii) la composition de services et de composants supportant la hiérarchisation et iii) la vérification outillée de composabilité des éléments de l'architecture qui permet de détecter statiquement des incompatibilités dans les assemblages (visibilités, assertions, comportement dynamique).
Fichier principal
Vignette du fichier
cal06.pdf (1.88 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00423665 , version 1 (12-10-2009)

Identifiants

  • HAL Id : hal-00423665 , version 1

Citer

Pascal Andre, Gilles Ardourel, Christian Attiogbé. Protocoles d'utilisation de composants : spécification et analyse en Kmelia. 1ère Conférence Francophone sur les Architectures Logicielles, Sep 2006, Nantes, France. pp.101--118. ⟨hal-00423665⟩
64 Consultations
17 Téléchargements

Partager

Gmail Facebook X LinkedIn More