BPMN2.0过程模型的语义和分析

作者：赵莹; 赵川; 黄苾^*; 代飞

来源：计算机科学, 2018, 45(S2): 558-563.

• 业务过程
• 语义定义
• 语义分析
• BPMN 2.0
• 工作流网

BPMN 2.0已成为了建模业务过程事实上的标准。BPMN 2.0过程模型中建模元素的混用会产生控制流方面的语义错误。首先,建立了BPMN 2.0过程模型到工作流网的映射,并使用Petri网来形式定义过程模型的语义;其次,借助Petri网的分析技术,使用这种定义的语义对BPMN 2.0过程模型进行了合理性分析。实验结果表明,这种形式化可以识别BPMN 2.0过程模型中的语义错误。

• 单位
  云南电力调度控制中心; 西南林业大学