| 摘要: |
| 由图形化流程建模语言生成可执行的业务流程语言(business process execution language,简称BPEL)时,对于源模型中顺序与并发结构交织的情况(称为交叠模式),传统的复制相关活动方法缺少系统分析及形式化描述.针对这一现状,提出基于工作流网的UML 活动图生成BPEL 方法,以自由选择工作流网作为活动图的理论基础,利用活的、有界的自由选择网系统的合成规则,定义合理的自由选择工作流网中的两种交叠模式,针对其中一种给出复制相关活动的形式化转换方法,并借助Petri 网的并发正则表达式证明转换等价性,说明另一种交叠模式中复制相关活动方法的适用范围.针对BPEL 流程建模及图形化流程语言生成块状语言过程中的交叠模式转换问题,给出形式化的描述与解决方法. |
| 关键词: BPEL 商业流程建模 自由选择工作流网 合成规则 交叠模式 |
| DOI：10.3724/SP.J.1001.2011.04075 |
| 分类号: |
| 基金项目:国家自然科学基金(60910004, 60873018, 91018010, 61003078, 61003079, 61133001); 国家重点基础研究发展计划(973)(2010CB328102); 国家教育部博士点基金(200807010012); 中央高校基本科研业务费专项资金(JY10000903004); 综合业务网国家重点实验室基金(201102001) |
|
| Analysis and Transformation of Overlapped Patterns in BPEL Process Modeling |
|
ZHANG Man1, DUAN Zhen-Hua1,2, WANG Xiao-Bing1
|
|
1.Institute of Computing Theory and Technology, Xidian University, Xi’an 710071, China;2.State Key Laboratory of Integrated Service Networks, Xidian University, Xi’an 710071, China
|
| Abstract: |
| 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. |
| Key words: BPEL (business process execution language) business process modeling free choice WF-net synthesis rule overlapped pattern |
