A Formal Model for Supporting Frameworks of Dynamic Service Update Based on OSGi

被引：2
作者：
Chen, Junqing [1 ]
Huang, Linpeng [1 ]
Du, Siqi [1 ]
Zhou, Wenjia [1 ]
机构：
[1] Shanghai Jiao Tong Univ, Dept Comp Sci & Engn, Shanghai, Peoples R China
来源：
17TH ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2010) | 2010年
基金：
中国国家自然科学基金; 高等学校博士学科点专项科研基金;
关键词：
dynamic service update; FSP; OSGi; type safety; service-oriented application;
D O I：
10.1109/APSEC.2010.35
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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.
引用
收藏
页码：234 / 241
页数：8
相关论文
共 24 条
  • [1] Ajmani S, 2006, LECT NOTES COMPUT SC, V4067, P452
  • [2] [Anonymous], 2009, OSGI SERV PLATF COR
  • [3] A framework for evolutionary, dynamically updatable, component-based systems
    Bialek, R
    Jul, E
    [J]. 24TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOPS, PROCEEDINGS, 2004, : 326 - 331
  • [4] Enhanced OSGi Bundle Updates to Prevent Runtime Exceptions
    Brada, Premysl
    [J]. PROCEEDINGS OF THE 34TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS, 2008, : 92 - 99
  • [5] Dynamic service update based on OSGi
    Chen, Junqing
    Huang, Linpeng
    [J]. 2009 WRI WORLD CONGRESS ON SOFTWARE ENGINEERING, VOL 3, PROCEEDINGS, 2009, : 493 - 497
  • [6] Dmitriev M., 2001, THESIS
  • [7] Foster H., 2006, THESIS
  • [8] Gamma E, 1995, DESIGNPATTERNS ELEME
  • [9] Gupta Deepak., 1996, IEEE TSE, V22
  • [10] Hicks Michael, 2001, THESIS
123