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

发布时间：2020-05-07 17:53

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

【参考文献】

相关期刊论文 前5条

1 毕敬;朱志良;范玉顺;;Web服务组合中行为兼容性分析与优化控制策略[J];电子学报;2011年12期

2 公帅;熊锦华;刘志勇;;最终用户编程中的业务流程相似度计算[J];计算机集成制造系统;2011年08期

3 李喜彤;范玉顺;;Web服务流程相容性和相似性分析[J];计算机学报;2009年12期

4 公帅;熊锦华;刘志勇;;面向最终用户的组合服务推荐[J];计算机集成制造系统;2013年08期

5 邓水光;李莹;吴健;邝砾;吴朝晖;;Web服务行为兼容性的判定与计算[J];软件学报;2007年12期

【共引文献】

相关期刊论文 前10条

1 刘莹;张斌;刘国奇;汪德帅;;基于行为效果的服务匹配算法[J];东北大学学报(自然科学版);2010年06期

2 殷昱煜;李莹;邓水光;尹建伟;;Web服务行为一致性与相容性判定[J];电子学报;2009年03期

3 张广泉;戎玫;王f;;时间感知Web服务交互行为建模与失配检测方法研究[J];电子学报;2011年11期

4 赵娟;;基于Petri网的语义Web服务过程模型匹配算法研究[J];河南科学;2009年02期

5 戎玫;陈圣标;张广泉;;基于限界模型检查的Web服务行为失配检测[J];计算机科学;2012年06期

6 邓水光;黄龙涛;尹建伟;李莹;吴健;;Web服务组合技术框架及其研究进展[J];计算机集成制造系统;2011年02期

7 王伟然;范玉顺;;业务服务配置模型与运行机制[J];计算机集成制造系统;2011年12期

8 郑剑;江建慧;;基于标签转换系统的Web服务行为失配类型的判定方法[J];计算机集成制造系统;2011年12期

9 胡强;杜玉越;;Web服务业务流程执行语言交互兼容性判定[J];计算机集成制造系统;2012年06期

10 李喜彤;范玉顺;;Web服务流程相容性和相似性分析[J];计算机学报;2009年12期

相关会议论文 前1条

1 李昌志;付晓东;田强;王威;夏永滢;;一种费用最小化的Veb服务组合可靠性优化分配方法[A];第25届中国控制与决策会议论文集[C];2013年

相关博士学位论文 前10条

1 殷昱煜;面向服务的软件动态配置技术研究[D];浙江大学;2010年

2 曹虹华;语义编程语言SPROGLE及其实现机制研究[D];武汉大学;2009年

3 刘林源;Web服务组合隐私分析与验证研究[D];南京航空航天大学;2011年

4 张帅;基于服务组合的跨企业协作关键技术研究[D];浙江大学;2011年

5 刘铁江;组合Web服务选择、部署与执行的关键技术研究[D];复旦大学;2011年

6 杨勇;SOA等级化服务替换理论与机制[D];复旦大学;2011年

7 江志雄;基于动态语义的Web服务描述[D];复旦大学;2008年

8 林宝平;Web服务接口的相容性与调解研究[D];中国科学技术大学;2009年

9 包力;Web服务组合形式化建模与验证研究[D];大连海事大学;2009年

10 邓娜;BPEL流程生命周期中若干关键问题研究[D];北京邮电大学;2011年

相关硕士学位论文 前10条

1 张祥涛;基于语义Web服务的多层次匹配模型的研究与实现[D];华南理工大学;2010年

2 宋仲凯;大粒度服务组合验证工具的设计与实现[D];浙江大学;2011年

3 周梁伟;基于SOA的网构软件动态配置系统设计与实现[D];浙江大学;2011年

4 易学武;基于ASP.Net的在线图书销售系统的设计与实现[D];电子科技大学;2010年

5 魏涛;基于.NET的高校科研管理系统的设计与实现[D];南京理工大学;2011年

