基于结构元的BPMN—BPEL映射方法

针对BPMN流程走向随意性特点及其向具有块结构特点的BPEL模型映射时难度较大的问题,通过对常用工作流控制模式的分析,提出了结构元的概念,从而把BPMN流程模型转变为由结构元表示的流程模型,不但简化了流程模型的复杂程度,而且降低了映射的难度。     

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

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

智慧家庭服务系统过程建模与设计

智慧家庭服务系统是现代服务计算和云计算环境下服务系统的新形态和新应用,对智慧家庭服务业务过程的分析、建模与设计问题进行了研究。介绍了智慧家庭的新理念,提出了智慧家庭服务系统的体系结构。在详细分析家庭服务业务过程基础上,提出了基于BPMN建模语言的智慧家庭服务过程建模方法。最后以具有典型性的采购服务为例,建立了服务过程模型,并给出了设计与实现方案。     

一种面向业务规则和流程的推理引擎架构

目前基于业务流程模型控制规则引擎的工作流引擎已经开始提倡使用。针对这种情况,基于BPMN业务流程模型的工作流引擎,提出一种适用于业务流程模型和规则集成与执行的推理引擎架构。该架构引入XTT2的规则表示,集成了jBPM工作流管理系统和HeaRT规则引擎,由工作流引擎控制专用规则推理引擎执行规则决策表运行。原型实现表明了该架构可实现规则任务的可视化设计,并支持对得到的规则任务模型的形式验证。     

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

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

基于 Activiti 流程管理关键技术设计与实现

Activiti 是用于管理业务流程的工作流引擎,它的使用降低了复杂业务流程开发与维护的难度。但在实际应用中,流程节点无法自由跳转,给管理和使用带来诸多不便。本文研究了 Activiti 中的系统框架和接口,基于现有接口设计实现了流程节点自由跳转功能,并进行了框架整合。测试结果表明,该功能满足各项既定功能需求,具有一般性,可满足实际工作中相关要求。     

服务构件模型的研究与设计

针对如何更高效和准确地将已存在的Web服务集成到业务流程中,提出了服务构件模型。该模型以Web服务为业务功能实现的基础,用BPMN建模用户需求,输出为可执行的BPEL模型。该服务构件模型内部对原子服务进行了重新定义,便于服务的查找;而且加入了服务的QoS特征,便于服务的选择。     

基于统一建模平台的BPMN模型业务流程验证

为了解决业务流程设计、形式化分析、验证的平台不统一以及可移植性差等问题,提出了一种在统一建模平台上处理BPMN模型输出的业务流程形式化验证方案。首先构建基于Java语言的形式化建模平台,将BPMN模型输出作为该平台的输入。随后输出基于BPMN2.0业务流程形式化验证的Java程序代码,该代码可在构建的建模平台实现自动检验业务流程模型中可能存在的死锁、活锁。最后给出复杂信息系统相应实例验证了方案的有效性。     

智慧家庭服务系统过程建模与设计

智慧家庭服务系统是现代服务计算和云计算环境下服务系统的新形态和新应用,对智慧家庭服务业务过程的分析、建模与设计问题进行了研究。介绍了智慧家庭的新理念,提出了智慧家庭服务系统的体系结构。在详细分析家庭服务业务过程基础上,提出了基于BPMN建模语言的智慧家庭服务过程建模方法。最后以具有典型性的采购服务为例,建立了服务过程模型,并给出了设计与实现方案。