Multilevel Contracts for Trusted Components

Mohamed Messabihi
(LINA UMR CNRS 6241, University of Nantes, France)
Pascal André
(LINA UMR CNRS 6241, University of Nantes, France)
Christian Attiogbé
(LINA UMR CNRS 6241, University of Nantes, France)

This article contributes to the design and the verification of trusted components and services. The contracts are declined at several levels to cover then different facets, such as component consistency, compatibility or correctness. The article introduces multilevel contracts and a design+verification process for handling and analysing these contracts in component models. The approach is implemented with the COSTO platform that supports the Kmelia component model. A case study illustrates the overall approach.

In Javier Cámara, Carlos Canal and Gwen Salaün: Proceedings International Workshop on Component and Service Interoperability (WCSI 2010), Málaga, Spain , 29th June 2010, Electronic Proceedings in Theoretical Computer Science 37, pp. 71–85.
Published: 12th October 2010.

ArXived at: http://dx.doi.org/10.4204/EPTCS.37.6 bibtex PDF

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org