Runtime Validation of Behavioural Contracts for Component Software
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Using role-based coordination to achieve software adaptability
Science of Computer Programming
ICCBSS'05 Proceedings of the 4th international conference on COTS-Based Software Systems
Coordination systems in role-based adaptive software
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
| Hi-index | 0.00 |
The interface definition of a component in a distributedsystem forms the contract between the component itself andits neighbouring components regarding the use of its services.In general, such a contract should cover the issues ofservice functionality, usage and quality. The Interface DefinitionLanguages (IDLs) used by commercial middlewarestandards such as CORBA primarily address the signatureissues of such a contract, i.e., the forms and types of componentor object services. Nothing is said about other aspectsof the contract, including the way in which the componentservices are to be used. In this paper, we introduce a frame-workand associated techniques that augment commercialIDLs with interaction protocol specifications and validatecomponent interactions against such protocol specificationsat run-time. In effect, the validation becomes a useful toolfor testing whether or not the object services are used properlyin a distributed system. Our approach has been implementedin the CORBA context, but can be readily applied toother IDL-based object/component systems.