基于统一建模平台的BPMN模型业务流程验证

• 作者: 武淑红 王克丽 王耀力
• 来源期刊: 电子技术应用
• 学科: 工学
• 关键词: BPMN2.0 流程验证 复杂信息系统 死锁 活锁
• 年，卷（期）: 2016,（6）
• 所属期刊栏目: 计算机技术与应用
• 页码范围: 117-120
• 页数: 4页
• 分类号: TP301.2
• 字数: 2825字
• 语种: 中文
• DOI: 10.16157/j.issn.0258-7998.2016.06.032

摘要

为了解决业务流程设计、形式化分析、验证的平台不统一以及可移植性差等问题,提出了一种在统一建模平台上处理BPMN模型输出的业务流程形式化验证方案.首先构建基于Java语言的形式化建模平台,将BPMN模型输出作为该平台的输入.随后输出基于BPMN2.0业务流程形式化验证的Java程序代码,该代码可在构建的建模平台实现自动检验业务流程模型中可能存在的死锁、活锁.最后给出复杂信息系统相应实例验证了方案的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王耀力	太原理工大学信息工程学院	35	182	6.0	12.0
2	武淑红	太原理工大学计算机科学与技术学院	18	42	4.0	5.0
3	王克丽	太原理工大学计算机科学与技术学院	1	4	1.0	1.0