【作者】 郭文彩； 林闯；

【Author】 GUO Wen-cai1,2,LIN Chuang1(1 Department of Computer Science and Technology,Tsinghua University,Beijing 100081,China;2 BERIS Engineering and Research Corp.,MCC,Baotou 014010,China)

【机构】 清华大学计算机科学与技术系；

【摘要】 服务组合技术成为网格领域的研究热点,但是对于服务交互行为以及服务组合正确性的研究,仍缺乏有说服力的理论和现实成果.利用Pi-演算适于描述动态、分布系统的特点,建立了基于该理论的网格服务交互行为模式、服务上下文等概念及其机理,提出服务组合正确性的定义,并进一步给出基于Pi-演算的网格服务组合正确性验证算法.实验结果证明了该算法在一定应用范围内是可行的.更多还原

【Abstract】 Although service composition is increasingly attracting more research resource in grid computing domain,there are still few concrete findings concentrated in analyzing service interaction pattern and validating its composition.Specialized on modeling the dynamic and mobile system,Pi-calculus is used to depict grid service behavior and its interaction pattern,based on which a grid service context can be established.Validating the grid service composition is further discussed and a Pi-calculus based grid service composition validation algorithm,PGSCV,is proposed based on the theoretical analysis,which proved available and efficient by experimental results.更多还原