基于交互模式的网格服务组合正确性的研究

摘要：

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

关键词： 网格服务组合 交互模式 Pi-演算 正确性

作者: 郭文彩 林闯

作者单位: 清华大学,计算机科学与技术系,北京,100081;中国冶金科工集团,中冶东方工程技术公司,内蒙古,包头,014010 清华大学,计算机科学与技术系,北京,100081

会议类型: 国内会议

会议名称: 2008年全国开放式分布与并行计算学术年会

会议地点: 扬州

会议语种:中文

页码: 1-3

在线出版日期: 2008-10-25（万方平台首次上网日期，不代表论文的发表时间）