Multilevel Contracts for Trusted Components
Abstract
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- October 2010
- DOI:
- 10.48550/arXiv.1010.2827
- arXiv:
- arXiv:1010.2827
- Bibcode:
- 2010arXiv1010.2827M
- Keywords:
-
- Computer Science - Software Engineering
- E-Print:
- In Proceedings WCSI 2010, arXiv:1010.2337