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

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

基于BPEL4WS的Web服务整合研究

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

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

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

基于Pi-演算的BPEL4WS Web服务组合形式化模型

Web服务组合研究领域的一个重要的问题是如何形式化描述Web服务组合,如何验证服务组合的正确性。Web服务组合的形式化模型来可以用来检查、验证Web服务组合以保证组合的正确性。Pi-演算是一种适合于Web服务组合建模的进程代数。本文介绍了P-演算的基本语法,针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范-Web服务商业流程执行语言（Business Process Execution Language for Web Services,BPEL4WS）,定义了Pi-演算和BPEL4WS之间的概念映射,并给出了BPEL4WS的基于P-演算的形式化模型,最后通过一个案例给出了模型验证的方法。     

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

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

基于接口自动机的BPEL4WS Web服务组合形式化模型

介绍了接口自动机的基本语法,针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范——Web服务商业流程执行语言 (business process execution language for Web services,BPEL4WS),定义了接口自动机和BPEL4WS之间的概念映射,并给出了BPEL4WS的基于接口自动机的形式化模型,最后通过一个案例给出了BPEL4WS到接口自动机的映射及验证的方法。     

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

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

BPEL for People的研究与应用

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

基于π演算的BPEL组合服务的形式化描述及验证

BPEL是实现SOA组合服务和服务编制的重要技术.重点论述了π演算的语法定义和П演算建模Web服务的算法,然后以一个典型的银行借贷服务系统为例,利用π演算进行了形式化描述和验证.     

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

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

一种基于BPEL4WS的柔性化工作流模型的研究

文中介绍了工作流技术发展现状及其存在的柔性化制约,同时介绍了BPEL4WS的相关概念。针对当前传统的工作流系统存在的柔性化制约,在WfMC提出的工作流元模型的基础上,结合BPEL4WS的标准,从整体规划的角度,给出了一个柔性化的工作流管理系统的模型BP-WFMS,并对其柔性化的具体表徵做出相应的探讨。     

基于BPEL4WS的Web服务合成

在介绍了BPEL4WS的基本概念、特点及服务合成基本组成的基础上,利用BPEL4WS构建了一个虚拟第三方物流的Web服务合成系统.模型,并给出了该模型的控制流程和核心部分的代码.     

基于代理和BPEL4WS的Web服务合成与实现

Web服务的交互和实现被推荐通过软件代理来实现.Web服务目前还不能很好地支持动态、自适应的服务组合和分布式业务流程.软件代理在建模、知识表达和交互等技术上的优势,能够强化Web服务的交互和动态应用能力.基于代理和面向流程建模的BPEL4WS,可以实现Web服务面向业务应用的合成与执行,支持多个协同的业务流程及其动态配置.系统分析了代理、BPEL4WS和Web服务整合的技术与实现方案,利用JADE平台开发了相关的测试模型,并且以网上拍卖为案例,验证了所提方案及实现.     

基于CPN的业务流程执行语言建模

提出了Web服务业务流程执行语言的CPN建模方法,描述了基于Web服务业务流程的工作流行为特性。在对BPEL4WS的基本活动和结构性活动进行分析的基础上,给出了利用CPN对流程进行建模的方法。然后结合具体实例阐述了利用该方法建模的详细过程,并对所生成的Petri网模型进行验证。     

基于BPEL4WS的分布式应用系统的研究与实现

研究了基于Web服务的业务流程执行语言BPEL4WS(Business Process Execution Language for Web Services)的实现机制和关键技术,在此基础上,结合具体应用分析了BPEL4WS在分布式应用系统中的应用和实现。     

一种基于BPEL4WS的柔性化工作流模型的研究

文中介绍了工作流技术发展现状及其存在的柔性化制约，同时介绍了BPEIAWS的相关概念。针对当前传统的工作流系统存在的柔性化制约，在WfMC提出的工作流元模型的基础上，结合BPEIAWS的标准，从整体规划的角度，给出了一个柔性化的工作流管理系统的模型BP—WFMS，并对其柔性化的具体表徵做出相应的探讨。     

Modeling business processes with BPEL4WS

Business Process Execution Language for Web Services (BPEL4WS) allows defining both, business processes that make use of Web services, and business processes that externalize their functionality as Web services. This short paper introduces the basic language elements of BPEL4WS using a simple example. The concepts underlying the language are briefly explained: establishing bilateral partnerships, correlating messages and processes, defining the order of the activities of a business process, event handling, handling exceptions via long-running transactions, and the usage of BPEL4WS in pure B2B scenarios. The paper finishes off by presenting the resulting application structure and the resulting economical implications.