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