计算机应用与软件
計算機應用與軟件
계산궤응용여연건
COMPUTER APPLICATIONS AND SOFTWARE
2012年
6期
17-20,32
,共5页
于庆梅%赵杰%黄冬梅%尹朝万%雷景生
于慶梅%趙傑%黃鼕梅%尹朝萬%雷景生
우경매%조걸%황동매%윤조만%뢰경생
OSGi框架%动态更新%事件发布/订阅模型%相互一致性%Petri网
OSGi框架%動態更新%事件髮佈/訂閱模型%相互一緻性%Petri網
OSGi광가%동태경신%사건발포/정열모형%상호일치성%Petri망
针对7×24小时运行的系统,不能停止系统运行进行更新或维护的问题,根据OSGi( Open Service Gateway Initiative)框架的特点,在分析已有的服务动态更新方法基础上,克服已有策略不能保证服务更新前后的相互一致性和服务状态的一致性,以及更新策略实现过程中的编程模型不佳问题,提出基于发布/订阅模型的服务动态更新策略.以静止状态理论为依据,利用Petri网形式化描述服务动态更新过程,从理论上验证该策略的有效性；同时,以Event Admin Service作为策略的实现工具,具有良好的编程模型,从而实现OSGi平台上的动态演化,实验结果表明该策略具有可行性.
針對7×24小時運行的繫統,不能停止繫統運行進行更新或維護的問題,根據OSGi( Open Service Gateway Initiative)框架的特點,在分析已有的服務動態更新方法基礎上,剋服已有策略不能保證服務更新前後的相互一緻性和服務狀態的一緻性,以及更新策略實現過程中的編程模型不佳問題,提齣基于髮佈/訂閱模型的服務動態更新策略.以靜止狀態理論為依據,利用Petri網形式化描述服務動態更新過程,從理論上驗證該策略的有效性；同時,以Event Admin Service作為策略的實現工具,具有良好的編程模型,從而實現OSGi平檯上的動態縯化,實驗結果錶明該策略具有可行性.
침대7×24소시운행적계통,불능정지계통운행진행경신혹유호적문제,근거OSGi( Open Service Gateway Initiative)광가적특점,재분석이유적복무동태경신방법기출상,극복이유책략불능보증복무경신전후적상호일치성화복무상태적일치성,이급경신책략실현과정중적편정모형불가문제,제출기우발포/정열모형적복무동태경신책략.이정지상태이론위의거,이용Petri망형식화묘술복무동태경신과정,종이론상험증해책략적유효성；동시,이Event Admin Service작위책략적실현공구,구유량호적편정모형,종이실현OSGi평태상적동태연화,실험결과표명해책략구유가행성.
