BPMN 2.0编排的形式语义和分析

来源：软件学报杂志2018年第4期北京时间：

作者：代飞,赵文卓,杨云,莫启,李彤,周华

单位：代飞，西南林业大学 大数据与人工智能工程学院, 云南 昆明 650091;云南大学 软件学院, 云南 昆明 650091;云南省软件工程重点实验室, 云南 昆明 65009111,赵文卓，云南大学 软件学院, 云南 昆明 65009102,杨云，云南大学 软件学院, 云南 昆明 650091;云南省软件工程重点实验室, 云南 昆明 65009103,莫启，云南大学 软件学院, 云南 昆明 650091;云南省软件工程重点实验室, 云南 昆明 65009104,李彤，云南大学 软件学院, 云南 昆明 650091;云南省软件工程重点实验室, 云南 昆明 65009105,周华，西南林业大学 大数据与人工智能工程学院, 云南 昆明 65009106

摘要：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过程模型库中编排的语义错误.

关键词：业务流程建模标注2.0;编排;Petri网;形式语义;语义分析

基金资助：国家自然科学基金（61462095，61663046，61402397，61379032）；云南省自然科学基金（2016FB102，2016FB104）；云南省中青年学术和技术带头人后备人才培养项目（C6143002）；云南省软件工程重点实验室开放基金面上项目（2017SE201，2016SE202，2015SE102）；云南省教育厅科学研究基金重大专项项目（ZD2014001）