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

• 作者: 代飞 赵川 赵莹 黄苾
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 业务过程 语义定义 语义分析 BPMN2.0 工作流网
• 年，卷（期）: 2018,（z2）
• 所属期刊栏目: 综合、交叉与应用
• 页码范围: 558-563
• 页数: 6页
• 分类号: TP311
• 字数: 5298字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵川		27	212	7.0	14.0
2	代飞	西南林业大学大数据与智能工程学院	17	13	2.0	3.0
3	黄苾	西南林业大学大数据与智能工程学院	4	14	2.0	3.0
4	赵莹		7	49	3.0	7.0