Towards a Framework for Behavioral Specifications of OSGi Components
This work addresses component interoperability challenges in software engineering, particularly for OSGi systems, but appears incremental as it builds on existing formal methods.
The paper tackles the problem of specifying and verifying behavioral interactions in OSGi components by introducing a framework based on finite automata, enabling detection of incompatibilities and potential issues during both development and runtime.
We present work on behavioral specifications of OSGi components. Our behavioral specifications are based on finite automata like formalisms. Behavioral specifications can be used to find appropriate components to interact with, detect incompatibilities between communication protocols of components and potential problems resulting from the interplay of non-deterministic component specifications. These operations can be carried out during development and at runtime of a system. Furthermore, we describe work carried out using the Eclipse based implementation of our framework.