-
题名基于交互冲突的服务互操作匹配性检测
被引量:9
- 1
-
-
作者
公帅
熊锦华
刘志勇
-
机构
中国科学院计算技术研究所网络数据科学与工程研究中心
中国科学院大学
中国科学院计算技术研究所计算机体系结构国家重点实验室
-
出处
《计算机学报》
EI
CSCD
北大核心
2013年第12期2479-2490,共12页
-
基金
国家"九七三"重点基础研究发展规划项目基金(2007CB310805)
国家科技支撑计划(2011BAH11B02)
国家自然科学基金创新群体项目(60921002)资助~~
-
文摘
随着互联网中包含多个交互的复杂服务的大量出现,如何有效检测服务之间的匹配性至关重要.与传统的业务流程互操作匹配性验证不同,在互联网环境下匹配性检测,一方面要面临如何实现快速检测的挑战,另一方面要解决如何准确地检测完整且精确的不匹配原因以便及时修正.为此,文中提出了一种基于交互冲突的服务互操作性检测方法,该方法利用局部交互之间的行为约束关系检测复杂服务互操作的匹配性,并形式化证明了该方法能够获得与经典的互操作匹配性检测方法一致的检测结果.与经典的互操作匹配性检测方法相比,该文方法时间复杂度低且检测结果可以确切地给出完整、精确的互操作不匹配的原因.
-
关键词
WEB服务
业务流程
互操作
匹配性检测
行为约束关系
-
Keywords
Web service
business process
interactions compatibility verification
behavior constraint relation
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种实用的景象匹配仿真方法
被引量:14
- 2
-
-
作者
杨小冈
缪栋
曹菲
-
机构
第二炮兵工程学院
-
出处
《系统仿真学报》
CAS
CSCD
2004年第3期363-365,369,共4页
-
文摘
设计了一种实用的景象匹配仿真方法。用该方法对匹配算法进行性能评估,可提高所获取的算法性能参数的可信度。基于对特定匹配算法的性能参数进行分析,提出了一种面向景象匹配制导的基准图可匹配性检测方法,为匹配区基准图的选定提供了新的度量参数。仿真比较实验结果验证了本文仿真方法的实用性、有效性。
-
关键词
匹配算法
匹配仿真
性能评估
可匹配性检测
-
Keywords
matching algorithm
matching simulation
performance evaluation
detection of matching quality
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
-