Event-driven process execution model for process virtual machine

Current orchestration and choreography process engines only serve with dedicate process languages.To solve these problems,an Event-driven Process Execution Model(EPEM) was developed.Formalization and mapping principles of the model were presented to guarantee the correctness and efficiency for process transformation.As a case study,the EPEM descriptions of Web Services Business Process Execution Language(WS-BPEL) were represented and a Process Virtual Machine(PVM)-OncePVM was implemented in compliance with the EPEM.

基于ROAD-CPN业务架构的可执行建模方法

开放组架构框架(TOGAF)业务架构作为数据架构、应用架构和技术架构的基准,在企业系统架构设计中占据引导作用。但由于其自身描述形式的局限性,存在无法对系统业务架构框架动态特征进行分析的问题,故提出一种基于ROAD业务架构的着色petri网(CPN)可执行模型生成方法。该方法基于TOGAF业务架构ACF元模型划分提出的4类模型——规则模型(RM)、组织模型(OM)、活动模型(AM)和数据模型(DM),建立4类模型不同描述形式与CPN建模语言间的对应关系,进而提出以RM,OM,AM和DM为主体的可执行模型五阶段建模方法。最后,以幼儿园智能晨检机器人系统业务架构为例,验证了所提方法的可行性和有效性。该方法实现了灵活、自动化的CPN可执行模型的生成,打破了业务架构建模语言和CPN建模语言之间的限制。

BPEL流程建模中的交叠模式分析与转换

由图形化流程建模语言生成可执行的业务流程语言(business process execution language,简称BPEL)时,对于源模型中顺序与并发结构交织的情况(称为交叠模式),传统的复制相关活动方法缺少系统分析及形式化描述.针对这一现状,提出基于工作流网的UML活动图生成BPEL方法,以自由选择工作流网作为活动图的理论基础,利用活的、有界的自由选择网系统的合成规则,定义合理的自由选择工作流网中的两种交叠模式,针对其中一种给出复制相关活动的形式化转换方法,并借助Petri网的并发正则表达式证明转换等价性,说明另一种交叠模式中复制相关活动方法的适用范围.针对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模型的可靠性。

基于MDA的SOA服务协作模型

BPEL是业务流程执行语言用来描述SOA的服务协作模型,实现对已有系统业务流程的编排。但其随着整合已有系统的增多和业务流程复杂性的增加,BPEL建模也变得异常复杂。本文给出了一种基于MDA模型驱动转换的方法来建立SOA服务协作模型。针对建立SOA服务协作模型的复杂性,在平台无关层建立UML活动图描述服务协作模型的交互过程,通过建立模型之间的映射规则,将平台无关层模型自动转换到平台相关层BPEL模型,试验表明:该方法能较好地简化SOA服务协作模型的建立过程。

类型化的Web服务组合形式化模型

Web服务组合的正确性包括动态行为的匹配性和数据类型的一致性。本文定义了一个扩充的Pi-演算类型系统,同时利用该系统对BPEL4WSWeb服务组合规范建立了一个类型化的形式化模型,通过该模型能够对Web服务组合的正确性进行验证。最后通过一个案例,给出了对Web服务组合动态行为的匹配性和数据类型的一致性的验证方法。

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

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

从BPMN模型导出组合服务的代数规约

针对应用规约自动测试BPEL表示组合服务时需要解决BPEL服务的规约生成问题,提出了一种从BPMN模型导出BPEL规范定义的组合Web服务的由代数规约语言CASOCC-WS表示的代数规约方法。首先,定义从BPMN模型转换成基调的规则和从BPMN结构转换成正则表达式的规则,设计由正则表达式导出构成公理的项的算法;然后,提出根据所得的项人工书写公理的启发式规则;最后,实现一个从BPMN模型导出组合服务基调的工具原型。案例研究表明,该方法可以解决BPEL服务的代数规约生成问题。

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

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

基于BPEL的跨域业务协同建模方法的研究与实现

针对物流服务中的多式联运场景,采用面向服务的架构、Web服务技术和业务流程执行语言(BPEL),实现了跨区域企业间业务协同过程建模和相关企业资源的集成.研究表明,相比传统的企业集成技术,BPEL是面向服务架构(SOA)下的一种有效整合企业资源的方法,可以很好地实现跨域协作和业务集成.

一种基于Web服务的工作流过程模型

工作流管理系统实施是提高企业核心竞争力的有力措施,而工作流过程模型是整个工作流管理系统的基础,在Web服务的基础上提出了一种分层的过程模型,同时在过程模型中增加新的元素事务活动和事务节点,增加了模型对工作流管理系统的分布异构环境以及事务特性的支持。

面向服务架构的实现模型

归纳了面向服务架构的关键元素,分析了各个元素的实现规范及其关系,并提出了一个以服务为核心、根据标准化的信息技术构建的面向服务架构的实现模型。分析了该模型各个层次的特性及功能,并设计了该模型中企业服务总线层和流程层的实现机制,介绍了该模型在一个基于面向服务架构的第三方知识服务交易平台中的应用。

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

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

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

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

基于连续语义的业务流程模型的转换

针对业务流程图与可执行模型之间一致性的问题,通过对常见工作流模式的分析,将流程表达的逻辑建模成一系列事件/状态的组合,设计了一种基于连续语义的模型转换方法,从而把含有非结构循环的业务流程模型转化为在功能上等价的仅仅支持结构循环的工作流代码。最后通过具体案例验证方法的有效性。

基于BPEL2.0标准的业务流程建模研究与实现

针对工业自动化需求,在业务流程执行语言(business process execution language for web services Version 2.0,BPEL 2.0)国际标准的基础上,提出了一种面向网络服务定义(web service description language,WSDL)标准的业务流程建模工具的设计原理。以基于Eclipse 3.4平台下设计和实现的业务流程建模工具为应用实例,阐述了其系统架构、建模算法,并通过对实际工业现场的应用和结果分析,验证了该业务流程建模解决方案的可行性。现已有公司将该建模工具投入使用,且已经产生可观的社会效益和经济效益。

企业流程再造的执行力模型分析

将库尔特·卢因的三阶段革命过程模型与企业的流程再造相结合,同时结合执行力=驱动力-遏制力这一关系等式,提出BPR执行力模型。深入具体地分析了影响企业实施BPR的驱动力和遏制力,得出企业能否实施BPR的决定性因素是内部动力大于内部阻力这一结论,这一结论对企业决定是否实施BPR十分重要。

一种验证Web服务流程的新方法

在实际的服务组合中,Web服务流程(process)的验证(verification)对于Web服务的组合实现和应用具有重要意义——通过验证可以证明一个组合服务的控制流满足某个重要或者期望的属性,如不包含死锁或不包含无限循环,诸如此类;而服务提供者可对Web服务流程进行验证,以确保所提供的Web服务是完全正确的。然而,针对这两种语言的验证方法较少被人们注意。提出一种验证Web服务流程的方法,该方法使用时序行为逻辑(TLA)建模服务流程,然后,利用模型检验(model checking)技术验证模型的某些属性。实验证明该方法效果良好,有相当的探索与实用价值。

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

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

基于映射的ArtiFlow向BPEL的转换方法

以业务流程执行语言(BPEL)为物理模型,通过ArtiFlow中库与BPEL中服务间的映射和ArtiFlow中服务与BPEL中服务间的映射选取物理模型中所用的服务,利用ArtiFlow中元素的关联信息建立物理模型中服务间的调用关系,由此实现ArtiFlow向BPEL的自动转换。实验结果证明了该转换方法的有效性。