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

摘要：

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

关键词：BPMN2.0、流程验证、复杂信息系统、死锁、活锁

所属期刊栏目：42

分类号：TP301.2(计算技术、计算机技术)

资助基金：山西省自然科学基金项目2013011015-1

在线出版日期：2016-06-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：117-120