商业流程执行语言的研究与应用

商业流程执行语言(BusinessProcessExecutionLanguageforWebServices,简称BPEL4WS或BPEL)是一种基于XML的工作流定义语言,它使企业能够描述既能使用又能提供Web服务的复杂的业务流程。介绍BPEL4WS的基本概念,特点及如何利用BPEL4WS来构建商业流程处理系统。

基于商业流程执行语言的工作流管理系统的研究和实现

Web服务的商业流程执行语言(简称BPEL4WS或BPEL)是一种基于XML的工作流定义语言,可以作为企业工作流建模和实现工作流管理系统的基础。本文首先介绍了工作流和BPEL4WS的基本概念,然后由一个例子具体介绍了BPEL4W的流程,最后给出了基于BPEL4WS工作流管理系统的实现。

层次化服务流程向可执行BPEL转换的方法

基于人工智能规划的服务组合算法得到的组合方案是一种层次化服务流程(layered service process,LSP),由服务之间的数据流(而非传统块结构流程中的控制结构)加以驱动执行。为使该类服务流程能在业务过程执行语言(business process execution language,BPEL)引擎上直接执行,研究了将LSP转换为BPEL的方法,追求BPEL执行效率的优化。给出了LSP的形式化模型,分析了将LSP转换为BPEL的3种策略(完全拆分、按层拆分、按块拆分),定性对比了三者之间的性能优劣。针对按块拆分策略,提出了9条规则用于对LSP的拆分,提出了块拆分算法和块合并算法。通过一个LSP案例对转换过程进行了演示,并通过实验证实了该转换方法可以获得比其他转换策略性能更好的BPEL。

业务流程执行语言的流程模式实现方法分析

业务流程执行语言(BPEL)是一种基于XML的业务流程建模语言;流程模式是从具有代表性的业务流程操作抽象出来的,可以复用的流程建模方式。本文中我们将分析BPEL4J对流程模式的支持能力,借此分析BPEL的流程建模能力。

BPEL商业流程建模

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

BPEL流程数据竞争和死锁检测算法研究

针对BPEL(Business Process Execution Language)流程中出现的数据竞争和死锁问题,提出了一种基于图理论的检测方法.首先把BPEL流程转化为BPEL片段图,然后通过求BPEL片段图中强连通分量的方式判定流程是否存在死锁;通过求BPEL片段图中节点间的可达性以判定节点间的可并发性来检测流程中的数据竞争.该方法采用约束求解技术对BPEL中的变迁条件和联合表达式进行分析,提高了检测的准确性.实际应用结果表明,该方法可以检测出流程中的数据竞争和死锁,提高流程的可靠性.

采用函数式语言的BPEL模型形式化验证方法

通信顺序进程(communicating sequential process,CSP)是一种经典的形式化方法,CSP_M是在CSP基础上提出的一种函数式语言。目前Web服务组合中BPEL(business process execution language)模型缺乏可执行的形式化编程语言,通过CSP_M提出了一种基于函数式语言的BPEL模型验证方法。首先给出了基于CSP_M的BPEL模型建模与验证框架;其次给出了CSP_M的进程代数定义;再次详细描述了BPEL语言到CSP以及CSP_M的映射方法;最后以一个在线购物系统为例,讨论了该方法的使用效果。实验表明该方法可以提高BPEL模型的可靠性。

基于BPEL的邮政企业业务流程集成设计与实现

研究利用BPEL技术标准,设计基于BPEL的邮政企业业务流程集成方案。介绍BPEL与SOA技术的特点,论述邮政企业业务流程集成框架的设计思想,设计出集成平台总体架构,并对该体系下的各层服务功能进行了阐述。最后,以邮政报刊发行订单业务流程为例,论述基于BPEL的业务流程编排与实现的过程。

BPEL组合服务流程动态性能的定量预测方法

