基于业务流程执行语言的Web服务整合研究

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

服务交互过程模型的业务流程执行语言描述方法

为了解决目前各种流程建模技术与建模语言之间差异所造成的服务交互过程模型集成和交互的困难,更好地实现以数据为中心的体系结构开发策略,提出了一种指挥自动化系统体系结构服务视图的业务流程执行语言建模的实现方法。该方法依据国际国防企业体系结构规范的建模基础,构建了C4ISR体系结构服务视图的元模型;以模型驱动体系结构思想为基础,基于元对象设施的四层元建模架构,研究了指挥自动化系统体系结构服务视图元模型到业务流程执行语言的转换方法;基于建模原语—模式方法研究了指挥自动化系统体系结构服务视图中主要服务交互模式到业务流程执行语言描述的映射规则。

基于业务流程执行语言的WEB服务整合的探讨

首先介绍了Web服务业务流程执行语言(webservicebusinessprocessexecutionlanguage,WS-BPEL)的相关概念及关键技术,并给出了基于BPEL的业务流程管理系统的框架,提出了组合服务的方法和过程。最后,提出了WS-BPEL技术目前还存在的问题以及今后的研究方向。

Web服务业务流程一致性验证

在Web服务业务流程建模和实现过程中,Web服务编排从全局角度描述了Web服务参与者之间的协作和交互过程;Web服务编制描述了单个Web服务参与者与其他参与者的交互,两者的结合能有效提高服务流程建模和实现的效率以及准确性,但必须解决Web服务编排和服务编制的一致性验证问题。提出了一种基于CSP(communication sequence process)的Web服务编排语言WS-CDL(Web service choreography description lan-guage)和Web服务编制规范WS-BPEL(Web service business process execution language)间的一致性验证方法。该方法将WS-CDL和WS-BPEL均转换为CSP语言;然后基于CSP的模型检测工具PAT(process analysis toolkit)进行两者的一致性检查;最后通过一个完备的案例对该方法进行了验证,结果表明了该方法的有效性。

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

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

WS-BPEL业务流程与访问控制

针对面向服务的体系结构下企业应用安全需求,通过分析WS-BPEL业务流程特点,提出一种面向执行体的访问控制模型。该模型可以动态地进行权限授予与回收,并引入角色和约束机制。在此基础上,将流程活动映射到访问控制模型元素,从而在流程定义和权限管理隔离的情况下,实现WS-BPEL业务流程执行过程中的访问控制策略实施。

面向服务的业务流程管理架构研究

文章分析了用Web Service实现SOA的不足,指出了SCA/SDO作为SOA实现方式的优势,并对SCA、SDO、BPEL等技术及其组合的实现方式进行了论述。在此基础上,给出了基于SOA的业务流程管理框架。

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

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

状态驱动的可执行业务流程模型的设计与实现

在企业间的流程协同过程中,为了使企业的业务规则管理更灵活,防止企业私有的业务规则暴露给其他企业,并有效地监控流程的执行过程,将业务规则库和Web服务有机地整合,构建状态驱动的可执行业务流程模型(SEBPM)。通过定义抽象业务流和扩展的业务规则,得出业务规则和过程流之间的耦合策略。给出一个SEBPM的具体应用实例。

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

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

A-Stein:以数据为中心的业务流程管理原型系统

以数据为中心是业务流程管理领域的新趋势,典型的代表为IBM提出的artifact概念.名为A-Stein的BPMS的原型系统实现了从业务流程的设计、检查、优化到选择、组合Web服务并执行流程及对其实时监控的一体化和自动化.在模型管理部分提供了友好的图形界面,对流程提供多角度的检查和优化功能.提出了业务逻辑模型到BPEL的自动转换方法,实现了对Web服务的自动选择和调用.实现了对流程信息的实时监控.对系统框架、关键技术和主要演示过程进行了说明.

基于SOA的业务流程管理在模具协同设计任务管理中的应用

为了实现模具设计任务的自动管理,结合模具设计任务的特点,提出了基于活动树的任务分解模型。该模型能最大程度地避免任务间冲突的发生,并且能够保证模具设计人员之间模型信息的一致。在此模型的基础上,结合业务流程管理技术开发出了一套模具协同设计任务管理原型系统。该系统提高了模具协同设计的自动化程度,实现了模具设计任务的自动管理。

基于BPEL的业务流程集成

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

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

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

SOA架构下的业务流程编排相关技术研究

分析了面向服务架构SOA和业务流程执行语言BPEL的特点及其应对业务流程快速变化时的优势,提出了基于SOA架构的BPEL业务流程设计方法,以公共卫生管理系统对业务流程敏捷化的需求为例,阐述了儿童保健管理模块中出生医学报告业务的业务流程设计方法,提高了系统业务流程的重组性和适应性,使建立的系统平台具有高度的松耦合性、服务的重用性以及高度的敏捷性.

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

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

业务过程执行语言流程语义标注方法研究

为提高工作流模型在分布式执行过程中的自动化程度,解决语义异构问题,提出了一种基于本体的业务过程执行语言语义标注方法,构建了业务工程执行语言流程树和Web本体描述语言领域本体树。针对业务工程执行语言流程中的每个概念,分别从三个角度计算其与Web本体描述语言领域本体中所有概念之间的语义相似度,并选取与该概念复合相似度最大的概念建立映射关系。通过语义消歧过程,消除业务工程执行语言流程中存在的语义异构,并生成语义消歧树,进而基于一系列映射规则,将语义消歧树转化为Web服务本体描述语言描述的语义工作流模型。最后给出应用实例,并采用F1-measure对所提出的语义消歧方法进行评估。

流程挖掘在业务流程分发中的应用

对SOA中业务流程引擎按活动分解业务流程执行语言流程,针对此类活动封装到代理中时产生代理数量过多的情况,提出一个基于流程挖掘的智能流程分发方法,该方法能在3个方面提高系统的性能:改善业务流程在运行时的自适应性;根据检测相关性最强的活动封装到代理中选择最优代理;通过减少代理数量和改善代理信息的方式减少资源的使用。

大型矿山企业业务流程集成设计与实现

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

基于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-演算的形式化模型,最后通过一个案例给出了模型验证的方法。