Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Spying on Components: A Runtime Verification Technique

Mike Barnett and Wolfram Schulte


A natural way to specify component-based systems is by an interface specification. Such a specification allows clients of a component to know not only its syntactic properties, as is current practice, but also its semantic properties. Any component implementation must be a behavioral refinement of its interface specification. We propose the use of executable specifications and a runtime monitor to check for behavioral equivalence between a component and its specification. Furthermore, we take advantage of the COM infrastructure to perform this kind of runtime verification without any instrumentation of the implementation, i.e., without any recompilation or re-linking.


Publication typeInproceedings
Published inWorkshop on Specification and Verification of Component-Based Systems
> Publications > Spying on Components: A Runtime Verification Technique