由图形化流程建模语言生成可执行的业务流程语言(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.
展开▼
