基于进程代数的Web服务合成的替换分析

作     者：刘方方 史玉良 张亮 施伯乐 LIU Fang-Fang;SHI Yu-Liang;ZHANG Liang;SHI Bo-Le

作者机构：复旦大学计算机与信息技术系上海200433 

出 版 物：《计算机学报》 (Chinese Journal of Computers)

年 卷 期：2007年第30卷第11期

页      面：2033-2039页

核心收录：

学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家"九七三"重点基础研究发展规划项目基金(2005CB321905)资助. 

主　　题：Web服务 合成 替换 进程代数 

摘      要：Web服务合成是Web服务研究领域的热点问题,Web服务的替换与Web服务合成密切相关且对于Web服务合成系统的健壮性有重要作用.使用进程代数作为形式化的工具描述Web服务,对合成中的行为特征进行推导,分析由于异步交互对Web服务合成设计与实现产生的影响.在此之上,基于服务合成正确性的定义,提出一种一致性关系,若新服务与将要被替换的参与合成的服务之间存在这种关系,那么替换后的服务合成仍然是正确的,并且替换是上下文无关的.