基于统一建模平台的BPMN模型业务流程验证 |
| |
作者单位: | ;1.太原理工大学计算机科学与技术学院;2.太原理工大学信息工程学院 |
| |
摘 要: | 为了解决业务流程设计、形式化分析、验证的平台不统一以及可移植性差等问题,提出了一种在统一建模平台上处理BPMN模型输出的业务流程形式化验证方案。首先构建基于Java语言的形式化建模平台,将BPMN模型输出作为该平台的输入。随后输出基于BPMN2.0业务流程形式化验证的Java程序代码,该代码可在构建的建模平台实现自动检验业务流程模型中可能存在的死锁、活锁。最后给出复杂信息系统相应实例验证了方案的有效性。
|
关 键 词: | BPMN2.0 流程验证 复杂信息系统 死锁 活锁 |
Verification of BPMN processes based on the unified modeling platform |
| |
Abstract: | |
| |
Keywords: | |
|
|