基于动态描述逻辑的语义Web服务组合

发布时间：2018-10-20 12:24

【摘要】：应用合适的形式系统对语义Web服务建模是实现语义Web服务自动组合的前提;形式系统的表达能力和计算性能决定了语义Web服务组合的准确度和求解效率.动态描述逻辑DDL(X)将动态逻辑、描述逻辑以及构建在描述逻辑之上的动作理论有机地结合,为语义Web服务的建模提供了新的工具.提出了一种基于DDL(X)的语义Web服务自动组合方法.首先,在将OWL-S表示的语义Web服务建模为动作的基础上,将语义Web服务组合问题建模为基于DDL(X)的规划问题,其中规划问题的规划解可以由DDL(X)中的任一动作构成,从而可以支持OWL-S中不含有Split和Split+Join的各种Web服务组合方案.针对建模后得到的任一规划问题,给出了用来判断是否存在规划解的判定算法,证明了算法的可终止性、可靠性和完备性.最后,当规划解存在时,可以根据判定过程将其解析出来.文中的方法充分发挥了DDL(X)在表达能力和计算性能等方面的优势,为语义Web服务自动组合提供了一套有效的理论工具.
[Abstract]:The modeling of semantic Web services using appropriate formal systems is the prerequisite for automatic composition of semantic Web services, and the expressive ability and computational performance of formal systems determine the accuracy and efficiency of semantic Web services composition. Dynamic description logic (DDL (X) combines dynamic logic, description logic and action theory based on description logic, which provides a new tool for modeling semantic Web services. This paper presents an automatic composition method of semantic Web services based on DDL (X). Firstly, on the basis of modeling the semantic Web service represented by OWL-S as an action, the semantic Web service composition problem is modeled as a DDL (X) based planning problem, where the planning solution of the planning problem can be composed of any action in DDL (X). Thus, it can support various Web service composition schemes without Split and Split Join in OWL-S. For any programming problem after modeling, an algorithm for judging the existence of programming solution is presented, and the terminability, reliability and completeness of the algorithm are proved. Finally, when the programming solution exists, it can be analyzed according to the decision process. The method in this paper gives full play to the advantages of DDL (X) in terms of expression ability and computational performance, and provides a set of effective theoretical tools for automatic composition of semantic Web services.
【作者单位】： 武汉大学软件工程国家重点实验室;桂林电子科技大学广西可信软件重点实验室;中国科学院计算技术研究所智能信息处理重点实验室;
【基金】：国家自然科学基金(61363030,61262030,61035003,61070013,61163041) 国家“九七三”重点基础研究发展规划项目基金(2007CB311004) 武汉大学软件工程国家重点实验室开放基金(SKLSE2010-08-02) 广西自然科学基金(2012GXNSFBA053169) 广西可信软件重点实验室研究课题(KX201109)资助~~
【分类号】：TP18;TP393.09

【参考文献】

相关期刊论文 前7条

1 ;A logical foundation for the semantic Web[J];Science in China(Series F:Information Sciences);2005年02期

2 常亮;史忠植;邱莉榕;林芬;;动态描述逻辑的Tableau判定算法[J];计算机学报;2008年06期

3 史忠植;常亮;;基于动态描述逻辑的语义Web服务推理[J];计算机学报;2008年09期

4 宋巍;马晓星;吕建;;Web服务组合动态演化的实例可迁移性[J];计算机学报;2009年09期

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

6 汤宪飞;蒋昌俊;丁志军;王成;;基于Petri网的语义Web服务自动组合方法[J];软件学报;2007年12期

7 王杰生;李舟军;李梦君;;用描述逻辑进行语义Web服务组合[J];软件学报;2008年04期

【共引文献】

相关期刊论文 前10条

1 夏亚梅;苏森;;面向本体实例生成的有限汉语语法学习系统[J];北京邮电大学学报;2010年05期

2 万长林;韩旭;牛温佳;王文杰;史忠植;;基于动态描述逻辑的服务组合及质量模型[J];电子学报;2010年08期

3 张大鹏;王文杰;史忠植;;一种基于主体的可信网构软件设计方法[J];电子学报;2010年11期

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

5 朱玲玲;;动态ABoxes的描述逻辑推理[J];福建电脑;2009年01期

6 常亮;;基于逻辑的行动理论综述[J];桂林电子科技大学学报;2010年05期

7 李德波;古天龙;常亮;高西;;基于OBDD的描述逻辑SHOIQ判定算法研究与实现[J];桂林电子科技大学学报;2011年02期

8 黄聪;古天龙;常亮;;基于OBDD的描述逻辑ALC判定算法[J];桂林电子科技大学学报;2012年03期

9 常亮;高申;李德波;古天龙;;基于OBDD的描述逻辑ALCIO判定算法[J];广西科学院学报;2010年04期

10 周相兵;;本体应用综述[J];广西科学院学报;2010年04期

相关会议论文 前2条

1 赵会群;孙晶;魏莹;王文文;;服务体系结构的动态演化方法研究[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年

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

相关博士学位论文 前10条

1 宋巍;Web服务组合动态演化技术研究[D];南京大学;2010年

2 邝砾;基于接口和行为语义的Web服务发现与适配研究[D];浙江大学;2009年

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

4 宋雅娟;Web服务组合方法研究[D];吉林大学;2011年

5 萧毅鸿;基于本体的复杂决策任务表示方法与求解技术研究[D];南京大学;2011年

6 唐素勤;面向语义Web的描述逻辑本体构建[D];中南大学;2011年

7 张龙昌;面向复杂上下文的组合服务决策方法研究[D];北京邮电大学;2011年

8 沈国华;基于描述逻辑的语义Web服务建模及推理研究[D];南京航空航天大学;2009年

9 杨瑞龙;基于短语特征的Web文档聚类方法研究[D];重庆大学;2010年

10 童亮;数控机床网络化集成运行模式及关键集成技术研究[D];重庆大学;2011年

相关硕士学位论文 前10条

1 张福新;工作流动态构建技术研究及应用[D];山东科技大学;2010年

2 宋超臣;基于推荐网络的服务搜索技术研究[D];哈尔滨工程大学;2010年

3 杜娟;基于语义网格的知识地图资源组织研究与应用[D];哈尔滨工程大学;2010年

4 朱利君;基于茶学领域本体的智能检索研究[D];安徽农业大学;2010年

5 王志兵;软件行为运行时验证研究[D];湖南工业大学;2010年

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

7 刘云;数字家庭无线射频协议的形式化分析与研究[D];华东理工大学;2011年

8 杨彦博;基于流演算的上下文感知Web服务组合研究[D];浙江大学;2011年

9 李延红;基于Pi演算的Web服务组合技术研究[D];山东经济学院;2011年

10 李平平;用OWL-S分析构建商业银行卡系统的SOA架构[D];太原理工大学;2011年

【二级参考文献】

相关期刊论文 前10条

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

2 史忠植,董明楷,蒋运承,张海俊;语义Web的逻辑基础[J];中国科学E辑:信息科学;2004年10期

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

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

5 马晓星 ,余萍 ,陶先平 ,吕建;一种面向服务的动态协同架构及其支撑平台[J];计算机学报;2005年04期

6 李曼,王大治,杜小勇,王珊;基于领域本体的Web服务动态组合[J];计算机学报;2005年04期

7 赵俊峰,谢冰,张路,杨芙清;一种支持领域特性的Web服务组装方法[J];计算机学报;2005年04期

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

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

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

【相似文献】

相关期刊论文 前10条

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

2 陈楠;李建华;刘贤;;基于参数关联矩阵的服务组合研究[J];计算机工程;2010年20期

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

4 朱正东;胡亚红;伍卫国;王勇;李增智;;内容寻址网络的P2P语义Web服务组合系统架构[J];西安交通大学学报;2010年02期

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

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

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

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

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

10 周相兵;杨小平;谢成锦;杨兴江;;面向本体的服务组合差分进化策略[J];计算机工程;2009年11期

相关会议论文 前10条

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

2 江琦;奚宏生;殷保群;;网络新媒体服务系统事件驱动的动态服务组合[A];第二十九届中国控制会议论文集[C];2010年

3 袁兆山;吴亮;;QoS驱动的事务性WEB服务组合[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集（下册）[C];2009年

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

5 张玉军;李心科;;面向自然语言描述的Web服务组合[A];2011中国仪器仪表与测控技术大会论文集[C];2011年

6 段友祥;相鹏;;Web服务组合引擎的研究与实现[A];第二十三届中国数据库学术会议论文集（研究报告篇）[C];2006年

7 张艳梅;;基于Overlay网络的服务组合研究综述[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集（上）[C];2006年

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

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

10 赵芸;司华友;;基于OWL-S需求驱动的WEB服务组合研究[A];全国第19届计算机技术与应用（CACIS）学术会议论文集（下册）[C];2008年

相关重要报纸文章 前5条

1 中国科学院计算技术研究所 万长林邋史忠植 彭晖;语义Web解决Web服务难题[N];计算机世界;2007年

2 韩燕波;SOA与网格：整合资源新模式[N];计算机世界;2006年

3 马涛;搭建VPN五步骤[N];中国计算机报;2007年

4 刘文熙;灵活性与实时性的统一[N];人民邮电;2000年

5 ;诺顿网络安全特警2010与Think品牌电脑强强联手[N];人民邮电;2009年

相关博士学位论文 前10条

1 向峰;云制造系统中基于能耗的服务组合关键技术研究[D];武汉理工大学;2013年

2 龙军;基于信任感知与演化的服务组合关键技术研究[D];中南大学;2011年

3 刘波;云制造环境中面向多任务的服务组合与优化技术研究[D];重庆大学;2012年

4 朱锐;可信服务组合若干关键技术研究[D];国防科学技术大学;2009年

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

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

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

8 马林;基于可信评估的服务组合方法研究[D];中国科学技术大学;2012年

9 于晓浩;面向任务的军事信息服务组合方法与关键技术研究[D];国防科学技术大学;2011年

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

相关硕士学位论文 前10条

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

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

3 王鹏超;基于规划的语义Web服务组合[D];吉林大学;2005年

4 陈楠;语义Web服务组合相关技术研究[D];中南大学;2010年

5 吴亮;基于模糊Petri网的语义Web服务组合建模与验证[D];合肥工业大学;2009年

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

7 赵伟伟;基于冗余的可靠Web服务组合方法研究[D];燕山大学;2010年

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

9 谭征;一种Web服务组合的自动化模型检测方法[D];桂林电子科技大学;2010年

10 王剑平;基于本体和规则的语义web服务的研究与实现[D];浙江工业大学;2009年

，

本文编号：2283173