微电子学与计算机
微電子學與計算機
미전자학여계산궤
MICROELECTRONICS & COMPUTER
2008年
9期
1-3
,共3页
网格服务组合%交互模式%Pi-演算%正确性
網格服務組閤%交互模式%Pi-縯算%正確性
망격복무조합%교호모식%Pi-연산%정학성
服务组合技术成为网格领域的研究热点,但是对于服务交互行为以及服务组合正确性的研究,仍缺乏有说服力的理论和现实成果.利用Pi-演算适于描述动态、分布系统的特点,建立了基于该理论的网格服务交互行为模式、服务上下文等概念及其机理,提出服务组合正确性的定义,并进一步给出基于Pi-演算的网格服务组合正确性验证算法.实验结果证明了该算法在一定应用范围内是可行的.
服務組閤技術成為網格領域的研究熱點,但是對于服務交互行為以及服務組閤正確性的研究,仍缺乏有說服力的理論和現實成果.利用Pi-縯算適于描述動態、分佈繫統的特點,建立瞭基于該理論的網格服務交互行為模式、服務上下文等概唸及其機理,提齣服務組閤正確性的定義,併進一步給齣基于Pi-縯算的網格服務組閤正確性驗證算法.實驗結果證明瞭該算法在一定應用範圍內是可行的.
복무조합기술성위망격영역적연구열점,단시대우복무교호행위이급복무조합정학성적연구,잉결핍유설복력적이론화현실성과.이용Pi-연산괄우묘술동태、분포계통적특점,건립료기우해이론적망격복무교호행위모식、복무상하문등개념급기궤리,제출복무조합정학성적정의,병진일보급출기우Pi-연산적망격복무조합정학성험증산법.실험결과증명료해산법재일정응용범위내시가행적.
