BPMN2.0过程模型的语义和分析
Semantics and Analysis of BPMN2.0 Process Models作者机构:云南电力调度控制中心昆明650011 西南林业大学大数据与智能工程学院昆明650224
出 版 物:《计算机科学》 (Computer Science)
年 卷 期:2018年第45卷第B11期
页 面:558-563页
学科分类:08[工学] 0812[工学-计算机科学与技术(可授工学、理学学位)] 081202[工学-计算机软件与理论]
基 金:国家自然科学基金项目(61462095 61702442) 云南省自然科学基金项目(2016FB102)资助
主 题:业务过程 语义定义 语义分析 BPMN 2.0 工作流网
摘 要:BPMN 2.0已成为了建模业务过程事实上的标准。BPMN 2.0过程模型中建模元素的混用会产生控制流方面的语义错误。首先,建立了BPMN 2.0过程模型到工作流网的映射,并使用Petri网来形式定义过程模型的语义;其次,借助Petri网的分析技术,使用这种定义的语义对BPMN 2.0过程模型进行了合理性分析。实验结果表明,这种形式化可以识别BPMN 2.0过程模型中的语义错误。