BPEL工作流管理系统中人工交互的研究

Business Process Execution Language(BPEL)成为了W eb服务编排的事实标准。BPEL的缺点是缺少对人工交互的支持。随后的BPEL4Peop le规范试图通过扩展BPEL来支持人工交互;但现有的大多数BPEL引擎只支持BPEL规范,并不支持BPEL4Peop le规范,因此它们也都缺少对人工交互的支持。要使现有BPEL引擎支持BPEL4Peop le规范,必须修改现有BPEL引擎,这实现起来比较困难。提出了一种松耦合的解决方案:它利用现有的BPEL引擎,但不对现有的BPEL引擎做任何修改,通过两个组件即用户门户和任务引擎,使得基于现有BPEL引擎的工作流管理系统能够支持人工交互。     

基于着色Petri网的BPEL建模与验证

目的为了保证使用商业过程执行语言(BPEL)描述的Web服务组合的正确性。方法用着色Petri网(CP-nets)对BPEL流程进行建模、分析以及验证。结果定义了一套从BPEL到CP-nets的映射规则,该规则可以将BPEL流程转换成CP-nets,通过着色Petri网工具-CPN tools对该CP-nets进行自动分析以及验证,从而验证该BPEL流程的安全性、活性等性质。结论利用CP-nets这种形式化工具可以有效地发现BPEL流程中存在的设计错误。     

基于SOA和BPEL的电信业务流程管理系统（BPMS）的设计与实现

提出了一种基于工作流技术、结合了面向服务架构（SOA）的框架理念和设计思路的电信业务流程管理系统的建模与控制方案。结合实际的电信产品服务阐述了在IBM WBI-SF V5．1环境下结合BPEL构造和编排电信服务流程的基本过程以及生成可执行文件和代码的方法,介绍了通过使用Web服务描述语言（WSDL）以及消息通讯的算法进行业务流程与Web服务的交互与通信。最后介绍了在IBM的应用服务器WAS 5．1上进行BPEL流程的部署和监控,以保证BPM系统能正常稳定的运行在该环境下。通过对系统实际性能分析证明该系统在实际应用中具有优异的性能,系统设计符合SOA规范,具有良好的重用性和可移植性。     

BPEL商业流程建模

介绍了标准化的商业流程执行语言BPEL，从一个例子出发，借鉴统一开发过程(RUP)中的用例模型和分析模型对整个商业流程进行刻画，并简要介绍了如何采用WSDL和BPEL4WS两种标准的语言对整个模型进行文档化的过程。     

A reflective approach for dynamic change of BPEL process

WS-BPEL (Web Service Business Process Execution Language), as an emerging workflow standard, provides a simple and effective way to construct Web Services-oriented workflows. However, to the best of our knowledge, few effort from the industry and academia has addressed the dynamic change problems of BPEL process. This paper proposes a reflective approach to solve this problem. In this paper, a formal meta-object model of process instance is defined; the behavioral consistency criterion based on this model is proposed; a set of modification primitives are given to modify the meta-object while keeping the change atomic and consistent; and in addition, the MOP is offered to provide the programming interfaces for dynamic BPEL process change. Biography: JIA Xiangyang (1972–), male, Ph. D. candidate, research directions: software engineer, service-oriented software engineer, workflow.     

基于BPMN和BPEL的流程管理技术柔性原理分析

从体系结构和技术标准本身分析了面向服务的,基于BPMN和BPEL的新一代流程管理技术柔性实现的原理。     

A template-based approach for automatic mapping between business process and BPEL process

In order to support just-in-time reconfiguration of business process execution language （BPEL） process, a template-based mapping method is proposed to map business level process to BPEL process. The method builds up mapping relationships between the key points of business level process and BPEL process, which helps users to adjust the business level process with simplified operations, and automatically maps the changes to BPEL. In addition, a case of the application of the method in a clothing enterprise was illustrated.     

基于B+树的BPEL流程异常处理机制研究

Web服务组合具有松耦合、自治性的特点,BPEL规范中的异常处理机制也不完善,于是BPEL流程中的异常处理方法是研究的一个主要问题。针对该问题,在流程运行阶段处理异常的一些通用的策略的基础上,提出了基于B+树的等价服务替换算法,分别阐述了BPEL中同步和异步调用Web服务产生异常的情况,最后构架了一个异常处理的系统框架原型。     

A Requirement Driven Learning Management Architecture Based on BPEL

With the prosperity of the Internet, e-learning has been greatly improved. By supporting multiple learners and multiple roles in a learning activity, the IMS Learning Design (LD) specification provides a collaborative scenario for participants. However, IMS LD provides insufficient support for interaction among learning activities and can not dynamically integrate learning resources to meet the continually changing service requirements. In this paper, a Business Process Execution Language (BPEL) enhanced requirement driven learning management architecture to address the issues of personalize adaptive learning was proposed. It models the lenrning activity by combining IMS LD with BPEL and matches optimal learning sequence based on Case-based reasoning (CBR) method. By providing expandable secure learning sequences flexibly, it satisfies the different actual demands for personalize learning.     

组合Web服务过程中的合理调度问题研究

介绍了当前企业信息系统存在的问题,指出了EAI的缺点,对BPEL进行了简单的概述.在web Service和BPEL技 术基础之上,给出了在一个组合服务过程中如何解决服务单元合理调度问题的框架,并分析了框架的结构,对服务单元的状态属性表进行了设计.     

基于时序可中断π演算的BPEL和BPEL4People建模

