动车段(所)集中控制系统的业务执行流程设计

论述动车段、动车运用所的作业流程和集中控制系统(CCS系统);从阶段计划接收、列车计划编制、检修调车需求编制与转换、计划自动关联、调整计划、为计划选择进路指令方案、作业过程管理、动车组识别、计划执行的监督与反馈、控制模式方面阐述和分析CCS系统业务执行流程及主要功能。CCS系统可实现完整的调度业务闭环管理与执行流程。

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

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

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

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

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

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

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

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

供应链业务流程执行效率DEA模拟评测方法及算例研究

提出了一种混合型方法用于评测供应链业务流程执行效率。首先,建立了包含供应链业务流程执行情况消耗及产出指标的概念模型。然后通过构建模糊数据包络分析方法用于计算一个给定的供应链在业务流程消耗转换为产出时的效率。最后应用蒙特卡罗模拟方法对模糊DEA所产生的区间效率进行了排序。通过10个中国物流企业真实算例的分析证实在业务流程执行效率评测中,该方法是一种稳健而直接的工具。

模型驱动的业务流程执行方法研究

模型驱动体系结构对于增强业务流程管理系统的模型重用性和软件开发效率有重要作用。以往研究主要集中于MDA在流程建立阶段的作用,目的是介绍模型驱动方法在流程执行阶段的应用。采用构造基于XML Schema的业务流程集成元模型,包括过程、业务数据和组织机构三方面,再基于元模型建立易于扩展和重用的平台无关模型,最后按映射规则生成代码组件、SQL语句和用户界面,并由三种模型的逻辑关系得到业务流程执行元模型的框架。实践结果表明基于XML的业务流程模型能方便地转换为可执行的程序组件,并能在业务流程引擎的协调下有效运行。模型驱动方法能有效地运用在业务流程的执行阶段,下一步的研究重点是业务流程引擎代码框架的映射规则定义以及MDA在业务流程仿真中的应用实现。

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

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

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

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

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

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

基于业务流程管理的企业应用集成框架及其实现

为支持企业的各个具体业务过程,提出了基于业务流程管理的企业应用集成框架,其核心是为企业内和企业间的各种业务过程提供一个统一的建模、执行和监控的环境。利用Web服务业务流程执行语言来定义业务服务的协调模式,最终形成了面向企业业务集成的应用系统。最后,以企业数字化工厂应用集成为例,给出了基于Oracle业务流程执行语言流程管理器的实现方案。

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

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

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

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

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

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

基于BPEL的业务流程集成

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

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

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

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

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

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

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

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

分析了面向服务架构SOA和业务流程执行语言BPEL的特点及其应对业务流程快速变化时的优势,提出了基于SOA架构的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)进行两者的一致性检查;最后通过一个完备的案例对该方法进行了验证,结果表明了该方法的有效性。