摘要在面向服务的体系结构（SOA）时，可以通过适当的组合Web服务来提供应用程序，确定适当的服务。

但是如何解决服务行为的兼容性？现今最常用的方法是利用BPEL控制流图来分析服务的兼容性，但是这种方法却有几个不足。

一、 他们仅仅考虑一个沟通机制：同步或异步；64929

二、 BPEL控制流图不捕捉基本“happens-before”活动关系，会导致一些合格的服务不被发现。

为了克服这些限制，我们提出一种新颖的服务兼容性方式，这种方式是分析基于相反概念可观察到的活动序列，然后通过所有的可观察到的活动序列的一个服务（BPEL流程）来求得BPEL的程序依赖图，一个中间节点表示一个服务，抓住“happens-before”活动关系至关重要。我们可以通过实验来表明我们的方法可以识别更多合格的兼容性分析服务。

毕业论文关键词 服务兼容性；异步调用；相反的可观察到的活动序列；BPEL程序依赖图

毕业设计说明书（论文）外文摘要

Title Web service behavior compatibility analysis and prototype implementation

Abstract In a service-oriented architecture (SOA), can be appropriate composite Web services to provide application, determine the appropriate services.

But how to solve the service behavior of compatibility? Now the most commonly used method is to use BPEL control flow graph to analyze the compatibility of services, but this approach has several shortcomings. 

A． they only consider a communication mechanism: synchronous or asynchronous;

B． BPEL control flow graph does not capture the basic relationship "happens-before" activities, will lead to some qualified service without being seen.

In order to overcome these limitations, we propose a novel way of service compatibility, this way is the activity of analysis based on the opposite concepts that can be observed sequence, then by all the activity sequence can be observed from a service (BPEL process) for BPEL program dependence graph, a service, an intermediate node said seize "happens-before" activity relationship is very important. We can through the experiment to show that our method can recognize more qualified service compatibility analysis. 

Keywords  Service compatibility; The asynchronous invocation; Instead of the sequence of activities can be observed; BPEL program dependency graph 

目录

1 引言（或绪论） 1

1.1 现有服务兼容性分析方法 1

2 现有方法的问题（开发背景） 2

3 3. BPEL程序依赖图（相关技术） 4

4 4.BPEL流程的兼容性分析（技术举例分析） 8

5 5.结论 25

6 6.参考文献 25

7 7.致谢 29

1 引言（或绪论）

在面向服务的体系结构（SOA）中，Web服务是通过多个接口与接口发生相互作用，每个服务应该按照一定的顺序调用，这些服务被称为有状态的服务，可以实现Web服务业务流程执行语言过程。注意：BPEL流程和服务是可以互换的。BPEL驱动服务的常用包括酒店预订服务、货款审批服务、汽车租赁服务、签证申请服务、电子商务服务等等。因为Web服务是自治、分布和松耦合的、准确地确定合适的合作伙伴服务在服务发现阶段，行为服务之间的兼容性应该加以考虑。我们只从服务行为角度来研究这个问题，而语义和服务质量方面都超出了范围。