A Formal Model for Supporting Frameworks of Dynamic Service Update Based on OSGi | IEEE Conference Publication | IEEE Xplore