Multi-levels Use of Contracts for Trusted Components - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès EPTCS Année : 2010

Multi-levels Use of Contracts for Trusted Components

Résumé

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.

Dates et versions

hal-00488125 , version 1 (01-06-2010)

Identifiants

Citer

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⟩
111 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More