自主Web服务组合需求模型及其自动机制设计的研究.pdfVIP

自主Web服务组合需求模型及自动机制设计研究 摘要 Web服务是一种独立于平台和实现的软件构件，可以在网络中被描述、发布、 查找，通过调用的形式能够实现异构平台之间的互连和集成。Agent理论技术在 面向服务计算领域的应用为研究Web服务的自动发现、交互以及自动组合工作 提供了一种良好的指导，它使服务从被动等待调用的软件实体演变为主动提供服 务的智能Agent成为了可能。利用Agent的主动特性，可以将Web服务构建成 一种主动的智能Agent实体，从而能够根据自身的能力在环境中去发现可参与的 用户需求，并最终向该服务需求形成一种聚集现象，这种主动提供服务的方式为 面向服务计算的研究提供了一个全新的角度。 在自主Web服务环境当中，聚集在需求周围的服务Agent将会通过～系列的 协商来形成有利于需求解决的服务联盟，从而完成服务的自动组合工作。但这种 多Agent的自主协商是一个开放、动态、不确定的过程，它所涉及到的工作不仅 仅体现在各个Agent之间的相互通讯方面，更为重要的是如何协调管理这些 Agent的全局行为。在动态的自主协商过程中，各个参与Agent仍然会保有自私 的一面，也就是在实现用户请求都会得到相应报酬的前提下，它们都会采取适当 的措施来试图使自身所获得的利益最大化。通常，服务Agent往往会通过提供虚 假的服务信息来引导服务联盟向着对自身最有利的方向发展，而这种自利性将会 导致产生的服务联盟并非最有利于需求的解决。因此，我们必须制定一些相关的 规则，用于约束全局Agent的行为，从而引导服务联盟向着有利于需求解决的方 向发展。 Mechanism 传统的多Agent系统当中，大多是采用机制设计(Automated Design，简称AMD)来产生能够约束各个Agent行为的全局规则，以确保协作的有 效性。那么本文的研究重点之一就是将自动机制设计(AMD)理论运用到主动服 务环境当中，探讨如何有效地进行面向主动服务环境的自动机制设计，其中的关 键还是如何利用自主Web服务环境当中的可用信息来构建AMD的计算集，大 致包括Agent参与代理集的设计、针对需求的特定产出的确定、各个Agent合适 类型集的定义、代理的某一类型对特定产出的效用表示以及最终的目标函数的制 定。最后，我们可以把机制设计转化为相应的优化问题，利用线性规划方法来进 行处理，从而得出能够反映服务组合信息的优化解。 进行面向主动服务环境的自动机制设计之前，我们必须能够提取出足够的可 用信息以支撑自动机制设计所涉及的计算集合的构造，而这些有效信息主要来源 于对用户需求以及Web服务的形式化描述方面。Web服务所能提供的信息大致 可以从功能属性以及非功能属性这两个方面来进行挖掘，目前相关的研究成果还 是比较丰硕的，而从主动服务的角度来研究组合服务需求的报道则相对比较少， 而更为重要的是它们并非完全适用于自动机制的设计当中。因此，本文首先将继 续沿用环境本体作为基本的语义支撑，利用图规划算法的相关理论知识，提出一 种基于规划图的服务需求模型以支撑面向主动服务环境的自动机制设计。 基于以上两点，本文所要做的工作主要表现在以下4个方面： (1)提出基于环境本体和规划图的服务需求模型。针对自主Web服务环境， 以环境本体作为服务与需求之间相互理解的基础语义指称，借鉴图规划算法的第 一个阶段一规划图的扩展，利用一个具有两类结点三类边的类规划图结构来表示 组合服务需求。 (2)定义组合模式的概念及并给出一种提取算法。定义服务需求的每个逻辑实 现方案为一个组合模式，在功能层面上，将组合服务需求等效成多个组合模式的 形式，哜且其中任一组合模式的实现都能代表服务需求的满足。此外，继续沿用 图规划算法的第二个阶段—有效解的提取，给出了一个可行的组合模式提取算 法，其主要包括两大步骤：1．构建一棵组合模式生成树；2．从组合模式生成树中 提取需求的全部组合模式。 (3)面向主动服务环境的自动机制设计。利用主动服务环境中的特定信息， 设计出一种合适的机制，用以保障服务Agent联盟的有效形成。在制定自动机制 设计的计算集合时，将需求中的原子任务作为Agent代理，用合适的服务作为代 理的类型，把组合模式视为需求的特定产出，从服务质量以及服务的可替代性两 II