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

• 作者: 林闯 郭文彩
• 来源期刊: 微电子学与计算机
• 关键词: 网格服务组合 交互模式 Pi-演算 正确性
• 年，卷（期）: 2008,（9）
• 页码范围: 1-3
• 页数: 3页
• 分类号: TP393
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	林闯	清华大学计算机科学与技术系	151	10702	46.0	102.0