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

• 作者: 刘方方 史玉良 张亮 施伯乐
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: Web服务 合成 替换 进程代数
• 年，卷（期）: 2007,（11）
• 所属期刊栏目: 短文
• 页码范围: 2033-2039
• 页数: 7页
• 分类号: TP311
• 字数: 6598字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2007.11.017

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	施伯乐	复旦大学计算机与信息技术系	188	4414	33.0	61.0
2	张亮	复旦大学计算机与信息技术系	98	872	17.0	24.0
3	史玉良	复旦大学计算机与信息技术系	3	90	3.0	3.0
4	刘方方	复旦大学计算机与信息技术系	1	57	1.0	1.0