Towards a Framework for Behavioral Specifications of OSGi Components

Jan Olaf Blech
(fortiss GmbH)

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.

In Barbora Buhnova, Lucia Happe and Jan Kofroň: Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures (FESCA 2013), Rome, Italy, March 23, 2013, Electronic Proceedings in Theoretical Computer Science 108, pp. 79–93.
Published: 20th February 2013.

ArXived at: bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to:
For website issues: