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

被引：29

作者：

邓水光

李莹

吴健

邝砾

吴朝晖

机构：

[1] 浙江大学计算机科学与技术学院

[2] 浙江大学计算机科学与技术学院浙江杭州

来源：

软件学报 | 2007年 / 12期

基金：

浙江省自然科学基金;

关键词：

Web服务; 服务行为; 行为兼容; π演算; 进程;

D O I：

暂无

中图分类号：

TP393.01 [];

学科分类号：

081201 ; 1201 ;

摘要：

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

引用

页码：3001 / 3014

页数：14

共 7 条

[1] 场景驱动的构件行为抽取 [J].