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

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

Full description

Saved in:
Bibliographic Details
Published in电子技术应用 Vol. 42; no. 6; pp. 117 - 120
Main Author 王克丽 武淑红 王耀力
Format Journal Article
LanguageChinese
Published 太原理工大学计算机科学与技术学院,山西太原,030024%太原理工大学信息工程学院,山西太原,030024 2016
Subjects
BPMN2.0
复杂信息系统
死锁
活锁
流程验证
BPMN2.0
流程验证
process verification
复杂信息系统
死锁
活锁
deadlock
livelock
complex system
Online AccessGet full text
ISSN0258-7998
DOI10.16157/j.issn.0258-7998.2016.06.032

Cover

More Information
Summary:为了解决业务流程设计、形式化分析、验证的平台不统一以及可移植性差等问题,提出了一种在统一建模平台上处理BPMN模型输出的业务流程形式化验证方案。首先构建基于Java语言的形式化建模平台,将BPMN模型输出作为该平台的输入。随后输出基于BPMN2.0业务流程形式化验证的Java程序代码,该代码可在构建的建模平台实现自动检验业务流程模型中可能存在的死锁、活锁。最后给出复杂信息系统相应实例验证了方案的有效性。
Bibliography:BPMN2.0; process verification; complex system; deadlock; livelock
Wang Keli, Wu Shuhong, Wang Yaoli （1 .College of Computer Science and Technology, Taiyuan University of Technology, Taiyuan 030024, China; 2.College of Information Engineering, Taiyuan University of Technology, Taiyuan 030024, China）
To tackle the problems of non- unified platform and poor portability in business process design, formal analysis and veri-fication phase, this paper introduces a formal verification protocol which is based on our unified modeling platform to process the output processes of Business Process Model Notation（ BPMN2. 0） model. First of all, the formal modeling platform is built based on Java language and its input is directly from the output of BPMN model. Then, a Java code based verification approach for Business Processes Modeling method is proposed by using the BPMN 2. 0 standard. In this way after the modeling phase, the created Java code can be automatically run in order to find out possible deadlocks and livelocks.
ISSN:0258-7998
DOI:10.16157/j.issn.0258-7998.2016.06.032