基于BPEL的Web服务组合应用研究

论文对基于BPEL的Web服务组合机制进行了深入研究,通过一个开发实例,给出了基于ActiveBPEL Designer设计实现Web服务组合的过程,并对部署和测试该BPEL流程的方法进行了讨论。     

基于BPEL的流程数据竞争问题研究

服务组合就是将多个基本的Web服务组合成可以满足用户需求的增值服务,为企业或企业间的业务过程集成提供技术支持。作为一种流程驱动的服务组合描述语言,BPEL和其他采用不同方式的服务组合语言一样面临着流程描述的正确性问题,在执行服务组合之前要对其控制流和数据流进行分析和验证。数据竞争是BPEL数据流分析中亟需解决的问题之一。围绕BPEL流程数据竞争问题,在对BPEL规范中的活动类型、活动并发性进行分析基础上,给出了数据竞争的形式化描述,提出一种检测方法。该方法基于XML节点树的特性、活动之间的并发性以及活动关联的消息来判断是否存在潜在的数据竞争。最后,通过一个订单处理流程实例,说明了该方案的有效性。     

基于BPEL的业务流程集成①

本文首先介绍了BPEL(Business process execution language)的定义及其元模型,针对传统流程构造技术的不足,提出了一种基于SOA的业务流程集成的体系结构,并研究了业务流程模型到BPEL的转换规则,最后用实例介绍了如何使用BPEL进行流程描述。     

基于扩展同步Petri网的BPEL建模

使用业务流程执行语言(BPEL)描述复杂业务流程时容易出错。针对以上问题,通过对同步Petri网进行扩展,设计一个更适合BPEL建模的模型SPN-NET,给出各种BPEL结构化活动到SPN-NET的转换,提出一种具有一般性的相似性化简算法。合理性验证和性能分析表明,该模型简洁紧凑,可理解性好。     

基于Web services和BPEL实现企业应用集成

本文介绍了传统企业应用集成的架构,阐述了其存在的弊端,在认真分析Webservice和BPEL两大关键技术的基础上,提出了一种基于Webservices和BPEL技术实现企业应用集成的新架构,并给出新架构中关键部分的解决方案。     

基于BPEL的Web Service组合的数据流分析测试方法

随着Web Service组合变得越来越复杂,通过测试来保证服务质量和可靠性也变得越来越重要.将传统数据流分析方法扩展用于Web Service组合测试,提出了一种基于BPEL的Web Service组合的数据流分析测试方法.该方法基于一个测试模型:Web Service组合测试模型WSCTM,该测试模型可以捕获Web Service组合的数据流接口.采用基于服务的模型WSCTM,数据流可以从3个视点来分析:服务间、服务内和服务实现构件间.从而,Web Service组合的数据流测试可以在三层上得到实现.基于以上方法,可得到Web Service组合的定义-使用链,最终可产生满足既定测试标准以获得需求Web服务组合质量要求的测试路径.     

使用BPEL4WS设计业务流程的研究

首先介绍Web服务的概念、特点及其在商业应用中的不足,从而引出为什么要整合Web服务;接着介绍了BPEL4WS的概念以及它与Web服务的其它规范的关系;随后结合一个简单的例子,详细讲述了如何使用BPEL设计业务流程。     

BPEL文档基于DAG自动生成框架的研究与实现

针对目前服务之间组合的复杂性,提出一种基于有向无环图的业务流程执行语言文档生成框架。通过对框架模型的解析,提出一种能够自动生成服务组合所需各种文档的改进框架及其算法,有效地隐藏了专业的业务流程执行语言知识和繁琐的服务组合流程。实践表明,该框架简单、易用,不仅能够清楚地反应服务组合之间的流程,而且还不需要BPEL专业方面的知识,减少了服务组合的工作量。     

基于BPEL的Web服务快速组合框架

针对当前Web服务组合语言以及Web服务组合过程的复杂性,提出基于业务流程执行语言(BPEL)的Web服务快速组合框架。该框架用有向无环图(DAG)表示服务组合逻辑,通过对DAG解析自动生成发布工作流所需要的各种文档。对原型系统的验证结果表明,该框架能将BPEL的复杂性隐藏起来,达到Web服务快速组合的目的。     

基于BPEL和UDDI的动态Web服务组合系统架构

BPEL是专为整合Web服务而制定的一项规范标准,利用BPEL组合Web服务,能够创造出复杂的业务流程.然而BPEL不支持在运行阶段动态绑定和修改Web服务,针对这一问题,本文探索性地提出了动态Web服务组合系统(DWSCS)架构.借助UDDI动态发现Web服务的能力,弥补了传统BPEL业务流程只能对Web服务进行静态绑定的缺陷,提供了动态绑定Web服务和异常情况下动态修改Web服务的功能,增强了Web服务的业务组合能力.     

BPEL for People的研究与应用

