用BPMN辅助整合Web Services

介绍了用BPMN设计整合Web Service,并产生Web Service描述语言(WSDL)形式的可执行规范语言,以及利用WSDL可以转换成业务流程管理标识(BPMN)的方法,动态地将已存在的Web Service通过BPMN图形化建模方法进行整合.鉴于BPMN的图形化设计,可以选择喜欢的可执行语言来实现该整合方案,主要采用与BPMN密切关联的Web Service语言--面向服务的业务流程可执行语言(BPEL4WS).     

BPMN映射到BPEL4WS的模型边界确定方法

针对BPMN边界灵活的特点以及由此向BPEL4WS映射时带来的问题，提出利用概念化令牌作为中间元素，将BPMN边界至BPEL4WS边界的映射转化成两个步骤，解决BPMN向BPEL4WS映射时的边界确定问题。     

基于Pi演算的BPMN编排模式

针对业务流程建模标记（BPMN）无法依靠自身对编排进行形式化分析的问题,提出用Pi演算描述BPMN编排模式,实现对BPMN编排的描述。BPMN编排模式是服务交互模式的BPMN表达。实验结果表明,该方法能够找到并排除BPMN编排中的死锁。     

基于BPMN辅助构建Web Services的研究

介绍了Web Services以及业务流程建模标记(BPMN)和Web服务的业务流程执行语言(BPEL4WS)，并且利用BPMN和BPEL4WS构建Web Services组件，建立Web服务模型，以整合各种企业应用平台，把企业业务由企业内部拓展到Internet上，从而达到企业资源的优化配置，实现了应用程序间的通用的互操作性以及企业间的信息交流，以适应复杂多变的商务环境。     

基于扩展Petri网模型的BPMN形式化

BPMN(Business Process Modeling Notation)作为一个在系统开发早期阶段获取业务过程模型的标准,指导系统的设计和开发,其模型的正确性是影响软件开发质量的关键。鉴于BPMN模型的形式化可以验证模型的正确性,提出了一种利用扩展Petri网模型,应用模型驱动技术实现BPMN模型形式化自动执行的方法。该方法通过细化Petri网模型中的Transition和Place元素以及增加Organization Identifier和Group Identifier容器,使其不但能够描述BPMN模型中的动态行为,而且还能描述BPMN模型中的动态行为协作和静态组织结构。从元模型结构、语法和图标记方面详细分析了扩展的Petri网模型元素,利用模型驱动开发技术设计BPMN模型元素至扩展的Petri网模型元素的转换规则,并在Eclipse平台上使用ATL模型转换语言执行映射,实现形式化的自动执行。最后在此基础上应用Travel Agency系统演示了模型形式化插件BPMN2ExtendPetrinets的执行结果。     

BPMN 2.0过程模型的语义和分析

BPMN 2.0已成为了建模业务过程事实上的标准。BPMN 2.0过程模型中建模元素的混用会产生控制流方面的语义错误。首先,建立了BPMN 2.0过程模型到工作流网的映射,并使用Petri网来形式定义过程模型的语义;其次,借助Petri网的分析技术,使用这种定义的语义对BPMN 2.0过程模型进行了合理性分析。实验结果表明,这种形式化可以识别BPMN 2.0过程模型中的语义错误。     

多DSP系统的版本快速加载方法

研究了通信网络中多DSP系统的快速版本加载方法。核心是实现多个DSP的并行版本加载。各DSP在单板上有一个物理位置编号,对应于交换芯片上唯一的端口号,结合交换芯片驱动中的 MAC 地址学习表,找到DSP芯片MAC地址与交换芯片端口的对应关系,从而得到DSP芯片MAC地址与DSP物理位置编号的关系,进而得到版本类型与DSP芯片MAC地址的之间的对应关系。至此, HOST在同时复位所有DSP后,能够通过获取DSP版本请求报文中的源MAC地址,获知该DSP要下载的版本类型,达到支持多DSP并行加载版本的目的。通过实现多DSP的并行加载,能够将原来需要几十分钟的加载时间,缩短到几十秒钟的数量级,满足了通信系统快速启动的要求。此方法可以应用到具备以太网交换芯片、通过以太网方式加载版本的各种多DSP系统。     

BPMN 2.0编排的形式语义和分析

BPMN 2.0编排已成为描述业务流程间交互事实上的标准.BPMN 2.0编排面向流的特征,使之会产生控制流方面的语义错误.因此,检查编排语义正确性是BPMN 2.0编排建模工具所期望具有的功能.但是,BPMN 2.0标准规约中编排缺少形式语义及相应的分析技术,这阻碍了对BPMN 2.0编排的语义分析.本文提出了一种映射,用于将BPMN 2.0编排转换为工作流网,使用Petri网来形式定义BPMN 2.0编排的语义.借助Petri网的分析技术,这种定义的语义可用来分析BPMN 2.0编排的结构和控制流方面的错误.该映射和语义分析已被实现为一种工具.实验结果表明,这种形式化可以识别BPM AI过程模型库中编排的语义错误.     

支持复杂事件处理的业务流程建模研究

现有的流程建模语言缺少对复杂事件的支持.通过对BPMN进行扩展,提出一种事件的分层方法来表达业务过程中的基本事件和复杂事件.在此基础上进一步提出CE-BPM建模方法,并给出其形式化定义和图形化表示,增加了复杂事件和复杂事件处理网关的图形表示.最后通过实例来说明用BPMN建模时遇到的问题以及如何用CE-BPM建模解决问题的.     

一种工作流映射系统的设计与实现

BPMN是一种基于图元的业务逻辑流程标记,既能给用户提供简洁直观的业务模型表示,又具有十分强大的流程逻辑表达能力,同时还具有一定程度的抽象性,所以非常适合业务分析人员在流程设计、定义、分析阶段使用.目前BPMN已经成为了一种在不同的部门、企业和经济实体之间描述、展示和交流业务逻辑流程的有效手段,并且越来越受到企业经营者、客户以及研究者的重视和青昧.现阶段,已经有了一些基于BPMN的流程定义工具,但是至今还极少有一个业务流程管理平台能够提供对BPMN的解析执行.另一方面,工作流语言BPEL(Business Pmcess Execution Language)已经成为了Web服务工作流技术事实上的标准,并且得到了众多厂商、研究机构的支持.针对上述问题,本文通过对BPMN规范、BPEL规范的详细分析,根据既满足业务流程分析人员从高抽象层次上设计流程又最终能够在一个平台上具体执行业务流程的需求,在分析了这两种规范之间的语义差异的基础上,研究了BPMN到BPEL映射的具体方法和机制,设计并实现了一个工作流映射系统.