摘要
由图形化流程建模语言生成可执行的业务流程语言(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
出处
《软件学报》
EI
CSCD
北大核心
2011年第11期2684-2697,共14页
Journal of Software
基金
国家自然科学基金(60910004
60873018
91018010
61003078
61003079
61133001)
国家重点基础研究发展计划(973)(2010CB328102)
国家教育部博士点基金(200807010012)
中央高校基本科研业务费专项资金(JY10000903004)
综合业务网国家重点实验室基金(201102001)
关键词
BPEL
商业流程建模
自由选择工作流网
合成规则
交叠模式
BPEL （business process execution language）
business process modeling
free choice WF-net
synthesis rule
overlapped pattern
作者简介
张曼（1984-），女，陕西西安人，博士生，主要研究领域为商业流程建模，工作流网．
段振华（1948-），男，博士，教授，博士生导师，CCF高级会员，主要研究领域为网络计算．可信软件理论和技术．
王小兵（1979-），男，博士，副教授，CCF会员，主要研究领域为Web服务建模与验证．
