Abstract
Runtime verication is usually restricted to type checks. We propose a simple component contract language that is powerful enough to represent dierent types of complex contracts between collaborating components, including contracts with respect to component semantics and quality of service attributes, and contracts that refer to resources other than programing language artefacts. These contracts are based on a pluggable contract vocabulary and can then be used for runtime verication of assemblies. We present a proof of concept implementation of the contract language proposed for the OSGi/Eclipse component model.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Paper version not known
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
