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

Web Service Compatibility Verification Based on Conflict Interactions

作　　者：公帅[1,2] 熊锦华[1] 刘志勇[1,3] 

机构地区：[1]中国科学院计算技术研究所网络数据科学与工程研究中心,北京100190 [2]中国科学院大学,北京100190 [3]中国科学院计算技术研究所计算机体系结构国家重点实验室,北京100190

出　　处：《计算机学报》2013年第12期2479-2490,共12页Chinese Journal of Computers

基　　金：国家"九七三"重点基础研究发展规划项目基金(2007CB310805);国家科技支撑计划(2011BAH11B02);国家自然科学基金创新群体项目(60921002)资助~~

摘　　要：随着互联网中包含多个交互的复杂服务的大量出现,如何有效检测服务之间的匹配性至关重要.与传统的业务流程互操作匹配性验证不同,在互联网环境下匹配性检测,一方面要面临如何实现快速检测的挑战,另一方面要解决如何准确地检测完整且精确的不匹配原因以便及时修正.为此,文中提出了一种基于交互冲突的服务互操作性检测方法,该方法利用局部交互之间的行为约束关系检测复杂服务互操作的匹配性,并形式化证明了该方法能够获得与经典的互操作匹配性检测方法一致的检测结果.与经典的互操作匹配性检测方法相比,该文方法时间复杂度低且检测结果可以确切地给出完整、精确的互操作不匹配的原因.There are more and more composite Web services with complex interactions over the Internet, so how to efficiently and effectively verify their compatibility is important. However, there are two major challenges： compatibility verification should be faster, and the verification should include complete and precise incompatibility interactions. In order to address the two challenges, we propose a compatibility verification approach based on conflict interactions. This approach exploits the behavior constraint relation to verify compatibility. And we prove that this approach is able to reach the agreement with the compatibility defined in the classical research works. Finally, we evaluate our approach with the SAP reference repository, which is used by many research works. Experiments illustrate that our approach outperforms the state-of-the-art on time complexity, and is able to discover complete and precise incompatibility interactions.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]