Component Software: Beyond Object-Oriented Programming
Component Software: Beyond Object-Oriented Programming
A QoS Metamodel and its Realization in a CORBA Component Infrastructure
HICSS '03 Proceedings of the 36th Annual Hawaii International Conference on System Sciences (HICSS'03) - Track 9 - Volume 9
Using QDL to Specify QoS Aware Distributed (QuO) Application Configuration
ISORC '00 Proceedings of the Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Reconfiguration-based QoS Management in Multimedia Streaming Applications
EUROMICRO '04 Proceedings of the 30th EUROMICRO Conference
The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver
IEEE Transactions on Computers
A contracting system for hierarchical components
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
The design of the TAO real-time object request broker
Computer Communications
Towards a Versatile Contract Model to Organize Behavioral Specifications
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Composite contract enforcement in hierarchical component systems
SC'07 Proceedings of the 6th international conference on Software composition
From components to autonomic elements using negotiable contracts
ATC'06 Proceedings of the Third international conference on Autonomic and Trusted Computing
Enforcing different contracts in hierarchical component-based systems
SC'06 Proceedings of the 5th international conference on Software Composition
| Hi-index | 0.00 |
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.