针对服务质量研究在流程模型相关性和流程性能动态性方面存在的不足,将吞吐量和响应时间引入到组合服务流程性能评估的流程级指标中,借助排队网络系统的相关结论,研究了组合服务流程动态性能的定量预测方法,给出了针对组合服务流程执行语言(BPEL)的动态性能临界值计算方法,并通过一个示例介绍了该方法在BPEL组合服务流程的动态性能定量预测和组合方案优化中的应用。

BPEL下的业务流程集成分析

本文分析了BPEL下的业务流程集成,并用实例描述了具体流程。

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

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

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

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

基于BPEL的电厂竞价系统设计

由于电厂竞价系统需要基于重用来灵活地应对竞价规则的频繁变更,提出采用基于Web服务的业务流程执行语言(BPEL)和面向服务架构(SOA),建立电厂竞价系统。设计了系统的架构层次和部署结构,描述了基于BPEL的系统流程管理框架。最后,应用Active VOS Desinger对电厂参与日前市场竞价的流程建模,部署到BPEL Server中,快速实现了面向竞价流程的组合服务编制和发布。

业务流程集成技术在铁路信息共享中的应用研究

介绍在面向服务的架构下应用业务流程执行语言(BPEL)实现Web服务集成,从而实现铁路信息资源共享的方法,结合铁路货票、货调和确报3个系统举例说明实现方法。

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

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

基于WS-BPEL过程的Web服务依赖关系分析

构件和服务等软件实体的动态更新是支撑软件系统在线演化的关键技术,该技术可以在不中断系统运行的前提下对软件系统的结构或行为进行调整。然而,为保证更新前后系统行为的一致性,只有当软件实体处于安全状态时方可进行更新。以基于WS-BPEL(Web Service Business Process Execution Language)的软件系统为例,通过分析WS-BPEL过程与其成员服务间的依赖关系,提出了一种可预判成员服务是否动态更新的算法。实验结果表明,依赖分析算法可以有效预判成员服务可动态更新的时机,从而在不影响系统行为一致性的前提下有效减少动态更新所引起的服务中断。

基于AO4BPEL含感知上下文的Web服务组合模型的研究

Web服务已经成为了一种集成Internet上分布的不同类型的应用以提供增值服务的通用技术。文章基于面向切面的横切关注点动态编织技术,提出了一种含有感知上下文插件的面向切面的Web服务组合模型,使得Web服务组合更具用户化和动态适应性;并通过实例证明了该模型的有效性。

基于SaaS模式的流程引擎服务模型研究

随着SOA(面向服务的架构)、SaaS(软件即服务)、云计算等概念的提出、发展和逐步成熟,软件服务化成为未来软件发展的一个重要方向。与此同时,传统的工作流管理系统又被赋予了支持服务编排和编制的新功能需求。BPEL(业务流程执行语言)具有服务编排和编制的功能,因此,研究基于SaaS模式和BPEL实现的工作流引擎具有一定的必要性。文章着重分析SaaS模式下流程引擎所具有的特点和优势,提出一种基于SaaS模式的流程引擎服务模型。

一种基于BPEL的通用安全控制模块设计方法

随着面向服务架构(SOA)的提出,软件系统的整合与开发速度将越来越快,但软件系统的安全机制却是每次开发时都需要重新建立,并且随着软件系统日益增多,安全机制的复杂程度将不断提升。提出一种基于商业流程执行语言(BPEL)的通用安全控制模块设计方法,以减少相应的权限开发与管理工作,同时还以制造业企业资源计划系统(ERP)与电子商务系统账户整合为例说明权限模块的运行机制。

AOP在BPEL服务组合中的应用的研究

为了解决BPEL语言对横切关注点建模的缺乏和动态演化方面的不足,文中提出一种把协调策略附加到BPEL伙伴链接和作用域上,在部署时对参与业务过程事务的伙伴服务支持的协调类型进行验证,保证业务过程需要的协调类型被参与者支持。同时,引入了面向方面编程(Aspect Oriented Programming,AOP)的思想,分离事务需求横切关注点,通过利用现有的支持动态织入的BPEL引擎等相关技术,使得事务管理需求能够在运行时动态地织入,并且能够在伙伴服务或者是业务过程改变时实现动态的修改。