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

摘要：

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

关键词：业务过程、语义定义、语义分析、BPMN2.0、工作流网

所属期刊栏目：45

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金项目61462095,61702442;云南省自然科学基金项目2016FB102

在线出版日期：2018-12-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：558-563