Components, contracts and vocabularies - making dynamic component assemblies more predictable

6Citations
Citations of this article
7Readers
Mendeley users who have this article in their library.

Abstract

In recent years, dynamic component-based systems such as OSGi and its derivatives have become very successful. This has created new challenges for verication. Assemblies are created and modied dynamically at runtime, but many existing techniques such as unit testing are designed for buildtime verication. Runtime verication is usually restricted to type checks. We propose a simple component contract language that is powerful enough to represent di erent 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. © JOT, 2008.

Cite

CITATION STYLE

APA

Dietrich, J., & Jenson, G. (2009). Components, contracts and vocabularies - making dynamic component assemblies more predictable. Journal of Object Technology, 8(7), 131–148. https://doi.org/10.5381/jot.2009.8.7.a4

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free