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

《服务计算应用开发技术 王红兵 7服务组合》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第7章Web服务组合一.绪论1.研究背景:从表面上看，Web服务就是一个应用程序，它向外界提供一个可以通过Web调用的应用程序接口（API）。从深层次上看，Web服务是一种新型的Web应用程序，它们是自描述，自包含、模块化的应用程序，这些应用程序可以跨越Web进行发布、定位和调用。Web服务所执行的功能可以是从简单的请求到复杂的商业过程中的任何业务，一旦Web服务被部署，其他的应用（包括Web服务）就能够发现并调用所部署的服务。从技术角度来看，Web服务描述了一系列操作的接口，它使用标准的XML消息传递技术封装信息，并可经由网络访问这些接口和操作，完成特定的任务。服务实现与服务接口的分

2、离，促使基于Web服务的应用成为松耦合、面向构件等技术的实现。•2.问题的提出•现有的Web服务技术和体系结构关注于如何开发使用XML技术和互联网的集成应用，其核心是用标准的数据表达格式和协议来提供Web服务发布、定位和调用等交互功能。但是组合由各种不同的Web服务提供者提供的Web服务，实现真正的跨企业边界集成业务流程，仅仅使用标准的数据表达格式和协议提供简单的交互功能是远远不能满足的。•3.国内外研究现状•当前，工业界和学术界从不同角度对Web服务组合进行了大量的研究，提出了多种Web服务组合方法，总的来说，工业界的方法侧重于提出组合描述语言，开发相关编辑工具和执行引擎；学术界的方

3、法侧重于从语义、智能规划等方面研究自动组合，并通过形式化方法验证组合系统的正确性。•为解决Web服务组合问题，一些研究者和系统开发商使用一些协议来组合Web服务，这些协议从不同方面对服务进行建模和规范。•4.主要研究内容•1.对Web服务描述语言进行了广泛的分析与研究，提出了扩展静态的WSDL以描述服务动态行为的策略；基于有限状态自动机理论，提出了一个概念化的表示服务行为的方法。•2.对TLA在服务组合上的可行性应用进行了深入研究，用TLA形式化地描述并验证Web服务，为描述Web服务提供了一个新的方法和途径。•3.基于服务的有限状态自动机模型，对服务进行组合，通过对各个服务的TLA规

4、范按不同组合方式进行组合和变换就得到了描述服务组合过程进行TLA规范，并对之提出了相应的组合算法。•4.针对上面的组合规范，我们用TLC模型检验器遍历模型，检验规范是否成立，验证组合系统的安全性、正确性、活性等问题。•5.提出了从服务的概念化描述到形式化描述，即从扩展的WSDL到TLA规范的转换算法，并开发相应原型系统实现该算法。二.研究基础•1.Web服务•Web服务是一种通过URI标识的软件应用，其接口及其绑定形式可以通过XML标准定义、描述和查找，并能通过XML消息及互联网协议与其它应用的直接交互•(1)Web服务概述•Web服务是一种自包含、自描述、模块化的程序，它吸收了分布式

5、计算，Grid计算和XML等各种技术的优点，通过采用WSDL，UDDI和SOAP等基于XML的标准和协议，解决了异构分布式计算以及代码与数据重用等问题，具有高度的互操作性，跨平台性和松耦合的特点，•(2)Web服务体系架构•三种参与者：•◆服务消费者（ServiceConsumer）：它是最终的服务使用者，通过发起对服务代理的查询，传输绑定服务，并最终执行服务功能。•◆服务提供者（ServiceProvider）：它是提供最终Web服务的供应商，他实现了服务，并放置在服务器上供别人调用。•◆服务代理（ServiceRegistry）：它是服务发现的支持者，包含一个可用服务的数据库，并允

6、许服务使用者查找服务提供者接口。•三种操作：•◆发布（Publish）：为了使服务可访问，需要发布服务描述以使服务消费者发现和调用。•◆查找（Find）：服务消费者定位服务，通过查询服务代理来找到满足其需求的服务。•◆绑定（Bind）：检索服务描述之后，服务消费者根据服务描述信息与服务提供者的服务绑定，调用服务。服务提供者发布邦定查找服务代理服务消费者Web服务体系架构模型•2.Web服务相关规范•主要包括三个规范：SOAP，WSDL和UDDI。•(1)SOAP•SOAP（SimpleObjectAccessProtocol，简单对象访问协议）为在一个松散的、分布的环境中使用XML对等

7、地交换结构化的和类型化的信息提供了一个简单且轻量级的机制。••SOAP由以下四部分组成：•◆SOAP信封（SOAPenvelope）：它构造定义了一个整体的表示框架，用于描述消息内容和处理方法。•◆SOAP编码规则（SOAPencodingrules）：定义了一个数据的编序机制，通过这个机制来定义应用程序中使用的数据类型，并用于交换这些数据类型的实例。•◆SOAPRPC表示（SOAPRPCrepresentation）：它定义了一个用于表示远程