Web服务行为兼容性的判定与计算

• 作者: 吴健 吴朝晖 李莹 邓水光 邝砾
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: Web服务 服务行为 行为兼容 π演算 进程
• 年，卷（期）: 2007,（12）
• 所属期刊栏目: 面向服务的计算专利
• 页码范围: 3001-3014
• 页数: 14页
• 分类号: TP393
• 字数: 9839字
• 语种: 中文

摘要

确保Web服务行为兼容是实现Web服务无缝集成与协作的一个重要问题.在服务视图概念的基础上,给出了Web服务行为兼容性的相关定义.提出一种基于π演算的Web服务行为兼容性的定性判定与定量计算方法.该方法首先通过算法自动地将Web服务行为和Web服务间的交互行为表达成π演算进程,然后借助π演算的操作语义和形式化推演实现服务行为兼容性自动的定性判定;随后在π演算的进程变换理论的基础上提出算法实现服务兼容性自动的定量计算.该方法在服务动态组合与服务动态替换中的典型应用表明,该方法对于服务组合的正确建立和可靠执行具有重要作用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴朝晖	浙江大学计算机科学与技术学院	119	3584	30.0	58.0
2	李莹	浙江大学计算机科学与技术学院	46	1420	16.0	37.0
3	邓水光	浙江大学计算机科学与技术学院	24	1365	14.0	24.0
4	吴健	浙江大学计算机科学与技术学院	92	2205	22.0	46.0
5	邝砾	浙江大学计算机科学与技术学院	3	150	2.0	3.0