中国科技论文
中國科技論文
중국과기논문
Sciencepaper Online
2012年
10期
773-778
,共6页
杜思奇%黄林鹏%陈俊清%陈璐希
杜思奇%黃林鵬%陳俊清%陳璐希
두사기%황림붕%진준청%진로희
动态更新%普适计算%分布式%进程代数%模型验证
動態更新%普適計算%分佈式%進程代數%模型驗證
동태경신%보괄계산%분포식%진정대수%모형험증
首先介绍了普适计算的特点,通过对更新对象及现有更新机制进行分析,评估了已有的动态更新方法的适用性;在此基础上,提出了一种分布式的更新模型,并使用进程代数FSP进行形式化建模,对更新机制进行刻画;最后结合FSP模型验证工具检验了模型具有无死锁隐患、客户透明性和服务器正确性等3个特性,从而保证了模型的有效性.
首先介紹瞭普適計算的特點,通過對更新對象及現有更新機製進行分析,評估瞭已有的動態更新方法的適用性;在此基礎上,提齣瞭一種分佈式的更新模型,併使用進程代數FSP進行形式化建模,對更新機製進行刻畫;最後結閤FSP模型驗證工具檢驗瞭模型具有無死鎖隱患、客戶透明性和服務器正確性等3箇特性,從而保證瞭模型的有效性.
수선개소료보괄계산적특점,통과대경신대상급현유경신궤제진행분석,평고료이유적동태경신방법적괄용성;재차기출상,제출료일충분포식적경신모형,병사용진정대수FSP진행형식화건모,대경신궤제진행각화;최후결합FSP모형험증공구검험료모형구유무사쇄은환、객호투명성화복무기정학성등3개특성,종이보증료모형적유효성.