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

作     者：代飞 赵文卓 杨云 莫启 李彤 周华 DAI Fei;ZHAO Wen-Zhuo;YANG Yun;MO Qi;LI Tong;ZHOU Hua

作者机构：西南林业大学大数据与人工智能工程学院云南昆明650091 云南大学软件学院云南昆明650091 云南省软件工程重点实验室云南昆明650091 

出 版 物：《软件学报》 (Journal of Software)

年 卷 期：2018年第29卷第4期

页      面：1094-1114页

核心收录：

学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

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

主　　题：业务流程建模标注2.0 编排 Petri网 形式语义 语义分析 

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