向开发这提供了一个可执行的BPMN过渡， 并且是当前实际使用的 Web 服务编制标准。 BPEL
是专为整合Web 服务而制定的一项规范标准。
用 XML 文档写入 BPEL 中的流程能在 Web 服务之间以标准化的交互方式得到精心组
织。这些流程能够在任何一个符合BPEL 规范的平台或产品上执行。 所以，通过允许顾客们
在各种各样的创作工具和执行平台之间移动这些流程，BPEL 使得他们保护了他们在流程自
动化上的投资。
在企业中，BPEL 被用来使企业应用集成标准化和扩展集成到以前孤立系统。在企业之
间，BPEL 使企业能够更加容易更加有效地和企业伙伴集成。BPEL 为企业信息系统提供一个
使业务流成可以以一种更容易和高效的方式开发并且能够不需要太多努力就能更快地适应企
业需求的改变的一个环境。在功能已经或将经由 Web 服务公开的环境下，BPEL 是关键技术。
随着 Web 服务技术使用的增加，BPEL 的重要性将进一步上升。
业务流程的设计甚至可能会与一个重大的经济风险有关。因此，业务流程反模式的检测
是评估系统设计和服务质量的重要任务。对于业务流程反模式的探测也就是 BPEL 流程反模式的探测。
为了改进系统的设计和服务质量，设计缺陷，也就是，反模式必须被检查并且被改正。
因此，为了检查 BPEL 反模式这一目标，我需要做：（1）根据现有文献资料对要检测的几种
反模式进行重新定义，（2）为在 BPEL 反模式中检测之前定义的几种反模式定义一个方法并
且实现它，（3）在 BPEL 例子进行实验并且给出结果。
本文的组织形式如下。第二节简要的介绍了在这方面的研究背景和现状。第三节介绍了
本文要检测的两个控制流反模式规则和三个数据流反模式规则。在第四节中详细的说明了采
用的检测方法。最后，在第五节中展示了这个检测方法的实验结果，并且在最后对这个方法进行了一些分析。 BPEL程序控制流反模式检测算法实现(2):http://www.751com.cn/jisuanji/lunwen_20044.html