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

Semantics and Analysis of BPMN2.0 Process Models

作　　者：赵莹 赵川 黄苾 代飞 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

出　　处：《计算机科学》2018年第B11期558-563,共6页Computer Science

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

摘　　要：BPMN 2.0已成为了建模业务过程事实上的标准。BPMN 2.0过程模型中建模元素的混用会产生控制流方面的语义错误。首先,建立了BPMN 2.0过程模型到工作流网的映射,并使用Petri网来形式定义过程模型的语义;其次,借助Petri网的分析技术,使用这种定义的语义对BPMN 2.0过程模型进行了合理性分析。实验结果表明,这种形式化可以识别BPMN 2.0过程模型中的语义错误。The business process modelling notation 2.0(BPMN 2.0)process is a defactor standard for capturing business processes.The mix of constructs found in BPMN 2.0 process makes it possible to obtain models with a range of semantic errors,including deadlocks and livelocks.Firstly,this paper defined a formal semantics of BPMN 2.0 process models in terms of a mapping to WF-nets.Secondly,this defined semantics were used to analyze the soundness of BPMN 2.0 process models,using analysis techniques of Petri nets.Finally,the experimental results showed that this formalization could identify the semantic errors of BPMN 2.0 process models.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]