基于动态描述逻辑的语义Web服务组合
应用合适的形式系统对语义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服务自动组合提供了一套有效的理论工具.
语义Web服务、服务组合、动态描述逻辑、动作理论、规划问题
36
TP18(自动化基础理论)
国家自然科学基金61363030,61262030,61035003,61070013,61163041;国家“九七三”重点基础研究发展规划项目基金2007CB311004;武汉大学软件工程国家重点实验室开放基金SKLSE2010-08-02;广西自然科学基金2012GXNSFBA053169;广西可信软件重点实验室研究课题KX201109资助.This work is supported by the National Natural Science Foundation of China under Grant Nos.61363030,61035003,61070013,61163041 and 61262030.It is also partially supported by the Opening Foundation of State Key Laboratory of Software Engineering in Wuhan U
2014-02-25（万方平台首次上网日期，不代表论文的发表时间）
共11页
2468-2478