6 江阳;Web服务组合与验证相关技术研究[D];中南大学;2011年

7 刘静;WEB组合服务框架优化模型的研究及其系统实现[D];中南大学;2011年

8 常斌;基于Pi-演算的Web服务组合的描述和验证[D];南京邮电大学;2011年

9 牟如玲;基于行为属性距离的软件行为可信评价[D];河北大学;2011年

10 陈圣标;基于BMC的Web服务失配检测方法研究[D];苏州大学;2011年

【二级参考文献】

相关期刊论文 前10条

1 龚洪泉,赵文耘,徐如志,钱乐秋;基于Pi演算的构件演化研究[J];电子学报;2004年S1期

2 殷昱煜;李莹;邓水光;尹建伟;;Web服务行为一致性与相容性判定[J];电子学报;2009年03期

3 王勇;代桂平;侯亚荣;方娟;任兴田;;基于并发事务逻辑的Web服务编制验证[J];电子学报;2009年10期

4 韩燕波;王洪翠;王建武;闫淑英;张程;;一种支持最终用户探索式组合服务的方法[J];计算机研究与发展;2006年11期

5 李喜彤;范玉顺;;Web服务过程建模及其逻辑正确性验证[J];计算机集成制造系统;2008年04期

6 公帅;熊锦华;刘志勇;;最终用户编程中的业务流程相似度计算[J];计算机集成制造系统;2011年08期

7 张文涛;彭泳;陈俊亮;;会话类E-Service的接口兼容和服务组合分析[J];计算机学报;2006年07期

8 钱柱中;陆桑璐;谢立;;基于Petri网的Web服务自动组合研究[J];计算机学报;2006年07期

9 郭玉彬;杜玉越;奚建清;;Web服务组合的有色网模型及运算性质[J];计算机学报;2006年07期

10 刘方方;史玉良;张亮;施伯乐;;基于进程代数的Web服务合成的替换分析[J];计算机学报;2007年11期

【相似文献】

相关期刊论文 前10条

1 郭雷,方立东,陈天滋;基于Web服务的数字城市信息资源共享平台[J];计算机工程与设计;2005年03期

2 宁帆,涂金兰;软件互操作方法分析及Web Service软件互操作实现[J];长沙铁道学院学报(社会科学版);2005年02期

3 曹国,姚建初,吴义忠,徐华;支持协同设计的资源库的开发研究[J];计算机工程;2003年16期

4 尹毅伟;刘敏;孙斗;赵永望;;Web服务标准及互操作性分析(六) Web服务业务流程相关标准的互操作性分析[J];信息技术与标准化;2009年08期

5 刘高原,刘觉夫;基于Web服务的网格服务研究[J];华东交通大学学报;2005年04期

6 韩宇星;马冬梅;李林;;工作流技术与Web服务[J];河南教育学院学报(自然科学版);2007年04期

7 唐渊;金可音;周昆;宋春阳;;Web服务失败分类法[J];湖南工业大学学报;2009年02期

8 杨云;张剑;赵正文;;基于Web Services的应用集成的研究[J];计算机与信息技术;2011年06期

9 孙军梅,缪淮扣,刘玲;智能服务——Web服务和语义Web集成研究[J];计算机工程与应用;2004年09期

10 冯锡炜;基于Web Services的分布式异构环境互操作性研究[J];渤海大学学报(自然科学版);2004年01期

相关会议论文 前10条

1 郭陈阳;王宏;李强;殷泰晖;;基于WSDL的WSDM研究[A];计算机技术与应用进展·2007——全国第18届计算机技术与应用（CACIS）学术会议论文集[C];2007年

2 尤军;;谈气象Web服务的网络安全问题[A];网络安全技术的开发应用学术会议论文集[C];2002年

3 刘正涛;毛宇光;应毅;;基于Web服务的分布式Web应用框架研究[A];第一届全国Web信息系统及其应用会议（WISA2004）论文集[C];2004年

