维普资讯 http://www.cqvip.com 第３４卷 第４期 、，０ｆ１．３４ ・计算机工程 ２００８年２月 Ｆｅｂｒｕａｒｙ ２００８ Ｎｏ．４ Ｃｏｍｐｕｔｅｒ Ｅｎｇｉｎｅｅｒｉｎｇ 软件技术与数据库・ 文章编号：１０００￣３４２８（２００８）０４－－－４）０７９－０３ 文献标识码：Ａ 中圈分类号：ＴＰ３９３．０２ Ｗｅｂ服务组合方法综述 倪晚成，刘连臣，吴澄 （清华大学国家ＣＩＭＳ工程技术研究中心，北京１０００８４） 摘要：Ｗｅｂ服务组合通过重用已有的Ｗｅｂ服务满足用户高质量的应用需求，是面向服务架构研究领域的热点问题。该文对当前Ｗｅｂ服 务组合的研究现状进行了综述，分析了ＷＳＣ的概念和实现框架。根据研究侧重点及其依赖的技术基础，将ＷＳＣ方法归为两大类别——基 于工作流、状态演算和进程代数模型描述的过程驱动的组合方法和基于语义描述的自动服务组合方法。对ＷＳＣ的评价模型及其研究与应 用中所面临的挑战进行了论述。 关健词：面向服务架构；Ｗｅｂ服务；Ｗｅｂ服务组合 Ｓｕｒｖｅｙ ０ｎ Ｗｅｂ Ｓｅｒｖｉｃｅｓ Ｃｏｍｐｏｓｉｔｉｏｎ Ｍｅｔｈｏｄｓ ＮＩ Ｗａｎ－ｃｈｅｎｇ，ＬＩＵ Ｌｉａｎ－ｃｈｅｎ，ＷＵ Ｃｈｅｎｇ （Ｎａｔｉｏｎａｌ ＣＩＭＳ Ｅｎｇｉｎｅｅｒｉｎｇ Ｒｅｓｅａｒｃｈ Ｃｅｎｔｅｒ，Ｔｓｉｎｇｈｕａ Ｕｎｉｖｅｒｓｉｔｙ，Ｂｅｉｊｉｎｇ １０００８４） ［Ａｂｓｔｒａｃｔ］Ｗｅｂ ｓｅｒｖｉｃｅ ｃｏｍｐｏｓｉｔｉｏｎ，ａｓ ａ ｎｅｗ ｔｅｃｈｎｏｌｏｇｙ ｔｏ ｆｕｌｆｉｌｌ ｔｈｅ ｕｓｅｒ’ｓ ｒｅｑｕｉｒｅｍｅｎｔｓ ｕｓｉｎｇ ｅｘｉｓｔｉｎｇ ｏｎｅｓ，ｈａｓ ｂｅｃｏｍｅ ａ ｐｏｐ ｔｏｐｉｃ ｉｎ ｔｈｅ ｒｅｓｅａｒｃｈ ｏｆ Ｓｅｒｖｉｃｅ Ｏｒｉｅｎｔｅｄ Ａｒｃｈｉｔｅｃｔｕｒｅ（ＳＯＡ）．Ｔｈｅ ｓｕｒｖｅｙ ｉｓ ｍａｄｅ ｏｎ ｃｕｒｒｅｎｔ ＷＳＣ ｍｅｔｈｏｄｓ．Ｔｈｅ ｃｏｎｃｅｐｔｓ ａｎｄ ｉｍｐｌｅｍｅｎｔｉｎｇ ｆａｍｅｗｏ￣ｓ ｏｆ ＷＳＣ ｒａｅ ｄｉｓｃｕｓｓｅｄ．Ａｎｄ ｂａｓｅｄ ｏｎ ｔｈｅ ｒｅｓｅａｒｃｈ ｅｍｐｈａｓｅｓ ａｎｄ ｉｔｓ ｄｅｐｅｎｄｅｎｔ ｔｅｃｈｎｏｌｏｇｙ，ＷＳＣ ｍｅｔｈｏｄｓ ａｒｅ ｃｌａｓｓｉｆｉｅｄ ｉｎｔｏ ｐｒｏｃｅｓｓ ｄｒｉｖｅｎ ＷＳＣ ｓｕｃｈ ａｓ ｗｏｒｋ—ｆｌｏｗ ｂａｓｅｄ，ｓｔａｔｅ—ｉｆｇｕｒｅ ａｎｄ ｐｒｏｃｅｓｓ ａｌｇｅｂｒａ ｂａｓｅｄ ｍｅｔｈｏｄｓ，ａｎｄ ｓｅｍａｎｔｉｃｓ ｂａｓｅｄ ａｕｔｏｍａｔｉｃ ＷＳＣ．Ｔｈｅ ｅｖａｌｕａｔｉｏｎ ｍｏｄｅｌｓ ａｎｄ ｔｈｅ ｃｈａｌｌｅｎｇｅｓ ｉｎ ｒｅｓｅａｒｃｈ ａｎｄ ｉｍｐｌｅｍｅｎｔａｔｉｏｎ ｏｆ ＷＳＣ ｈａｖｅ ｂｅｅｎ ｓｕｍｍａｒｉｚｅｄ． ［Ｋｅｙ ｗｏｒｄｓ Ｉ Ｓｅｒｖｉｃｅ Ｏｒｉｅｎ￣ｄ Ａｒｃｈｉｔｅｃｔｕｒｅ（ＳＯＡ）；Ｗｅｂ ｓｅｒｖｉｃｅ；Ｗｅｂ ｓｅｒｖｉｃｅ ｃｏｍｐｏｓｉｉｔｏｎ ２００４年以来，Ｗｅｂ服务作为跨组织应用集成的支持技术 语言变为具有语义的需求描述传递给组合管理器。 得到业界的广泛支持，面向服务架构（Ｓｅｒｖｉｃｅ Ｏｒｉｅｎｔｅｄ （４）组合管理器根据需求描述和来自服务库的服务描述， Ａｒｃｈｉｔｅｃｔｕｒｅ，ＳＯＡ）成为信息技术的新热点。ＳＯＡ的一个重要 生成满足服务需求的组合方案，传递给执行引擎。 理念是将“单独、、封装”的服务组合成为更大型的服 （５—７）执行引擎将组合方案传递给服务匹配器，服务匹配 务，实现软件重用、发挥服务的潜力。因此，Ｗｅｂ服务组合 器根据服务描述选择最适合的Ｗｅｂ服务，将其旬柄返回执行 受到学术界和企业界的极大关注，涌现出大量的ＷＳＣ研究。 引擎。 １ ＷＳＣ概念 （８）执行引擎根据组合方案和Ｗｅｂ服务旬柄调用并监控 ＷＳＣ源于软件重用，其基本思想是使用系统中已有的 Ｗｅｂ服务执行。 Ｗｅｂ服务，通过它们一定顺序的组合或组合顺序的改变，创 （９）最终将执行结果传递给服务请求者。 建出新的或更高质量的服务满足用户需求。 目前对ＷＳＣ尚无统一定义，研究者从不同角度和侧重 点做了不同的定义。总的来说，其定义可归纳为两个：（１）基 翻译器 ㈣ 案 于过程模型：从ＷＳＣ内在因素的角度，将其定义为一个依 辐 埭 赖于特定控制流和数据流结合起来的、能够完成一定任务的 基 服务请求者 ０ 执行引擎 Ｗｅｂ服务集合，如ＡｇＦｌｏｗ…。（２）基于构件单元：从构件的角 度，将ＷＳＣ定义为一个由自治且能相互协作的自描述单元 所组成的系统，如文献【２】。上述定义分别强调了ＷＳＣ两个 不同的研究角度。 圈１ ＷＳＣ实现框架 ２ ＷＳＣ实现框架 根据消息在参与组合的服务之间的传递方式，执行引擎 典型的ＷＳＣ的实现框架包括２种用户角色（服务请求者 分集中和分布两种模式，如图２所示。集中模式下服务由执 和服务提供者）和５个部件（翻译器、组合管理器、执行引擎、 行引擎统一控制，服务之间无交互，该方式易于实现，但瓶 服务匹配器和服务库），可选部件本体库为服务描述提供本体 颈明显。分布模式中，由前序服务启动后继服务，通过服务 定义和推理支持，如图１所示。 间的消息传递减小系统通信负载、消除瓶颈。 ＷＳＣ流程如下： 作者倚介：倪晚成（１９７８－－），女，博士研究生，主研方向：网格计算， （１）服务提供者通过服务注册将服务信息发布到注册中 动态服务组合；刘连臣，副研究员；吴澄，教授、博士生导师、 心的服务库。 中国工程院院士 （２－３）服务请求者提交的服务需求经翻译器处理，从自然 收稿日期：２００７—０２—２２ Ｅ－ｍａｉｌ：ｎｗｃ０１＠ｍａｉｌｓ．ｔｓｉｎｇｈｕａ．ｅｄｕ．ｃｎ ７９＿一 维普资讯 http://www.cqvip.com 成的组合方案有效，如ＣＡＦＩＳＥ＿４ 采用“逐步演化”法：将服 务匹配环节推迟到某个服务节点启动时进行，服务匹配操作 查询当前可获得的最佳目标服务，以保证每个被选取的Ｗｅｂ 服务当前时刻最佳并且可获得，从而较大限度地降低执行中 的异常出现；同时将抽象工作流到实际组合方案的转换工作 分散到各个活动执行前进行，也能降低执行引擎在服务查找 和绑定时的开销。 基于工作流模型的ＷＳＣ通常以半自动的方式实现：系 Ｗ 统提供图形化界面，服务设计者通过人机交互定义抽象服务 集中式执行引擎实现 分布式执行引擎实现 流；服务匹配和绑定则由系统自动处理。这种方式充分利用 了设计者的领域知识降低系统复杂度，又减少了设计者工作 圈２执行引擎模式 ３ ＷＳＣ方法分类 ＷＳＣ研究者有各自不同的角度和侧重点。一部分研究强 调“自动化”：根据人工参与的程度将ＷＳＣ分为人工、半自 动和自动３大类；另一部分研究则强调“动态”：根据对参与 组合的Ｗｅｂ服务的绑定时间，将其分为静态ＷＳＣ（参与组合 的Ｗｅｂ服务在设计时确定）和动态ＷＳＣ（参与组合的Ｗｅｂ服 务在运行时绑定）。 上述分类各自涵盖了ＷＳＣ的部分研究。这源于目前的 ＷＳＣ研究者来自两个派别：第一类研究者从语义网的角度出 发，重视Ｗｅｂ服务的自描述和语义；另一类研究者则从流程 建模的角度出发，重视ＷＳＣ中的数据流和控制流，强调对 动态环境的处理。两种研究方向依赖于不同的技术基础，使 用完全不同的ＷＳＣ模型，这也是目前ＷＳＣ存在两种定义的 根源。 因此，本文根据ＷＳＣ方法所依赖的技术基础，将其归 纳为过程驱动的组合方法和语义驱动的组合方法。 ３．１过程驱动的ＷＳＣ 过程驱动的ＷＳＣ基本思想是利用ＷＳＣ与过程模型的相 似性，使用较成熟的过程建模工具和语言对ＷＳＣ业务过程 进行建模，采用“替代”法将过程模型中的相关组件最终替 换成为具体的Ｗｅｂ服务，从而获得有效的、可执行的ＷＳＣ 方案。根据具体的建模工具和实现技术，过程驱动的ＷＳＣ 又可分为基于工作流模型、基于状态演算和基于进程代数豁 ＷＳＣ。 ３．１．１基于工作流模型的ＷＳＣ 工作流模型由于发展较成熟且支持工具较多而成为过程 驱动ＷＳＣ中最常见的建模工具。ＷＳＦＬ、ＢＰＥＬ４ＷＳ等扩展 的工作流语言是该类方法的常用建模语言。 此类方法中，工作流被用作分布活动的协调引擎或服务 组合的建模定义的工具。该类方法 基于扩展工作流模型， 存在抽象服务（Ａｂｓｔｒａｃｔ Ｓｅｒｖｉｃｅ，ＡＳ）和实体服务（Ｃｏｎｃｒｅｔｅ Ｓｅｒｖｉｃｅ，ＣＳ）两个概念。ＡＳ是一个完全抽象的定义，它被作 为“占位符”替代具体活动来建立工作流模型；ＣＳ与ＡＳ相 对，对应系统中的一个实际Ｗｅｂ服务。该类方法包括两个阶 段的内容：（１）ＷＳＣ设计者为工作流中每个活动设定一个ＡＳ， 形成抽象服务流程定义；（２）执行前通过中间环节（如图１中执 行引擎）进行服务的匹配和绑定，将每个ＡＳ替换成为一个 ｃｓ，将抽象服务流转换成实际的ＷＳＣ方案。ＡＳ也称服务模 版，因此该方法又称“基于服务模板的组合方法”。 由于参与组合的任一服务不可用都可能导致整个组合方 案崩溃，因此研究如何克服动态环境的影响，在基于工作流 模型的ＷＳＣ方法中十分重要。现有的方法是尽可能保证生 ～８ 一 量，可实现性强，并具有较好的动态性和灵活性。 ３．１．２基于状态演算的ＷＳＣ 基于状态演算的ＷＳＣ方法基本思想是建立ＷＳＣ描述和 服务状态图模型的一一映射关系，建立形式化的ＷＳＣ模型， 通过形式化模型和工具分析ＷＳＣ系统。其中，Ｐｅｔｒｉ网模型 的“安全、死锁、可达”等定义在描述并发、冲突、同步等 流程现象上极具优势，并具有良好的形式化语义和直观的图 形化描述，因此被较多地应用于对ＷＳＣ方案的可行性分析 和验证。 文献【２】将Ｗｅｂ服务的操作对应于Ｐｅｔｒｉ网的变迁；服务 状态对应库所；用库所与变迁之间的箭头表征状态间因果关 系；文献【５】则是将一个服务节点映射为Ｐｅｔｒｉ网中的库所。面 向对象Ｐｅｔｒｉ网和着色Ｐｅｔｒｉ网也在ＷＳＣ建模中被使用 Ｊ。 基于状态演算的ＷＳＣ方法本质上仍是基于工作流模型 的方法，但它侧重于对ＷＳＣ的形式化建模，主要目的在于 验证ＷＳＣ方案的有效性和可行性。 ３．１．３基于进程代数的ＷＳＣ 状态演算适用于静态系统描述，难以处理ＷＳＣ的动态 特性。用于描述和分析并发、异步、非确定和分布式等系统 行为的进程代数，是对动态实体进行建模的正式语言，具有 严密的形式化语义，因此被引入到ＷＳＣ研究中。其中支持 通道名称传递的兀演算由于适用于描述结构动态变化的并 发系统，而成为进程代数在ＷＳＣ研究中应用的代表。 兀演算首先应用在构件系统中描述构件组合：Ｐａｈｌ［７１基 于兀演算的“迁移性”和构件“演变性”的相似之处，为基 本的构件组合及替换原则建立了基于兀演算的描述框架。之 后兀演算与ＷＳＣ结合起来，文献【８】通过建立Ｗｅｂ服务描述 与兀演算中进程描述的对应关系，实现ＷＳＣ的形式化描述。 由于兀演算相关工具可用于推演ＷＳＣ的系统行为，并 能为分析验证ＷＳＣ方案提供支持，因此也受到Ｗ３Ｃ的青睐： ＸＬＡＮＧ和ＷＳ—ＣＤＬ都是通过建立兀演算和ＷＳＤＬ基本元素 的对应关系而提出的ＷＳＣ描述语言。 基于兀演算的方法缺乏如Ｐｅｔｒｉ网的直观图形化支持，但 它对动态演化系统的灵活描述使它更适合刻画ＷＳＣ的动态 行为。目前对基于Ｐｅｔｒｉ网和兀演算的ＷＳＣ方法仍存在争议。 ３．２语义驱动的ＷＳＣ 与过程驱动的ＷＳＣ不同，语义驱动的ＷＳＣ强调Ｗｅｂ 服务的自描述，其基本思想是通过为Ｗｅｂ服务描述和服务请 求描述添加能被计算机系统所理解的语义，使ＷＳＣ方案通 过推理自动生成。 ３．２．１服务描述 服务描述对于语义驱动的ＷＳＣ十分重要，最基本的服 务语义包括四元组 维普资讯 http://www.cqvip.com ｛，（数据输入），０（数据输出），Ｐ（条件输入），Ｅ（输出影响）） 常见的服务描述有： （１）ＯＷＬ—Ｓ：由描述服务能力、服务工作过程和服务访问 细节的ＳｅｒｖｉｃｅＰｒｏｆｉｌｅ，ＳｅｒｖｉｃｅＭｏｄｅｌ和ｓｅｒｖｉｃｅＧｒｏｕｎｄｉｎｇ ３部 分组成。ＳｅｒｖｉｃｅＰｒｏｆｉｌｅ涵盖了｛，，Ｏ，Ｐ，日以及服务ＱｏＳ语义， 满足计算机推理需求；ＳｅｒｖｉｃｅＭｏｄｅｌ则定义了ＷＳＣ的内部流 程。因此被当前的绝大部分的ＷＳＣ研究所使用。 （２）ＷＳＤＬ：描述服务ＵＲＬ和命名空间、服务类型、有效 函数、函数参数、参数类型以及函数返回值和返回值类型等 Ｗｅｂ服务的通信和调用方法的ＸＭＬ文件。它是Ｗｅｂ服务的 事实标准，但它仅通过“端口”规约了服务的功能特性，必 须扩充增加｛Ｐ，日和ＱｏＳ语义才能支持ｗｓｃ。 （３）自定义语义：为实现ｗｓｃ推理而定义的非标准简单 描述语言。如Ｓｗｏｒｄ 中基于规则的服务描述一一将服务描 述成在特定输入下产生特定输出的“规则”。随着ＯＷＬ．Ｓ的 发展，这种服务描述已逐渐淡出。 ３．２．２推理与选择 语义驱动的ＷＳＣ通过对服务组合图的搜索，生成组合 方案。 服务组合图是一个改进的状态图：以用户请求的输入为 起点，输出为终点；图中状态代表一个服务；变迁代表前后 服务之间的语义关联（包括｛，，ｏ｝数据相似度，｛Ｐ，Ｅ｝匹配度， 以及ＱｏＳ要求的符合度）。 ＷＳＣ推理就是在服务组合图上的反向搜索过程：以用户 需求为起点，首先寻找输出与用户需求目标一致的Ｗｅｂ服务； 再寻找输出与该服务输入匹配的上一个服务；如此类推直到 找到输入描述与用户提供输入一致的服务为止。如果搜索获 得多个满足用户需求的组合方案，则需要通过评价选择一条 最优的方案执行。 在服务组合图上，最优组合方案表现为从起点到终点相 邻服务语义关联程度总和最大的一条路径，“最短路径”及其 改进算法是方案选择使用的普遍方法。 ４ ＷＳＣ评价模型 完善的指标体系对于评价ＷＳＣ方案的优劣具有重要的 意义。目前的研究主要通过用户满意度或ＱｏＳ评价ＷＳＣ。 用户满意度作为一种主观指标难以量化，ＤＯＳＣＯＭｌＪ叫使用组 合方案的语义相似程度表征用户满意度。更多的研究使用 ＡｇＦＬｏｗ 提出的五维ＱｏＳ模型。该模型包括执行成本、执 行时间、服务声誉、可靠性和可用性５个非功能性指标，如 表１、表２所示。 表１单个服务ＱｏＳ模基 指标 单个服务指标函数 执行成本 ｑ ｔ。 【ｉｃ ， ｏｐ） 一服劈 髁作印明飘仃厩夺 作印的执行成本 执行帅 腩声誉 …分 ｎ一用户个数 ｑ ｆ（ ）＝Ｎｃ（ｓ）ｌＫ 可靠性 Ｎ （ ）一要求时间内执行成功次数 Ｋ一总调用次数 可用性 ｑａｖ（ｓ）＝（ ）一月 ： 间内的可获得时间 表２蛆合服务ＱｏＳ模基 指标 组合服务指标函数 执行成本 ａ （ｐ）＝∑：。ｑ （ ．，ｏｐ。 执行时间 ： … 仰 服务声誉 Ｑ唧（ｐ）＝百１∑ Ｎ口 （ ．） Ｑ ｆ（Ｐ）＝ｎ ｌ（ｅｑ－ｄｓＯｘ ） 可靠性 ｆ０－－ 不在关健路径上 １ １． 在关健路径上 （Ｐ）＝ｎ （ 批 ｒ） 可用性 ７一』Ｏ－ｓ，不在关健路径上 １１， ．在关健路径上 该模型对ＷＳＣ的ＱｏＳ进行了明确量化，但在服务提供 者利益不可忽视的情况下，仅能通过服务使用者和提供者是 否达成一致协议来判断ＷＳＣ方案是否可行，缺乏评价模型。 ５结束语 本文从ＷＳＣ的概念、实现框架、典型方法和评价模型４ 方面对研究现状进行了综述。根据ＷＳＣ方法所依赖的技术 基础，将其分为：基于工作流，状态演算以及进程代数模型的 过程驱动的ＷＳＣ方法和语义驱动的ＷＳＣ方法。 ＷＳＣ作为计算机科学与软件工程的新领域，尚存在两个 层面的基础问题：（１）实现层。尽管ＯＷＬ．Ｓ进展迅速，但ＷＳＣ 仍缺乏统一的、语义良好的语言规范，跨组织的ＷＳＣ实现 缺乏基础支持。（２）评价层。ＷＳＣ缺乏完善的评价模型。此外， ＷＳＣ在应用实现中须处理动态变化的资源环境，不仅要研究 ＷＳＣ方案的生成，更要确保组合方案的有效和高效性，如在 组合方案执行中对突发状态（如资源失效）的协调处理等。 参考文献 ［１］Ｚｅｎｇ Ｌｉａｎｇｚｈａｏ，Ｂｅｎａｔａｉｌａｈ Ｂ，Ｎｇｕ Ａ，ｅｔ ａｉ．ＱｏＳ—ａｗａｒｅ Ｍｉｄｄｌｅｗａｒｅ ｆｏｒ Ｗｅｂ Ｓｅｒｖｉｃｅｓ Ｃｏｍｐｏｓｉｔｉｏｎ［Ｊ］．ＩＥＥＥ Ｔｒａｎｓ．ｏｎ Ｓｏｆｔｗａｒｅ Ｅｎｇｉｎｅｅｒｉｎｇ，２００４，３０（５）：３１ １－３２７． ［２］Ｈａｍａｄｉ Ｒ，Ｂｅｎａｔａｌｌａｈ Ｂ．Ａ Ｐｅｍ Ｎｅｔ－ｂａｓｅｄ Ｍｏｄｅｌ ｏｆｒ Ｗｅｂ Ｓｅｒｖｉｃｅ Ｃｏｍｐｏｓｉｔｉｏｎ［Ｃ］／／Ｐｒｏｃｅｅｄｉｎｇｓ ｏｆ ｔｈｅ １４ｔｈ Ａｕｓｔｒａｌａｓｉａｎ Ｄａｔａｂａｓｅ Ｃｏｎｆｅｒｅｎｃｅ ｏｎ Ｄａｔａｂａｓｅ Ｔｅｃｈｎｏｌｏｇｉｅｓ．Ａｄｅｌａｉｄｅ：ＡＣＭ Ｐｒｅｓｓ，２００３． ［３］Ｃａｓａｔｉ Ｅ Ｉｌｎｉｃｋｉ Ｓ，Ｊｉｎ Ｌｉｊｉｅ，ｅｔ ａ１．Ａｄａｐｔｉｖｅ ａｎｄ Ｄｙｎａｍｉｃ Ｓｅｒｖｉｃｅ Ｃｏｍｐｏｓｉｔｉｏｎ ｉｎ ｅＦｌｏｗ［Ｃ］／／Ｐｒｏｃ．ｏｆ ｈｔｅ Ｉｎｔｅｒｎａｔｉｏｎａｌ Ｃｏｎｆｅｒｅｎｃｅ ｏｎ Ａｄｖａｎｃｅｄ Ｉｎｆｏｒｍａｔｉｏｎ Ｓｙｓｔｅｍｓ Ｅｎｇｉｎｅｅｒｉｎｇ．Ｓｔｏｃｋｈｏｌｍ：Ｓｐｒｉｎｇｅｒ－ Ｖｅｒｌａｇ，２０００：１３—３１． ［４］ＨａｎＹａｎｂｏ，ＺｈａｏＺｈｕｏｆｅｎｇ，ＬｉＧａｎｇ，ｅｔ ａ１．ＣＡＦＩＳ：ＡｎＡｐｐｒｏａｃｈｔｏ Ｅｎａｂｌｉｎｇ Ａｄａｐｔｉｖｅ Ｃｏｎｆｉｇｕｒａｔｉｏｎ ｏｆ Ｓｅｒｖｉｃｅ Ｇｒｉｄ Ａｐｐｌｉｃａｔｉｏｎｓ［Ｊ］． Ｊｏｕｍａｉ ｏｆ Ｃｏｍｐｕｔｅｒ Ｓｃｉｅｎｃｅ ｎａｄ Ｔｅｃｈｎｏｌｏｇｙ，２００３，１ ８（４）：４８５． ［５］唐宇，何凯涛，陈荦，等．空间信息栅格体系与服务聚合技 术［Ｊ］＿国防科技大学学报，２００５，２７（２）：４６—５１． ［６］陶晓峰，孙健．基于面向对象Ｐｅｔｒｉ网的Ｗｅｂ服务合成［Ｊ］＿计 算机应用，２００５，２５（６）：１４２４—１４２６． ［７］Ｐａｈｌ Ｃ．Ａ ＰｉＣａｌｃｕｌｕｓ Ｂａｓｅｄ Ｆｒａｍｅｗｏｒｋ ｆｏｒ ｔｈｅ Ｃｏｍｐｏｓｉｉｔｏｎ ａｎｄ Ｒｅｐｌａｃｅｍｅｎｔ ｏｆ Ｃｏｍｐｏｎｅｎｔｓ［ＥＢ／ＯＬ］．（２００１—０１—０９）．ｈａｐ：＃ｗｗｗ． ＣＳ．ｉａｓａｔｔｅ．ｄｅｕｌ￣ｌｅａｖｅｎｓｌＳＡＶＣＢＳｌｐａｐｅｒｓ一２００１／ｃｏｖｅｒ．ｐｄｆ． ［８］廖军，谭浩，刘锦德．基于Ｐｉ一演算的Ｗｅｂ服务组合的描述 和验证［Ｊ］＿计算机学报，２００５，２８（４）：６３５．６４３． ［９］Ｐｏｎｎｅｋａｎｔｉ Ｓ Ｒ，Ｆｏｘ Ａ．ＳＷＯＲＤ：Ａ Ｄｅｖｅｌｏｐｅｒ Ｔｏｏｌｋｉｔ ｆｏｒ Ｗｅｂ Ｓｅｒｖｉｃｅ Ｃｏｍｐｏｓｉｔｉｏｎ［ＥＢ／ＯＬ］．（２００２—１０—２２）．ｈｔｔｐ：ｆｓｗｉｇ．ｓｔｎａｆｏｒｄ． ｅｄｕ／ｐｕｂ／ｐｕｂｌｉｃａｔｉｏｎｓ／ｓｗｏｒｄ／ｗｗｗ１ １．ｐｄｆ． ［１０］李曼，王大治，杜小勇，等．基于领域本体的Ｗｅｂ服务动态 组合［Ｊ］＿计算机学报，２００５，２８（４）：６４４—６５０． 一８卜一
