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

Analysis and Transformation of Overlapped Patterns in BPEL Process Modeling

作　　者：张曼[1] 段振华[1,2] 王小兵[1] 

机构地区：[1]西安电子科技大学计算理论与技术研究所,陕西西安710071 [2]西安电子科技大学ISN国家重点实验室,陕西西安710071

出　　处：《软件学报》2011年第11期2684-2697,共14页Journal of Software

基　　金：国家自然科学基金(60910004;60873018;91018010;61003078;61003079;61133001);国家重点基础研究发展计划(973)(2010CB328102);国家教育部博士点基金(200807010012);中央高校基本科研业务费专项资金(JY10000903004);综合业务网国家重点实验室基金(201102001)

摘　　要：由图形化流程建模语言生成可执行的业务流程语言(business process execution language,简称BPEL)时,对于源模型中顺序与并发结构交织的情况(称为交叠模式),传统的复制相关活动方法缺少系统分析及形式化描述.针对这一现状,提出基于工作流网的UML活动图生成BPEL方法,以自由选择工作流网作为活动图的理论基础,利用活的、有界的自由选择网系统的合成规则,定义合理的自由选择工作流网中的两种交叠模式,针对其中一种给出复制相关活动的形式化转换方法,并借助Petri网的并发正则表达式证明转换等价性,说明另一种交叠模式中复制相关活动方法的适用范围.针对BPEL流程建模及图形化流程语言生成块状语言过程中的交叠模式转换问题,给出形式化的描述与解决方法.During the derivation of the business process execution language（BPEL） from graph-oriented process modeling languages,there exist structures called overlapped patterns,which mix sequential and parallel structures together.The existing duplication approach lacks systematical analysis and formal presentations.In view of this problem,a transformation of UML activity diagrams to BPEL based on WF-nets is proposed.By choosing free choice WF-nets as the foundation of activity diagrams and by utilizing the synthesis rules of live and bounded free choice systems,two types of overlapped patterns are defined.For one type of patter,the duplication method is formally represented,and the transformation equivalence is proved using the concurrent regular expressions of Petri nets.For the other type,the applicable range of the duplication method is described.This method presents a solution in formal representations to the transformation of overlapped patterns in BPEL modeling,and distinguishes the derivation of the block-oriented modeling languages from graph-oriented ones

关 键 词：BPEL 商业流程建模 自由选择工作流网 合成规则 交叠模式 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]