我们的模型最突出的优点就是，我们考虑了对于BPEL中所有活动节点的处理，可以对任意给定的BPEL文件进行分析建模。当然，由于我们目前主要考虑的是活动之间的控制关系，所以，对于活动中的数据关系挖掘不是很深，例如：对于一些触发条件，我们目前只是简单的用字符串（String)类型进行处理，尚未为其设计相应的数据结构，这些都将是我们将来研究的范围。

1.3 论文的组织结构

后面的章节大致安排如下：第二章主要介绍一些关于BPEL以及死路径消除的相关知识；第三章介绍了一些BPEL活动，给出了BPEL过程的定义，并提供了一个供全文使用的范例；第四章给出了整体的模块设计，建模的详细过程，控制流图的定义以及控制流图的数据结构；最后给出了这篇文章的总结。源:自~优尔-·论`文'网·www.youerw.com/

第二章 相关知识

2.1 Web服务

软件即服务（SaaS）是现在服务计算潮流下的典型应用模式，其实软件服务的最主要的实现方式是Web服务。

Web服务（Web Service)是基于HTTPS和XML的一种服务，其通信协议主要基于SOAP，服务的描述使用WSDL，通过UDDI来发现和获得服务的元数据。它在网络上能够提供给客户端各种各样消息的一个实体，为了能够让客户端访问服务，使用Web服务描述语言WSDL描述服务信息以及用户如何访问它。

W3C在对Web服务定义为：每个单个的Web服务，就可以支持通络中进行交互的各种软件系统。Web服务可以使用计算机特有的描述形式来定义其接口，另外的一些系统就可以根据定义的接口，通过SOAP协议与软件服务进行交互。W3C纳入了一些Web服务相关的规范协议，如SOAP、WSDL、UDDI等，强调Web服务的平台无关性和语言无关性。因此，可以说Web服务是一个自包含、无状态的实体，并通过结构描述语言对外提供统一的接口，而隐藏其内部的其体实现细节，Web服务最基本的形式是在互联网上让不同的计算机程序或者系统之间的信息交换更加方便。它是以一套开放的标准为基础的，允许任何人开发或者使用。

总体来说，Web服务主要有下列特点：

1. 封装完整性，作为部署在网络上的单个软件服务，具有完整的封装特性，对于软件服务的使用者或请求者而言，他仅能看到该软件服务的接口及功能描述列表。

2. 松耦合性，该特性继承了对象/组件技术，当一个软件服务的实现方式发生变化的时候，使用者是不会知道这一点的，对于使用者来说，只要软件服务的接口和功能列表没有改变，则软件服务的任何实现细节上的改变对使用者来说都是黑盒。

3. 使用协议的规范性和标准化，作为Web服务，所有的操作都是通过前面讲到的WSDL、UDDI、SOAP等开放的协议进行描述、注册和绑定。以上这些开放性标准协议可以由任何人进行实现。

4. 高度集成性，由于Web服务采取简率的、易理解的标准Web协议作为组件，所以具有高度集成性。文献综述

SOA是一套面向服务架构的标准规范。Web服务则是一套技术体系，可以用来建立应用解决方案，解决特定的消息通信和应用集成问题。换言之，Web服务实现了面向服务的架构（SOA）。理论意义上，Web服务可以用来实现SOA，但是如果没有Web服务，也可以很好地实现SOA。但是，由于Web服务与SOA中倡导的服务概念完全吻合，因此被公认为实现SOA的最佳支撑技术。例如，IBM的SOA技术和策略总监Mark Colan先生就认为“Web服务是实现SOA的一条最好的路[6]”。

从面向应用的角度，描述Web服务的基本架构．该架构由3个参与者和3个基本操作构成。3个参与者分别是服务提供者、服务请求者和服务代理，而3个基本操作分别为：发布(publish)、查找(find)和绑定(bind)．Web服务基本架构如图2.1所示。 死路径语义下服务组合控制流图的生成(3):http://www.youerw.com/jisuanji/lunwen_71890.html