loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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
Herv? Chang, University of Nice Sophia Antipolis, I3S Laboratory Sophia Antipolis, France
Philippe Collet, University of Nice Sophia Antipolis, I3S Laboratory Sophia Antipolis, France

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.