语义Web服务组合中的服务建模及规划算法

摘要：

Web服务的语义建模是指对Web服务的属性、功能和结构等进行语义描述,使用户能够对服务自动地定位、选择、使用和组合.本文以动作理论和描述逻辑为基础对服务的逻辑层信息(控制流和数据流)进行语义建模,用带前提和结果的原子动作描述简单服务,复杂动作描述组合服务的控制流,服务间的依赖关系描述数据流,并提出一个基本的Web服务自动组合框架.在该框架中,Web服务自动组合被划分为逻辑层和实现层2部分,于是服务的自动组合问题在逻辑上归结为一个动作规划问题,在实现上归结为一个根据动作选择具体服务的服务选择问题.最后给出一种新的自动组合规划算法,该算法充分考虑了语义推理和智能规划的结合,在对问题的描述能力和运行效率上做了较好的平衡.

关键词：语义Web、动态描述逻辑、自动服务组合

所属期刊栏目：4

分类号：TP393(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目60775035,60970088;国家"863"计划资助项目2007AA012132;国家"973"计划资助项目2003CB317004,2007CB311004;国家科技支撑计划资助项目2006BAC08806;中国科学院研究生院院长 基金资助项目085101JM03

在线出版日期：2010-05-10（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：490-496