一种工作流模型正确性验证方法

Verification Method for Workflow Model Correctness

工作流形式化建模一直是工作流管理研究的重点和热点。目前的一些形式化建模工具都主要注重工作流的过程建模部分,即工作流的路由。但是工作流管理系统是涉及过程、数据、组织资源等多方面的复杂信息系统。引入一种新型的图形结构——元图,提出基于元图的基本活动单元的完整工作流模型,重点给出了这种工作流模型的正确性定义,并进行了正确性校验,校验算法高效简捷,使之成为一套完善的工作流建模形式化体系。

Workflow formal modeling is the main point all the time. Many formal modeling tools focus mostly on process modeling, namely workflow routing. However, workflow management system is a complicated information system related to process, data, organizational resource, etc, Therefore, a new type of graphical structure-metagraphs was introduced, an integrated workflow model of elementary activity unit was proposed base on metagraphs, and the correctness of this type of workflow was defined. After that the correctness was verified and a round formal system of workflow modeling was made.