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

• 作者: 张曼 段振华 王小兵
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: BPEL 商业流程建模 自由选择工作流网 合成规则 交叠模式
• 年，卷（期）: 2011,（11）
• 所属期刊栏目: 系统软件与软件工程
• 页码范围: 2684-2697
• 分类号: TP311
• 字数: 12859字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2011.04075

摘要

由图形化流程建模语言生成可执行的业务流程语言(business process execution language,简称BPEL)时,对于源模型中顺序与并发结构交织的情况(称为交叠模式),传统的复制相关活动方法缺少系统分析及形式化描述.针对这一现状,提出基于工作流网的UML活动图生成BPEL方法,以自由选择工作流网作为活动图的理论基础,利用活的、有界的自由选择网系统的合成规则,定义合理的自由选择工作流网中的两种交叠模式,针对其中一种给出复制相关活动的形式化转换方法,并借助Petri网的并发正则表达式证明转换等价性,说明另一种交叠模式中复制相关活动方法的适用范围.针对BPEL流程建模及图形化流程语言生成块状语言过程中的交叠模式转换问题,给出形式化的描述与解决方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王小兵	西安电子科技大学计算理论与技术研究所	60	484	12.0	18.0
2	张曼	西安电子科技大学计算理论与技术研究所	4	40	3.0	4.0