为了形式化地定义BPEL和BPEL4People的语义,提出了一个π演算的变种——πit演算。相对于传统的π演算,πit演算可以描述中断事件和时间事件,从而拥有更好的建模表达能力。介绍了πit演算的语法和语义,定义了一类强互模拟关系来判定πit演算进程间的行为等价,然后使用πit演算对BPEL和BPEL4People的活动进行了建模。该形式化模型有助于在BPEL和BPEL4People程序的设计阶段对其可靠性和一致性进行验证。     

基于WEB SERVICE网络选课系统的研究

本文从网络校园的现实情况出发,联系中等职业学校学分制环境下网络选课的实际需要,提出了一种基于WEB SERVICE网上选课系统的解决方案.并对系统的可行性、安全性、先进性等方面进行了有益的探索,对日后新型网络教学系统的构建有一定的指导意义.     

一种基于UML 2.0活动图的Web服务业务流程测试方法

UML2.0已经成为最重要的建模语言,BPEL是描述Web服务业务流程的事实标准。本文提出了基于UML2.0活动图对BPEL建模并进行测试的方法。该方法扩展了活动图,给出其形式化定义以及测试覆盖准则的定义,对测试用例生成算法加以约束,提高了测试的效率和精确性。最后结合实例探讨了Web服务业务流程自动化测试方法的可行性。     

基于SPIN的BPEL4WS建模与验证研究

Web服务组合研究领域的一个重要问题是如何形式化描述Web服务组合,验证服务组合的正确性,Web服务组合的形式化模型可以用来检查和验证Web服务组合以保证组合的正确性.文章使用模型检查工具SPIN对目前普遍使用的Web服务组合规范BPEL4WS (Business Process Execution Language for Web Services,Web服务业务流程执行语言)模型进行了验证,给出了BPEL4WS语法到Promela形式化模型的转换方法,最后通过一个实例对BPEL4WS表示的服务组合模型的安全性、活性和有界性等特性进行了验证分析,从而给出了基于SPIN的BPEL4WS表示的Web服务组合模型验证的方法.     

基于数据流优化的BPEL流程分割方法

BPEL描述的业务流程在跨组织的企业应用集成与协作中扮演着重要角色.目前BPEL流程主要采用集中式的执行方式,但是集中式执行的BPEL流程性能不高并且不能满足动态流程管理的需求.提出了一种基于数据流优化的BPEL流程分割方法,以支持BPEL流程的分散化执行.BPEL流程经过变换被表示成PFG图,提出数据流方程对PFG图进行数据流分析,扩展复制传播算法优化PFG图的数据流.最后按照流程中的角色分割BPEL流程.实验数据表明优化分割后的业务流程的吞吐率、响应时间等方面的性能有较大提高.     

基于SOA生产管理系统的研究与实现

首先分析了传统生产管理系统解决方案所面临的不足,提出了基于面向服务架构实现生产管理系统的解决方案。然后在深入探讨面向服务的框架模型原理的基础上,给出了一个面向服务的企业的应用框架,详细阐述了基于SOA系统集成的方法和步骤,充分论证了基于SOA的生产管理系统集成开发的可行性及优越性。     

WS-CDL编排到BPEL编制的转换与实现

Web服务编排流程与编制流程之间的转换一直是学术界的研究热点,尤其是W3C提出的标准规范WS-CDL与如今广泛应用的编制规范BPEL流程之间的转换,对SOA实践者来说具有很强的实用性。然而,现有的转换规则都没有考虑全局模型到局部模型的转换过程中可能存在的不可执行问题,并且其转换规则本身也存在一些不合理的地方。提出了新的WS-CDL编排到BPEL编制流程的转换规则,该规则不但给出了转换过程中不可执行问题的检验和排除方法,并且其转换规则相较于现有的规则更加准确合理。     

Web服务语言BPEL到接口自动机的转换

在目前对于服务组合的研究中,对于用业务流程执行语言(BPEL)和WSCL等标准语言来描述的服务来说,语言本身缺乏对组合正确性进行检验的支持,必须借助相关的形式化工具来完成对服务组合的检验.为了解决BPEL对检验支持的不足,基于接口自动机这一形式化工具,对BPEL中主要语言元素到接口自动机进行转换,转换的目的是为了下一步应用基于接口自动机的行为获取方法来对服务的组合进行验证,最后通过一个实例证明了转换方法的有效性.     

基于BPEL4WS的新型电信业务创建方法

采用基于万维网服务的业务过程执行语言(BPEL4WS)的方法开发新型环境下的电信业务,试图解决电信业务开发难度大、周期长的问题.首先针对电信业务的特点指出了BPEL4WS的不足,然后提出采用面向方面编程(AOP)的方法解决了其中的模块化和动态扩展的问题并给出了系统的架构和实现方法,最后实验结果证明该方法的可行性.     

动态服务流程模型混合分割方法及应用

为统一跨组织之间的服务流程定制问题,提出了基于高级Petri网的动态服务流程模型混合分割方法,将一个全局的BPEL模型分割为若干个完备的执行分片,根据组织的不同,分别放置在多个BPEL引擎上协同执行,在此基础上进行了模型混合分割的正确性验证.通过示例验证了BPEL流程模型混合分割执行的可行性,最后结合示例给出了支持模型混合分割的原型系统.仿真结果表明:动态服务流程模型混合分割方法支持下的多个BPEL引擎分布式执行比集中式BPEL引擎的集中编制有明显的优势,从而提高了服务流程引擎的吞吐率,也减少了服务响应时间的花费.