ASM-based model of dynamic service update in OSGi

Abstract

An ASM-based high level semantical model for service-oriented systems based on OSGi and supporting service dynamic updating is provided in this paper. The model not only provides the refinement methods but also gives the final model that specifies the constraint of OSGi. The resulting formal model can be applied in several ways. First, it enables checking or comparing existing systems based on OSGi to determine if they satisfy the dynamic updating demands and provide the necessary functionalities. Furthermore, it can serve as a basis for high level specification of a new system or components or updating constraint. Finally, the model is also useful in reasoning about the properties of service-oriented dynamic updating system based on OSGi.