语义Web服务组合的方法的研究.docVIP

语义Web服务组合的方法的研究 　　摘要：该文首先对语义Web服务组合的研究内容和现状进行了概括，紧接着对现有的语义服务组合方法进行了分类，然后着重讨论了这些组合方法的特点及其相关应用。 　　关键词：Web服务；语义Web服务组合；人工智能 　　中图分类号：TP311文献标识码：A 文章编号：1009-3044(2008)36-2979-03 　　A Research on Semantic Web Services Composition 　　LAN Xin-bo,YANG Shan-you 　　(GuangDong AIB polytechnic college,Guangzhou 510663,China) 　　Abstract: At first,this article has been carried on the summary to the semantic Web service compositions research content and the present situation,and then classified the existing semantic service compositions method,finally discussed the Characteristic and using of these composition’s method emphatically. 　　Key words: Web Service; semantic web service composition; artificial intelligence 　　语义Web服务的自动化组合的工作主要来自两个领域：一个是人工智能领域，一是形式化方法和自动推理领域。它们之间的工作既相互交叉，又互为补充。来自人工智能领域的工作主要包括构建用于Web服务描述的本体和提出了一系列的面向Web服务功能的Web服务组合方案。来自形式化方法和自动推理领域的工作主要包括面向Web服务行为的服务组合方法，当然，也有借鉴于自动化程序综合（program synthesis）和模型检验（model checking）的方法。 　　一般地，语义Web服务的组合方法按其关注点的不同可分为：面向Web服务行为的组合方法、面向Web服务功能的组合方法和基于Web服务类型的组合方法；按其实现方式的不同可分为：面向状态搜索算法的组合方法、面向自动推理的组合方法和面向人工智能规划的算法。 　　1 基于情景演算的人工智能规划方法 　　这类方法的基本思想是使用人工智能规划中的动作来对Web服务进行建模，利用人工智能中的规划算法来进行Web服务组合。它所找到的组合服务通常比基于服务输入、输出参数的类型匹配的方法要来得准确，但是这类方法所能适用的Web服务范围比较有限。 　　我们可以把Web服务看作是AI规划中的动作。在经典的规划问题中，动作由动作的前提条件和效应所刻画，而动作的前提条件和效应是参与动作的个体的一组状态构成，动作的执行将使得某些个体处于新的状态之中。例如在经典的积木世界里面，使用手臂举起物体的动作pickup可用PDDL(Planning Domain Definition Language)描述如下： 　　(：action pickup 　　：parameters (?ob) 　　：precondition (and (clear ?ob) (arm-empty)) 　　：effect(and (holding ?ob)(not(arm-empty)) (when(on-table ?ob) (not (on-table ?ob)))) 　　) 　　情景演算最基本的思想就是通过把动作和情境（situation）具体化（reify）以方便进行一阶逻辑推理。所谓情景，形式上就是参与规划的个体所处的状态。在情景演算中，我们用流（fluent）来抽象整个个体的某一特性随情景变化的过程，而个体的状态则就是个体在特定情境下所具有的特性。假设初始情景S0恰好满足动作pickup(a)的前提，也即是说S0为{clear（a,So）,arm-empty(S0),…}，那么我们只要通过一步的推理就可得出执行动作pickup(a)后的情景是{holding(a, do (pickup(a),So,…}，其中do(pickup(a))是情景集合上的一函词，指定了执行动作pickup(a)之后相应的情景迁移。 　　情景演算通常包含两类公理，一类是动作的前提公理，用于指定各个动作能够被触发的条件；另一类是流的后继公理，用于指定各个状态在每个动作执行之后的变化情况。就上例来说，动作pickup的前提公理是Poss