一种基于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服务组合的规范——Web服务商业流程执行语言 (business process execution language for Web services,BPEL4WS),定义了接口自动机和BPEL4WS之间的概念映射,并给出了BPEL4WS的基于接口自动机的形式化模型,最后通过一个案例给出了BPEL4WS到接口自动机的映射及验证的方法。     

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

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

Web服务和BPEL规范在人力资源管理系统中的应用

为解决当前人力资源管理领域面临的难以协同工作、难以支持业务流程自动化执行的问题,在该领域引入Web服务与工作流技术.首先结合BPEL4WS规范,分析人力资源管理过程中业务流程的实际模型;提出一种基于Web服务与BPEL4WS规范的软件支撑环境的设计方案,实现了流程的自动化执行与业务协同;并在传统的B/S结构基础上,采用Ajax技术构造客户端,增强交互性与易用性;最后,在系统实现的基础上,提出该领域生成工具的研究与实现,有效简化该领域软件开发过程.     

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

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

基于BPEL的业务流程集成①

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

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

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

一种将业务规则与BPEL有效集成的方法

业务规则是定义和约束企业业务结构与业务行为的规定或规范，是企业业务运作和管理决策所依赖的重要资源。当前，面向服务的计算变得越来越流行，Web services已经成为集成互联网上分布和异构应用程序的通用技术。使用Web服务合成语言BPEL可以将不同服务提供者提供的服务整合成新的服务。然而，这种基于流程的合成语言缺乏在合成过程中使用由不同的业务规则引擎管理的业务规则的能力。因此提出了一种将业务规则与BPEL集成的方法。     

基于SOA和开源模式的ERP系统设计与实现

现有ERP系统不能适应企业的业务流程重组,系统耦合度较高,可重用性差,难以推动二次需求开发.本文从SOA(面向服务体系架构)的观点出发,提出了一种基于SOA和开源模式的ERP系统的设计方案.在深入分析SOA原理及开源模式实现的基础上,给出了该系统的体系架构,并分析了系统在J2EE平台上的具体实现.     

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

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

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

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

基于BPEL4WS的Web服务整合研究

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

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

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

基于SOA和BPM的ERP系统的研究与实现

分析了传统ERP解决方案所面临的不足, 提出了基于面向服务架构和业务流程管理实现ERP系统的解决方案。在深入探讨面向服务的框架模型原理及业务流程管理思想的基础上，给出了一个面向服务和业务流程管理的企业应用框架。并结合企业实践项目，详细阐述了基于SOA和BPM集成的方法和步骤，充分论证了基于SOA和BPM的ERP系统集成开发的可行性及优越性。     

一种BPEL流程数据竞争检测方法

对使用业务流程执行语言(BPEL)组织流程中存在的数据竞争问题进行了研究,根据BPEL特性提出了一个静态分析和动态监控相结合的有效检测方法.实验结果表明,该方法能够准确检测出流程中存在的数据竞争,提高了流程的可靠性.     

基于插件技术的VWESA平台的研究与设计

针对当前企业资源计划(ERP)系统在中小型企业实施成本高、失败率高、个性化需求无法得到满足的问题,提出了基于Eclipse插件技术的ERP系统开发平台—VWESA.该平台按照面向服务架构(SOA)规范对企业业务流程及其功能进行小粒度服务抽取,并使用页面编辑环境和ERP-BPEL(业务流程执行语言)进行业务流程建模,最终由平台的解释引擎解释、生成基于Web service的ERP Web系统.经实践证明,采用本平台来构建符合企业个性化需求的ERP系统所需的开发时间比传统开发方式大幅度减少、开发效率大幅度提高,开发的灵活性更强;本平台适合用于个性化需求多变的中小型企业的ERP系统开发.     

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

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

一种基于规则的工作流模型互操作的实现方法

简要分析了两种类型的工作流语言——XML流程定义语言（XPDL）和商业流程执行语言（BPEL）的语言结构与特点，分别从流程的控制流和数据流设计了工作流模型的互操作方案， 提出了把XPDL格式的工作流转换成等效的BPEL格式的工作流的转换算法，最后使用基于Java的开源规则引擎drools工具实现了这个转换。     

面向服务的服务等级协议实现框架的研究

对面向运营支撑系统的服务等级协议（SLA）实现框架进行了研究,为了实现基于SLA驱动的下一代运营支撑系统的业务管理层的流程自动化,在WfMC工作流参考模型和面向服务框架的基础上,提出了基于工作流管理的服务等级协议实现框架,并采用面向服务架构（SOA）的商业处理执行语言（BPEL）,详细给出了基于该体系结构的SLA实现框架的应用实例。