Web服务兼容性及其验证算法

摘要：

当两个Web服务交互时,不仅它们之间交互信息的类型等这些服务的静态属性是否匹配会影响交互的兼容性,而且服务交互信息的动作顺序等动态属性同样制约着服务的兼容性,所以给Web服务动态行为一个形式化的描述有助于更深入地研究服务之间的兼容性.本文给出并比较了三种兼容性定义,并且根据每种定义不同的特点,给出验证其兼容性的算法.

关键词： the compatibility of Web services unspecified receptions deadlock verifying the compatibility

作者: 李磊 谭庆平

作者单位: 国防科学技术大学 计算机学院,湖南 长沙 410073

会议类型: 国内会议

会议名称: 中国通信学会第六届学术年会

会议地点: 深圳

会议语种:中文

页码: 117-120

在线出版日期: 2009-11-01（万方平台首次上网日期，不代表论文的发表时间）