语义Web服务自动组合定义、方法及验证调查

发布时间：2017-07-26 03:09

  本文关键词：语义Web服务自动组合定义、方法及验证调查

  更多相关文章： 语义Web服务 形式化定义 组合框架 组合方法 正确性检验

【摘要】：针对近几年在语义Web服务自动组合上的研究成果,深入归纳和总结了语义Web服务组合的定义、组合方法以及正确性验证技术,对语义Web服务组合问题进行分类和形式化定义,并归纳出一个语义Web服务自动组合框架。按照不同问题分析和比较相关的组合方法,同时总结了组合方案正确性验证技术。最后,根据前面的分析和总结,提出了语义Web服务自动组合当前面临的问题和挑战。
【作者单位】： 山东建筑大学计算机学院;天津大学计算机学院;
【关键词】： 语义Web服务 形式化定义 组合框架 组合方法 正确性检验
【基金】：山东省高等学校优秀青年教师国内访问学者资助项目(2013) 国家自然科学基金资助项目(61173155,61070202) 山东省软件工程重点实验室开放项目(2011SE001)
【分类号】：TP393.09
【正文快照】： 0引言Web服务是由服务提供商发布到互联网上的可编程模块,由于Web服务的接口描述(WSDL[1])同服务的实现细节完全解耦,并通过标准通信协议(SOAP,HTTP)进行存取,因此跨语言、跨平台实现的Web服务间进行互操作是很方便的。Web服务也因此成为实现SOA[2]架构的首选,广泛应用于企业

【参考文献】

中国博士学位论文全文数据库 前1条

1 胡佳;语义Web服务自动组合及验证的研究[D];天津大学;2010年

【共引文献】

中国期刊全文数据库 前10条

1 魏海涛;杜云艳;何亚文;周成虎;张镭;;基于语义的GP服务多层次发现算法[J];地球信息科学学报;2014年01期

2 高俊;沈才梁;陈暄;;一种面向服务体系结构的服务组合方案求解方法[J];计算机应用研究;2011年11期

3 曹洪江;聂规划;陈冬林;;基于语义标注的Web服务发现组合策略[J];制造业自动化;2010年10期

4 陈昊;蔡广军;郭亮;;面向环境层的服务组合方法[J];河南科技大学学报(自然科学版);2013年06期

5 敬石开;姜浩;许文婷;周竞涛;;考虑执行可靠性的云制造服务组合算法[J];计算机辅助设计与图形学学报;2014年03期

6 张亚红;张琳琳;赵楷;陈佳丽;冯在文;;一种基于运行时验证的Web服务选择方法[J];计算机科学;2014年01期

7 郭兰兰;王辉;陈翔涛;;基于NEI的免疫自学习Web服务突现方法研究[J];计算机工程与科学;2014年04期

8 边小凡;代艳红;马兵会;;基于ESB的企业内部构件与Web服务的集成[J];计算机工程与设计;2009年04期

9 雷彬;张洪伟;汪怔江;;基于SOA的企业分布式系统的研究与应用[J];现代计算机(专业版);2007年09期

10 高岩;张少鑫;张斌;那俊;张文斌;;基于SOA架构的Web服务组合系统[J];小型微型计算机系统;2007年04期

中国重要会议论文全文数据库 前1条

1 蔡庆;;两栖作战敏捷化指挥控制系统构建技术分析[A];2013第一届中国指挥控制大会论文集[C];2013年

中国博士学位论文全文数据库 前10条

1 陶春华;QoS感知的Web服务发现与组合研究[D];天津大学;2010年

2 唐攀;基于HTN规划的应急行动方案制定方法及技术[D];华中科技大学;2011年

3 陈志勇;面向模糊请求的服务组合关键问题研究[D];山东大学;2011年

4 张程;面向服务环境中服务的个性化推荐[D];中国科学院研究生院（计算技术研究所）;2006年

5 彭艳斌;基于准则和策略的自治式多agent服务协同体系研究[D];浙江大学;2008年

6 何丰;语义Web服务组合若干关键技术研究[D];东华大学;2008年

