A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Components, Contracts and Vocabularies - Making Dynamic Component Assemblies more Predictable
2009
Journal of Object Technology
In recent years, dynamic component-based systems such as OSGi and its derivatives have become very successful. This has created new challenges for verification. Assemblies are created and modified dynamically at runtime, but many existing techniques such as unit testing are designed for buildtime verification. Runtime verification is usually restricted to type checks. We propose a simple component contract language that is powerful enough to represent different types of complex contracts
doi:10.5381/jot.2009.8.7.a4
fatcat:hyiw5llsgbhklfd3sw4scuzuuy