欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
随着互联网中包含多个交互的复杂服务的大量出现,如何有效检测服务之间的匹配性至关重要.与传统的业务流程互操作匹配性验证不同,在互联网环境下匹配性检测,一方面要面临如何实现快速检测的挑战,另一方面要解决如何准确地检测完整且精确的不匹配原因以便及时修正.为此,文中提出了一种基于交互冲突的服务互操作性检测方法,该方法利用局部交互之间的行为约束关系检测复杂服务互操作的匹配性,并形式化证明了该方法能够获得与经典的互操作匹配性检测方法一致的检测结果.与经典的互操作匹配性检测方法相比,该文方法时间复杂度低且检测结果可以确切地给出完整、精确的互操作不匹配的原因.
英文摘要：
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.
同期刊论文项目
同项目期刊论文
期刊信息
位置：