基于动态描述逻辑的Web自动化服务组合

发布时间：2017-11-05 12:20

  本文关键词：基于动态描述逻辑的Web自动化服务组合

  更多相关文章： Web服务组合 语义Web 描述逻辑 动态描述逻辑(DDL)

【摘要】：研究了动态描述逻辑(DDL)在Web服务组合中的应用。基于目标规划以及动态描述逻辑给出了Web服务组合算法。该算法考虑了客户的个人偏好,扩大了Web服务的应用范围。它使用DDL进行Web服务组合刻画,因为DDL将具有相似功能的服务划为一个动作集合,因而能够实现对语义Web中的动态知识和静态知识的统一描述,克服描述逻辑缺乏对动态知识描述的不足。该算法能够利用目标规划给出主体的动作执行序列,以有效实现Web服务的自动组合。最后通过具体实例验证了该算法的可行性。
【作者单位】： 中国科学院计算技术研究所智能信息重点实验室;中国科学院大学;中国矿业大学计算机学院;
【基金】：973计划(2013CB329502) 国家自然科学基金(61035003,60933004,61202212,61072085) 863计划(2012AA011003) 国家科技支撑计划(2012BA107B02) 中国信息安全测评中心(CNITSEC-KY-2012-006/1)资助项目
【分类号】：TP393.09
【正文快照】： ,^ 智能规划的方法。范贵生等[5]采用Petri网对Weh^ 服务组合的过程进行描述,其优点是较为直观,但是随着Web服务类型、数量的爆炸式增长,Weh 随着服务组合规模的增大,容易引起状态空苘爆炸服务从局部发展到了全球,从集中式发展到分布式, 问题。肖芳雄筹[6]提出了一种时间概率

【参考文献】

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

1 邱爽;王亚东;刘永壮;;基于语义Web服务内部流程接口匹配的服务组合算法[J];高技术通讯;2012年06期

2 肖芳雄;李燕;黄志球;曹子宁;陈哲;范大娟;;基于时间概率代价进程代数的Web服务组合建模和分析[J];计算机学报;2012年05期

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

4 范贵生;虞慧群;陈丽琼;刘冬梅;;基于Petri网的服务组合故障诊断与处理[J];软件学报;2010年02期

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

6 邱莉榕;史忠植;林芬;常亮;;基于主体的语义Web服务自动组合研究[J];计算机研究与发展;2007年04期

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

【共引文献】

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

1 贾静兰;董才林;喻莹;王静;张丽芬;;基于回溯树的语义Web服务自动组合优化方法[J];计算机工程;2016年04期

2 杨波;李颖芳;傅锦伟;;基于Petri网的语义Web服务组合建模研究[J];红河学院学报;2016年02期

3 吕大钧;;计算机体系结构软件模拟技术分析[J];电子技术与软件工程;2016年04期

4 肖芳雄;许波;夏国恩;李国祥;闵华清;;面向组合式软件功能正确性和非功能满足性的统一建模方法[J];计算机科学;2015年12期

5 李玲;刘敏;成国庆;;一种基于FAHP的多维QoS局部最优服务选择模型[J];计算机学报;2015年10期

6 刘冰月;张永;;基于松弛函数扩展的二分图匹配服务发现算法[J];计算机工程与设计;2015年09期

7 孙彬;;计算机物流服务的约简与优势发现[J];物流技术;2015年13期

8 杨煜俊;陶宇;吴少练;毕辉;;基于Web Services和MMS的机器人制造单元异构设备通讯研究[J];现代制造工程;2015年05期

9 王娜娜;黄运有;唐素勤;王石;曹存根;;基于OMKast的术语关系获取和验证[J];计算机应用研究;2015年11期

10 魏彩娟;;基于Web3.0概念的个人信息保护研究[J];电脑知识与技术;2015年11期

【二级参考文献】

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

1 胡建强;李涓子;廖桂平;;一种基于多维服务质量的局部最优服务选择模型[J];计算机学报;2010年03期

2 范小芹;蒋昌俊;王俊丽;庞善臣;;随机QoS感知的可靠Web服务组合[J];软件学报;2009年03期

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

4 邓水光;尹建伟;李莹;吴健;吴朝晖;;基于二分图匹配的语义Web服务发现方法[J];计算机学报;2008年08期

5 范贵生;刘冬梅;陈丽琼;虞慧群;;可靠服务组合的协调策略与分析[J];计算机学报;2008年08期

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

7 邓水光;吴健;李莹;吴朝晖;;基于回溯树的Web服务自动组合[J];软件学报;2007年08期

