On Behavioral Types for OSGi: From Theory to Implementation
This work addresses component compatibility issues for developers using OSGi systems, but it is incremental as it extends previously published work.
The authors tackled the problem of ensuring behavioral type correctness in OSGi component systems by developing an Eclipse-based implementation with tools for type comparison, incompatibility resolution, and runtime verification using AspectJ, and they presented evaluation based on examples.
This report presents our work on behavioral types for OSGi component systems. It extends previously published work and presents features and details that have not yet been published. In particular, we cover a discussion on behavioral types in general, and Eclipse based implementation work on behavioral types . The implementation work covers: editors, means for comparing types at development and runtime, a tool connection to resolve incompatibilities, and an AspectJ based infrastructure to ensure behavioral type correctness at runtime of a system. Furthermore, the implementation comprises various auxiliary operations. We present some evaluation work based on examples.