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

第卷第期 计 算 机 学 报 ３６ １２ 　 　　　　　　　　 Ｖｏｌ．３６Ｎｏ．１２ 年月 ２０１３１２ ＣＨＩＮＥＳＥＪＯＵＲＮＡＬＯＦＣＯＭＰＵＴＥＲＳ Ｄｅｃ．２０１３ 　 基于交互冲突的服务互操作匹配性检测 ），） ） ），） １２ １ １３ 公帅 熊锦华 刘志勇 　 　 　 ） １（中国科学院计算技术研究所网络数据科学与工程研究中心北京 ） １００１９０ 　 　 ） ２（中国科学院大学北京 ） １００１９０ 　 　 ） ３（中国科学院计算技术研究所计算机体系结构国家重点实验室北京 ） １００１９０ 　 　 摘要 ， 随着互联网中包含多个交互的复杂服务的大量出现如何有效检测服务之间的匹配性至关重要与传统 ． 　　 的业务流程互操作匹配性验证不同，在互联网环境下匹配性检测，一方面要面临如何实现快速检测的挑战，另一方 面要解决如何准确地检测完整且精确的不匹配原因以便及时修正为此，文中提出了一种基于交互冲突的服务互 ． 操作性检测方法，该方法利用局部交互之间的行为约束关系检测复杂服务互操作的匹配性，并形式化证明了该方 ， 法能够获得与经典的互操作匹配性检测方法一致的检测结果与经典的互操作匹配性检测方法相比该文方法时 ． 、 间复杂度低且检测结果可以确切地给出完整精确的互操作不匹配的原因 ． 关键词 ； ； ； ； 服务业务流程互操作匹配性检测行为约束关系 Ｗｅｂ 　 中图法分类号 号 ／ ＴＰ３１１ 犇犗犐 １０．３７２４ＳＰ．Ｊ．１０１６．２０１３．０２４７９ 　　　 　 犠犲犫犛犲狉狏犻犮犲犆狅犿犪狋犻犫犻犾犻狋犞犲狉犻犳犻犮犪狋犻狅