8 王杰生;李舟军;李梦君;;语义Web服务的自动化组合方法:研究综述[J];计算机科学;2007年06期

9 吕建;马晓星;陶先平;徐锋;胡昊;;网构软件的研究与进展[J];中国科学E辑:信息科学;2006年10期

10 梅宏;申峻嵘;;软件体系结构研究进展[J];软件学报;2006年06期

【相似文献】

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

1 王驹;蒋运承;唐素勤;;一种模糊动态描述逻辑[J];计算机科学与探索;2007年02期

2 王岁花;赵爱玲;魏涛;;描述逻辑的粗糙扩展研究[J];计算机工程与科学;2011年02期

3 李言辉,徐宝文,陆建江,汪鹏,周晶晶;一种扩展的模糊描述逻辑[J];东南大学学报(自然科学版);2005年05期

4 陆建江;李言辉;张亚非;周波;康达周;;限制数量约束的扩展模糊描述逻辑的推理复杂性(英文)[J];Journal of Southeast University;2007年02期

5 李宗寿;;基于描述逻辑的知识建模语言[J];怀化学院学报(自然科学);2007年02期

6 彭晖;陈立民;常亮;史忠植;;基于动态描述逻辑的语义Web服务匹配研究[J];计算机研究与发展;2008年12期

7 丛晓青;曹存根;眭跃飞;;带函数的描述逻辑[J];计算机工程与应用;2008年22期

8 王静;贾成伟;张健沛;杨静;;基于可拓理论的描述逻辑扩展[J];计算机应用;2008年08期

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

10 吴修国;曾广周;许崇敬;;基于描述逻辑的目标推理研究[J];计算机科学;2008年07期

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

1 文斌;甘健侯;夏幼明;徐天任;;基于ALC的扩展描述逻辑ALC~+[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年

2 曹发生;;描述逻辑系统UEVN中概念的包含算法[A];“回顾与前瞻：中国逻辑史研究30年”全国学术研讨会论文集[C];2010年

3 文斌;甘健侯;夏幼明;徐天伟;;框架表示法到扩展描述逻辑ALC+的转换初探[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集（上）[C];2008年

4 吴凌坤;汤庸;汤娜;;一种基于时态描述逻辑的工资智能决策支持系统的实现[A];第二十三届中国数据库学术会议论文集（研究报告篇）[C];2006年

5 康达周;徐宝文;陆建江;李言辉;;支持语义web模糊本体的描述逻辑(英文)[A];全国语域web与本体能研讨会论文集[C];2006年

6 李敏静;郭佳宏;;基于描述逻辑的概念表示[A];2012·学术前沿论丛——科学发展：深化改革与改善民生（上）[C];2012年

中国重要报纸全文数据库 前1条

1 中国科学院计算技术研究所 常亮邋史忠植;语义Web的逻辑基础[N];计算机世界;2007年

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

1 王静;基于可拓集的描述逻辑研究[D];哈尔滨工程大学;2009年

2 邹婷婷;描述逻辑中若干问题的研究[D];吉林大学;2013年

3 张小旺;超协调描述逻辑[D];北京大学;2011年

4 纪祥;二维描述逻辑的元建模及其应用[D];吉林大学;2013年

5 孙小林;2-型模糊描述逻辑及其在本体进化中的应用研究[D];华中科技大学;2007年

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

7 古华茂;描述逻辑概念可满足性推理研究[D];浙江大学;2009年

8 方流;描述逻辑推理优化技术研究[D];浙江大学;2008年

9 王海龙;支持模糊数据类型表示的模糊描述逻辑研究[D];东北大学;2009年

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

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

1 张娜;基于DL-Lite的动态描述逻辑研究[D];桂林电子科技大学;2015年

2 李莹;基于描述逻辑的教育突发事件语义描述及知识推理方法研究[D];云南师范大学;2015年

3 于云;基于本体和描述逻辑的交通事件语义表现方法研究[D];山东理工大学;2015年

4 唐英英;基于扩展描述逻辑的事件实例推理研究[D];上海大学;2014年

5 文斌;基于描述逻辑的语义Web知识推理研究[D];云南师范大学;2005年

6 甘晓丽;基于描述逻辑的概念建模研究[D];广西师范大学;2006年

7 领吉;描述逻辑与规则整合研究[D];吉林大学;2010年

8 李国媛;模糊描述逻辑扩展模糊软集的研究[D];东北师范大学;2012年

9 张瑞霞;基于描述逻辑的定性空间推理研究[D];重庆大学;2010年

10 袁佳乐;描述逻辑归结推理的研究[D];华东交通大学;2009年

，

本文编号：1144182