Vers la négociation de contrats dans les composants logiciels hiérarchiques

Abstract

The contractual approach turns out to be well-suited to specification and verification needs in component-based software systems. However, contracts are frequently challenged by dynamic reconfigurations and fluctuations of non functional aspects. To solve this problem, we propose, in this article, a first negotiation model which aims at automatically restoring the validity of contracts. We also describe a concession-based negotiation policy, which is well-suited to behavioral contracts with executable assertions. This model is integrated into ConFract, a contracting system for the Fractal hierarchical component model.