文献类型：期刊文章

作　　者：赵莹[1] 赵川[1] 黄苾[2] 代飞[2]

ZHAO Ying;ZHAO Chuan;HUANG Bi;DAI Fei(Yunnan Power Dispatching and Control Center,Kunming 650011,China;School of Big Data and Intelligence Engineering,Sourthwest Forestry University,Kunming 650224,China)

机构地区：[1]云南电力调度控制中心,昆明650011 [2]西南林业大学大数据与智能工程学院,昆明650224

出　　处：《计算机科学》

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

年　　份：2018

卷　　号：45

期　　号：B11

起止页码：558-563

语　　种：中文

收录情况：BDHX、BDHX2017、CSA、CSCD、CSCD_E2017_2018、IC、JST、RCCSE、UPD、ZGKJHX、核心刊

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

关 键 词：业务过程  语义定义  语义分析 BPMN 2.0  工作流网

分 类 号：TP311]