基于交互冲突的服务互操作匹配性检测

摘要：

随着互联网中包含多个交互的复杂服务的大量出现,如何有效检测服务之间的匹配性至关重要.与传统的业务流程互操作匹配性验证不同,在互联网环境下匹配性检测,一方面要面临如何实现快速检测的挑战,另一方面要解决如何准确地检测完整且精确的不匹配原因以便及时修正.为此,文中提出了一种基于交互冲突的服务互操作性检测方法,该方法利用局部交互之间的行为约束关系检测复杂服务互操作的匹配性,并形式化证明了该方法能够获得与经典的互操作匹配性检测方法一致的检测结果.与经典的互操作匹配性检测方法相比,该文方法时间复杂度低且检测结果可以确切地给出完整、精确的互操作不匹配的原因.

关键词：Web服务、业务流程、互操作、匹配性检测、行为约束关系

所属期刊栏目：36

分类号：TP311(计算技术、计算机技术)

资助基金：国家“九七三”重点基础研究发展规划项目基金2007CB310805;国家科技支撑计划2011BAH11B02;国家自然科学基金创新群体项目60921002资助.The research problem is an important part of the project "Service Resources Interoperability and Collaboration",which is supported by the National Basic Research Program of China2007CB310805

在线出版日期：2014-02-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共12页

页码：2479-2490