摘要
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.
作者
赵莹
赵川
黄苾
代飞
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)
出处
《计算机科学》
CSCD
北大核心
2018年第B11期558-563,共6页
Computer Science
基金
国家自然科学基金项目(61462095
61702442)
云南省自然科学基金项目(2016FB102)资助
