Skip to Main content Skip to Navigation
Conference papers

Multi-levels Use of Contracts for Trusted Components

Abstract : We present in the article a formal approach for handling and analysing contracts in component model early in development process. Contracts are helpful to describe component interoperability levels. This work is founded on the correctness-by-construction methodology with the aim to assist in building correct complex systems. The approach is illustrated on the Kmelia component model and on the COSTO framework, an Eclipse plugin, which supports user friendly editing, and verication of Kmelia contracts by roviding various bridges with efficient external tools. A case study is presented as illustration of our approach.
Document type :
Conference papers
Complete list of metadata
Contributor : Coloss Lina Connect in order to contact the contributor
Submitted on : Tuesday, June 1, 2010 - 11:25:25 AM
Last modification on : Wednesday, April 27, 2022 - 4:10:52 AM

Links full text



Mohamed Messabihi, Pascal André, Christian Attiogbé. Multi-levels Use of Contracts for Trusted Components. Workshop on Component and Service Interoperability, Jun 2010, Malaga, Spain. pp.71-85, ⟨10.4204/EPTCS.37⟩. ⟨hal-00488125⟩



Record views