4 任涛;李玉忱;刘乃丽;;面向动态环境的Web服务合成系统[A];第一届全国Web信息系统及其应用会议（WISA2004）论文集[C];2004年

5 张伟燕;席传裕;;J2EE中异步Web服务的研究与应用[A];第一届全国Web信息系统及其应用会议（WISA2004）论文集[C];2004年

6 蔡子龙;俞集辉;;基于Web服务的远程报表打印系统的研究[A];电工理论与新技术2004年学术研讨会论文集[C];2004年

7 王洪军;周斌;贾焰;吴泉源;;Web服务集成CCM构件模型的研究与实现[A];2006年全国开放式分布与并行计算学术会议论文集（二）[C];2006年

8 李滨;刘莹;;UDDI注册中心综述[A];中国企业运筹学[C];2009年

9 唐勇;刘玉芳;孔晓峰;;基于Specification的保护Web服务的入侵检测技术研究[A];第一届全国Web信息系统及其应用会议（WISA2004）论文集[C];2004年

10 成睿星;苏森;杨放春;;使用范例推理的服务组合方法研究[A];2006年全国通信软件学术会议论文集[C];2006年

相关重要报纸文章 前10条

1 朴华;SilverStream延伸Web服务[N];中国计算机报;2002年

2 蔡晓兵;GIS的Web服务[N];中国计算机报;2003年

3 李浩;Web服务的阳光之旅[N];网络世界;2004年

4 本报记者 薛斐;Web服务不神秘！[N];计算机世界;2002年

5 徐昊;Lotus ND6:强化Web服务协作[N];中国计算机报;2002年

6 ;Web服务世界现在还好吗？[N];网络世界;2003年

7 柴晓路;Web服务带来了新集成[N];中国计算机报;2002年

8 乐天;SOA构建要注意什么？[N];计算机世界;2004年

9 ;Web服务实现（连载7）[N];上海科技报;2002年

10 ;Web服务推动BI演进[N];网络世界;2003年

相关博士学位论文 前10条

1 任志宏;Web服务复合的若干关健问题研究[D];中国科学院研究生院（软件研究所）;2004年

2 杨文军;Web服务组装关键技术研究[D];清华大学;2005年

3 吴健;基于Web服务的网络化产品配置技术研究[D];浙江大学;2004年

4 刘安丰;基于QoS的分布式Web服务结构模型及其关键技术研究[D];中南大学;2005年

5 史玉良;Web服务合成的若干关键技术研究[D];复旦大学;2006年

6 卢刘明;基于语义的web服务发现与组合关键技术研究[D];东华大学;2006年

7 龚晓庆;基于Web服务的分布式工作流管理系统研究[D];西北大学;2004年

8 朱一群;Web服务访问控制研究[D];上海交通大学;2008年

9 许炜;Web服务事务管理关键技术研究[D];华中科技大学;2008年

10 汤景凡;动态Web服务组合的关键技术研究[D];浙江大学;2005年

相关硕士学位论文 前10条

1 王卫玲;基于SOA的Web Services集成技术研究[D];广西大学;2007年

2 刘强;WEB服务及XML安全[D];四川大学;2005年

3 吴蕾;SOA框架下面向Web服务的注错测试工具研究[D];合肥工业大学;2006年

4 章静;基于BPEL4WS的业务流程测试研究[D];合肥工业大学;2006年

5 纪仁鹏;基于Web服务的OGSA的网格模型的研究与应用—多代理网格服务模型[D];江南大学;2008年

6 宋振华;基于本体的Web服务注解与查找研究[D];郑州大学;2005年

7 合明;多组织工作流消息引擎的设计与实现[D];苏州大学;2004年

8 廖源;全局XML Web服务中协议的研究[D];武汉大学;2004年

9 符生其;基于Web Services的供应链集成研究[D];汕头大学;2005年

10 王继梅;基于跨组织工作流的Web服务组合技术的研究[D];浙江大学;2003年

，

本文编号：2653330