7 童红霞;基于Agent的Web服务组合技术研究[D];上海交通大学;2009年

8 宋玲;语义相似度计算及其应用研究[D];山东大学;2009年

9 黄沈权;制造云服务按需供应模式、关键技术及应用研究[D];浙江大学;2013年

10 刘阳;云计算中服务组合与选择技术研究[D];北京邮电大学;2013年

中国硕士学位论文全文数据库 前10条

1 李辉利;BPEL技术研究及在防灾减灾系统中的应用[D];太原理工大学;2011年

2 肖玺;StarMCC：一种基于代理的移动云计算中间件的研究与实现[D];国防科学技术大学;2011年

3 郭忆;面向组合的服务语义关系研究[D];天津大学;2012年

4 张青;面向服务的遗留系统集成方法研究[D];哈尔滨工程大学;2011年

5 张江龙;异构数据源集成技术研究[D];中国石油大学;2007年

6 马扶广;基于LDAP的异构数据源集成技术的分析与设计[D];武汉理工大学;2009年

7 朱沅海;基于Web Services的CA系统研究与实现[D];长沙理工大学;2009年

8 彭小辉;基于Spring和Hibernate框架的Jini技术Web开发研究及实现[D];武汉理工大学;2009年

9 张波;一种基于组合距离的Web服务组合方法[D];北京邮电大学;2012年

10 刘士仪;语义Web服务组合的形式化研究[D];兰州理工大学;2013年

【二级参考文献】

中国期刊全文数据库 前10条

1 康辉;苑森淼;浦洁;刘勇;;基于Pi演算的Web服务建模与WSDL转换[J];北京工业大学学报;2008年11期

2 刘家茂,顾宁,施伯乐;基于Mediator的Web Services无回溯反向链动态合成[J];计算机研究与发展;2005年07期

3 付燕宁;刘磊;张长海;;流程模板驱动的Web服务组合方法[J];吉林大学学报(工学版);2008年S2期

4 刘荣胜;黄邵;高春鸣;;基于类型化Pi-演算的Web服务组合相容性检测[J];计算机工程与应用;2007年07期

5 韩永国;孙世新;;动态服务组合构造与最优组合服务算法研究[J];计算机科学;2005年12期

6 辜希武;卢正鼎;;基于Pi-演算的BPEL4 WS Web服务组合形式化模型[J];计算机科学;2007年03期

7 史忠植,蒋运承,张海俊,董明楷;基于描述逻辑的主体服务匹配[J];计算机学报;2004年05期

8 廖军,谭浩,刘锦德;基于Pi-演算的Web服务组合的描述和验证[J];计算机学报;2005年04期

9 胡海涛,李刚,韩燕波;一种面向业务用户的大粒度服务组合方法[J];计算机学报;2005年04期

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

中国博士学位论文全文数据库 前1条

1 张成文;基于遗传算法的具有全局QoS限制的Web服务选择[D];北京邮电大学;2007年

【相似文献】

中国期刊全文数据库 前10条

1 崔华;应时;袁文杰;胡罗凯;;语义Web服务组合综述[J];计算机科学;2010年05期

2 吴善明;沈建京;韩强;;基于领域本体和OWL-S的Web服务组合方法[J];计算机工程;2009年21期

3 柯锋;李瑞轩;宋伟;於光灿;;一种P2P环境中基于语义的Web服务组合方法[J];计算机工程与科学;2007年08期

4 卢锦运;张为群;;一种基于与或图的语义Web服务自动组合方法研究[J];计算机科学;2010年03期

5 李瑞宁;周竹荣;;基于完备回溯树的语义Web服务自动组合[J];计算机应用;2008年06期

6 张以文;;一种支持用户偏好的语义Web服务组合算法[J];安庆师范学院学报(自然科学版);2007年04期

7 叶恒舟;罗晓娟;牛秦洲;;基于归约图的语义Web服务自动组合[J];桂林理工大学学报;2010年03期

8 罗楠;严隽薇;刘敏;;语义Web服务自动组合的有色网验证模型(英文)[J];系统仿真学报;2008年11期

