服务计算应用开发技术 王红兵 7服务组合.pdf

第7章 Web服务组合 一. 绪论 1. 研究背景 : 从表面上看，Web服务就是一个应用程序，它向外界提供一个 可以通过Web调用的应用程序接口（API ）。从深层次上看，Web 服务是一种新型的Web应用程序，它们是自描述，自包含、模块化 的应用程序，这些应用程序可以跨越Web进行发布、定位和调用。 Web服务所执行的功能可以是从简单的请求到复杂的商业过程 中的任何业务，一旦Web服务被部署，其他的应用（包括Web服务） 就能够发现并调用所部署的服务。从技术角度来看，Web服务描述 了一系列操作的接口，它使用标准的XML消息传递技术封装信息， 并可经由网络访问这些接口和操作，完成特定的任务。服务实现与 服务接口的分离，促使基于Web服务的应用成为松耦合、面向构件 等技术的实现。 • 2. 问题的提出 • 现有的Web服务技术和体系结构关注于如何开发使用XML技术 和互联网的集成应用，其核心是用标准的数据表达格式和协议来提 供Web服务发布、定位和调用等交互功能。但是组合由各种不同的 Web服务提供者提供的Web服务，实现真正的跨企业边界集成业务 流程，仅仅使用标准的数据表达格式和协议提供简单的交互功能是 远远不能满足的。 • 3. 国内外研究现状 • 当前，工业界和学术界从不同角度对Web服务组合进行了大量 的研究，提出了多种Web服务组合方法，总的来说，工业界的方法 侧重于提出组合描述语言，开发相关编辑工具和执行引擎；学术界 的方法侧重于从语义、智能规划等方面研究自动组合，并通过形式 化方法验证组合系统的正确性。 • 为解决Web服务组合问题，一些研究者和系统开发商使用一些协 议来组合Web服务，这些协议从不同方面对服务进行建模和规范。 • 4. 主要研究内容 • 1. 对Web 服务描述语言进行了广泛的分析与研究，提出了扩展静态 的WSDL 以描述服务动态行为的策略；基于有限状态自动机理论，提 出了一个概念化的表示服务行为的方法。 • 2. 对TLA在服务组合上的可行性应用进行了深入研究，用TLA形式化 地描述并验证Web服务，为描述Web服务提供了一个新的方法和途 径。 • 3. 基于服务的有限状态自动机模型，对服务进行组合，通过对各个 服务的TLA规范按不同组合方式进行组合和变换就得到了描述服务组 合过程进行TLA规范，并对之提出了相应的组合算法。 • 4. 针对上面的组合规范，我们用TLC模型检验器遍历模型，检验规范 是否成立，验证组合系统的安全性、正确性、活性等问题。 • 5. 提出了从服务的概念化描述到形式化描述，即从扩展的WSDL到 TLA规范的转换算法，并开发相应原型系统实现该算法。 二. 研究基础 • 1. Web服务 • Web服务是一种通过URI标识的软件应用，其接口及其绑定形 式可以通过XML标准定义、描述和查找，并能通过XML消息及互联 网协议与其它应用的直接交互 • (1) Web服务概述 • Web服务是一种自包含、自描述、模块化的程序，它吸收了分布式 计算，Grid计算和XML等各种技术的优点，通过采用WSDL ， UDDI和SOAP等基于XML 的标准和协议，解决了异构分布式计算 以及代码与数据重用等问题，具有高度的互操作性，跨平台性和松 耦合的特点， • (2) Web服务体系架构 • 三种参与者： • ◆ 服务消费者（Service Consumer ）：它是最终的服务使用者， 通过发起对服务代理的查询，传输绑定服务，并最终执行服务功 能。 • ◆ 服务提供者（Service Provider ）：它是提供最终Web服务的 供应商，他实现了服务，并放置在服务器上供别人调用。 • ◆ 服务代理（Service Registry ）：它是服务发现的支持者，包 含一个可用服务的数据库，并允许服务使用者查找服务提供者接 口。 • 三种操作 ： • ◆ 发布（Publish）：为了使服务可访问，需要发布服务描述以使 服务消费者发现和调用。 • ◆ 查找（Find）：服务消费者定位服务，通过查询服务代理来找到 满足其需求的服务。 • ◆ 绑定（Bind）：检索服务描