BPMN2.0编排的形式语义和分析

• 作者: 代飞 周华 李彤 杨云 莫启 赵文卓
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 业务流程建模标注2.0 编排 Petri网 形式语义 语义分析
• 年，卷（期）: 2018,（4）
• 所属期刊栏目: 系统软件与软件工程
• 页码范围: 1094-1114
• 页数: 21页
• 分类号: TP311
• 字数: 16372字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.005280

摘要

BPMN 2.0编排已成为描述业务流程间交互事实上的标准.BPMN 2.0编排面向流的特征,使之会产生控制流方面的语义错误.因此,检查编排语义正确性是BPMN 2.0编排建模工具所期望具有的功能.但是,BPMN 2.0标准规约中的编排缺少形式语义及相应的分析技术,这阻碍了对BPMN 2.0编排的语义分析.提出了一种映射,用于将BPMN 2.0编排转换为工作流网,使用Petri网来形式化定义BPMN 2.0编排的语义.借助Petri网的分析技术,这种定义的语义可用来分析BPMN 2.0编排的结构和控制流方面的锚误.该映射和语义分析已被实现为一种工具.实验结果表明,这种形式化可以识别BPM AI过程模型库中编排的语义错误.