Skip to Main content Skip to Navigation
Conference papers

A Formal Analysis Toolbox for the Kmelia Component Model

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

Cited literature [17 references]  Display  Hide  Download
Contributor : Coloss Lina Connect in order to contact the contributor
Submitted on : Monday, October 12, 2009 - 3:35:09 PM
Last modification on : Wednesday, April 27, 2022 - 4:12:18 AM
Long-term archiving on: : Tuesday, June 15, 2010 - 10:39:43 PM


Files produced by the author(s)


  • HAL Id : hal-00423690, version 1


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⟩



Record views


Files downloads