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

Semantic model and planning algorithm for Web service composition

作　　者：万长林[1,2] 陈立民[1,2] 王竹晓[1,2] 王文杰[2] 史忠植[1] 

机构地区：[1]中国科学院计算技术研究所智能信息处理重点实验室,北京100190 [2]中国科学院研究生院,北京100049

出　　处：《智能系统学报》2009年第6期490-496,共7页CAAI Transactions on Intelligent Systems

基　　金：国家自然科学基金资助项目(60775035;60970088);国家"863"计划资助项目(2007AA01Z132);国家"973"计划资助项目(2003CB317004;2007CB311004);国家科技支撑计划资助项目(2006BAC08B06);中国科学院研究生院院长基金资助项目(O85101JM03)

摘　　要：Web服务的语义建模是指对Web服务的属性、功能和结构等进行语义描述,使用户能够对服务自动地定位、选择、使用和组合.本文以动作理论和描述逻辑为基础对服务的逻辑层信息(控制流和数据流)进行语义建模,用带前提和结果的原子动作描述简单服务,复杂动作描述组合服务的控制流,服务间的依赖关系描述数据流,并提出一个基本的Web服务自动组合框架.在该框架中,Web服务自动组合被划分为逻辑层和实现层2部分,于是服务的自动组合问题在逻辑上归结为一个动作规划问题,在实现上归结为一个根据动作选择具体服务的服务选择问题.最后给出一种新的自动组合规划算法,该算法充分考虑了语义推理和智能规划的结合,在对问题的描述能力和运行效率上做了较好的平衡.This paper proposed a semantic model for Web service based on dynamic description logic（DDL）,mainly concern about the logic/functional facets.In this model,a simple service was modelled as an atomic action with some preconditions and effects.The control flows of composite service were modelled by using complicated action,and the data flows were modelled as dependent relationship between atomic actions.A basic framework for automated Web service composition was introduced.In this framework,service composition was divided into two stages： logic planning stage and grounding stage.Therefore,a service composition problem was reduced to an action planning problem at planning stage and a service selection problem at grounding stage.At last,a new planning algorithm for automated composition was proposed.The algorithm achieves good balance between DDL reasoning and AI planning.

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

分 类 号：TP393.09[自动化与计算机技术—计算机应用技术]