9 周相兵;马洪江;杨兴江;;一种基于云计算的语义Web服务组合模型研究[J];微电子学与计算机;2009年08期

10 刘思培;刘大有;齐红;关菁华;;基于描述逻辑规则的语义Web服务组合[J];计算机研究与发展;2011年05期

中国重要会议论文全文数据库 前10条

1 周相兵;马洪江;杨兴江;;一种基于云计算的语义Web服务组合模型研究[A];2009年全国开放式分布与并行计算机学术会议论文集(上册)[C];2009年

2 张峰;陈欣;刘淑霞;;一种以用户为中心、人可参与的服务组合方法[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年

3 闫志刚;胡海涛;;基于语义的Web服务动态组合框架的研究[A];2010年全国开放式分布与并行计算机学术会议论文集[C];2010年

4 蓝乾艺;覃海生;;语义网格在技术渗透和融合中发展[A];广西计算机学会2006年年会论文集[C];2006年

5 夏虹;李增智;陈彦萍;;基于概念格的语义Web服务匹配研究[A];2006年全国通信软件学术会议论文集[C];2006年

6 黄胜;彭敦陆;王晓玲;周傲英;;基于与或树搜索的快速Web服务组合方法[A];第二十二届中国数据库学术会议论文集（研究报告篇）[C];2005年

7 许鹏波;鱼滨;;基于P2P环境的语义Web服务发现模型[A];2006年全国开放式分布与并行计算学术会议论文集（一）[C];2006年

8 宋庭新;熊健民;刘幺和;;基于语义Web服务的供应链协同与集成技术研究[A];2006年湖北省博士论坛——先进制造技术与制造装备论文集[C];2006年

9 项高友;黄志球;;基于SAT的语义Web服务发现[A];2008通信理论与技术新发展——第十三届全国青年通信学术会议论文集（下）[C];2008年

10 陈彦萍;李增智;夏虹;朱海萍;;服务质量驱动的Web服务组合框架的设计与实现[A];2006年全国通信软件学术会议论文集[C];2006年

中国博士学位论文全文数据库 前10条

1 于守健;基于Web服务组合的业务流程集成关键技术研究[D];东华大学;2005年

2 徐萌;基于服务关系的服务组合相关技术研究[D];北京邮电大学;2007年

3 何丰;语义Web服务组合若干关键技术研究[D];东华大学;2008年

4 叶力;Semantic Web Services的自动化组合技术[D];北京邮电大学;2008年

5 李勇;分布式Web服务发现机制研究[D];北京邮电大学;2008年

6 陈丁剑;基于语义的Web服务发现和组合技术研究[D];西北工业大学;2007年

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

8 李祯;混合QoS模型感知的语义Web服务组合决策算法研究[D];北京邮电大学;2008年

9 廖渊;普适计算环境下一种基于QoS的服务构件组合方法[D];中国科学院研究生院（软件研究所）;2005年

10 秦学;智慧政务业务协同关键技术研究[D];武汉大学;2013年

中国硕士学位论文全文数据库 前10条

1 高志升;基于多Agent的语义Web服务自动组合方法的研究[D];西华大学;2006年

2 牟欣涛;基于语义的WEB服务组合框架的研究[D];中国海洋大学;2008年

3 李玉鑫;基于本体的动态Web服务组合的研究与应用[D];大连理工大学;2009年

4 何智华;语义Web服务自动组合技术的研究[D];同济大学;2006年

5 许广宇;Web服务组合研究与实现[D];北京邮电大学;2009年

6 秦雪杰;基于语义Web服务的业务过程集成研究与应用[D];河海大学;2006年

7 钱斌;语义Web服务的自动调用[D];山东大学;2005年

8 陈伟;语义Web服务的关键技术研究[D];西北工业大学;2006年

9 赵娟;本体在Web服务发现中的应用[D];西北大学;2006年

10 严娜;基于上下文的语义Web服务发现框架及其应用[D];大连海事大学;2009年

，

本文编号：574468