31st EUROMICRO Conference on Software Engineering and Advanced Applications
Fine-grained Contract Negotiation for Hierarchical Software Components
Porto, Portugal
August 30-September 03
ISBN: 0-7695-2431-1
Component-based development adresses the complexity of large applications by building software systems from reusable software components. To support reuse and successfully combine units of software, the contractual approach turns out to be well-suited to specify and to verify components and their interactions. However, as contracts must support functional and extra-functional aspects, they are frequently challenged by fluctuations in extra-functional properties and dynamic reconfigurations of components. In this paper, we propose a negotiation model in which components have clearly identified roles and interact in order to automatically restore the validity of contracts. The negotiation model currently supports a concession-based negotiation policy and is well-suited to behavioral contracts based on executable assertions. This model is integrated into Con- Fract, a contracting system for the Fractal hierarchical component model.
Citation:
Herv? Chang, Philippe Collet, "Fine-grained Contract Negotiation for Hierarchical Software Components," euromicro, pp.28-35, 31st EUROMICRO Conference on Software Engineering and Advanced Applications, 2005
Usage of this product signifies your acceptance of the
Terms of Use.
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||