Abstract
The continuous requirements of evolving a service-oriented application and the rising cost of shutting down services at runtime are forcing researchers to find ways of updating services while they run. Dynamic service update can solve the problem of such applications and is becoming a challenging issue. This paper presents a formal model for supporting dynamic update framework based on OSGi. The process of dynamic service update is specified using Finite State Process (FSP) and then the Labelled Transition System Analyzer (LTSA) tool for formal property verifications. We also formally analyze and prove type-safe update of such frameworks, and finally demonstrate that our model works well in practical cases.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