Web服务的业务流程执行语言（Business Process Execution Language for Web Services．简称BPEL4WS或BPEL）是对Web服务整合的一种规范化语言。本文介绍了BPEL4WS的基本概念以及在用户交互方面的扩展（BPEL for People）,最后给出BPEL4WS文档,描述具体的流程实例。     

基于BPEL的业务流程管理系统架构的研究与应用

随着商业环境的日益复杂化,对企业流程的管理受到越来越多的重视,基于BPEL的流程组合方法得到了广泛的业界支持.首先研究了Web服务业务流程执行语言（web service business process execution language,WS-BPEL）的协议基础及关键技术,并给出了基于BPEL的业务流程管理系统的框架,着重介绍了业务流程执行引擎的结构,并结合一个应用实例分析了BPEL流程的执行过程.最后,提出了WS-BPEL技术目前还存在的问题以及今后的研究方向.     

基于BPEL4WS的Web服务整合研究

业务流程执行语言（BPEL4WS）是整合Web 服务的标准，其作用是将一组现有的服务整合起来，从而定义一个新的 Web 服务。首先介绍了业务流、工作流、以及BPEL4WS在Web服务建模方面的基本概念，建立了BPEL4WS整合Web服务模型，提出了组合服务的方法和过程。最后通过实例证明了BPEL4WS服务整合的实用性。     

基于BPEL的一致性声明文稿设计实现的研究

基于BPEL(Business Process Execution Language)的服务组合是Web服务的发展方向。基于BPEL的一致性声明文稿是基于BPEL的服务组合系统一致性测试内容和构造基于BPEL的服务组合系统测试用例的主要依据。基于一致性测试理论和BPEL/WSDL规范分析,研究基于BPEL/WSDL的各成分结构关系,提出基于BPEL的一致性声明文稿。该文稿包含10类子文稿:流程支持文稿、合作伙伴链接支持文稿、服务组件支持文稿、变量支持文稿、相关集支持文稿、消息支持文稿、各种处理支持文稿、各种活动支持文稿、接口支持文稿、操作支持文稿。设计实现了文稿自动生成系统,用于自动生成基于BPEL的一致性声明文稿。     

BPMN到BPEL2.0的模型转换方法

随着WSBPEL2.0规范标准的提出,现有的BPMN到BPEL的组件转换方法已不再适用。为了适应BPEL的变化,对组件的转换进行改动和扩展,对错误处理活动在语义上提供支持,并且提供了显式的事务特性支持。这种设计已经在中国科学院软件研究所软件工程中心研制的OnceBPD建模工具中得到实现,并在实际运用中检验了其可用性。     

基于BPEL4WS的工作流平台的设计和实现

随着市场竞争的全球化,企业必须能够对其业务过程进行快速重组,以提高自身竞争力,这使得其工作流问题受到了广泛的重视和研究。但是目前的工作流技术仍然不够成熟,尤其是业务过程涉及不同企业间的协作时,存在着互操作方面的诸多缺陷。Web服务的产生和发展很好地解决了这个难题,所以建立在Web服务基础上的BPEL4WS工作流技术弥补了当前工作流技术的不足,且已成为一种发展趋势。基于BPEL4WS设计和实现了一个工作流平台,并成功应用于攀钢的企业综合业务系统中。     

BPEL的测试用例生成研究

BPEL是能表达复杂的并发行为的一个语言,被用于描述Web服务的组合.提出一个算法来生成BPEL过程的单元测试用例.首先通过给定的转换规则把用BPEL描述的过程转换成BPEL流图(FGBPEL),然后提出CTP算法来生成测试用例.对提出的方法做适当的扩展,也可以运用到其它的业务过程处理语言中.     

BPEL中的Web服务动态合成机制

Web服务业务流程执行语言(BPEL)是一种Web服务合成语言.本文研究了Web服务合成的概念及其特点,详细分析了Web服务寻址及BPEL中的Web服务动态合成机制,并举例说明.     

面向分布式业务执行的BPEL流程解析方法

当前工业界标准的业务流程描述语言BPEL是一种集中式的编制语言,通常业务执行时由集中式引擎控制,易成为系统的性能瓶颈。提出一种BPEL业务流程解析方法,以与服务直接相关的活动为基础,将流程划分出若干基本单元,通过递归算法将其它活动归属到相关单元,产生多个子流程,实现对原有流程的分割,使业务流程可以分布式执行。实现了一个分布式业务执行原型系统,验证了解析方法的有效性。     

一种基于BPEL4WS规范的业务流程设计器的解决方案

将Web服务和传统的工作流技术相结合至业务流程管理系统中，对业务流程进行设计和更改是至关重要的。本文为WSBPMS提出了一套基于BPEL4WS规范的业务流程设计器的解决方案，描述了流程设计器的总体结构以及其中的关键技术。