A Formal Analysis Toolbox for the Kmelia Component Model - LINA-AELOS Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

A Formal Analysis Toolbox for the Kmelia Component Model

Résumé

We present in this paper the COSTO toolbox that supports the Kmelia abstract component model. First, an overview of the COSTO toolbox is given. Then the abstract component model Kmelia is presented. One main feature of the toolbox is the connection with existing tools in order to perform the analysis of specification properties. We present this approach for the dynamic aspect analysis; an example of the connection with the CADP toolbox to check Kmelia service behavioural compatibility is used as an illustration.
Fichier principal
Vignette du fichier
costo07.pdf (190.43 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-00423690 , version 1

Citer

Pascal Andre, Gilles Ardourel, Christian Attiogbé. A Formal Analysis Toolbox for the Kmelia Component Model. ProVeCS 2007 - Satellite Event of TOOLS Europe, Jun 2007, Zürich, Switzerland. pp.10-25. ⟨hal-00423690⟩
179 Consultations
118 Téléchargements

Partager

Gmail Facebook X LinkedIn More