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

• 作者: 刘进 古天龙 史忠植 常亮
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 语义Web服务 服务组合 动态描述逻辑 动作理论 规划问题
• 年，卷（期）: 2013,（12）
• 所属期刊栏目: 软件工程与系统软件
• 页码范围: 2468-2478
• 页数: 11页
• 分类号: TP18
• 字数: 14075字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2013.02468

摘要

应用合适的形式系统对语义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服务自动组合提供了一套有效的理论工具.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	古天龙	桂林电子科技大学广西可信软件重点实验室	207	1546	18.0	30.0
2	刘进	武汉大学软件工程国家重点实验室	32	424	10.0	20.0
3	史忠植	中国科学院计算技术研究所智能信息处理重点实验室	232	9166	52.0	89.0
4	常亮	武汉大学软件工程国家重点实验室	77	450	12.0	17.0