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

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