基于图形展开及图形归约的过程模型验证方法

Verification Method for Process Model Based on Graph-Spreading and Graph-Reduction

工作流过程模型是业务过程的形式化定义,在业务过程的分析、运行和重组方面起着关键性的作用.为了实现预期的业务目标,需要正确地定义工作流过程模型,它的正确性直接影响业务目标的实现,WfMS开始调度执行之前必须对其进行分析.针对大规模复杂应用的特点和业务过程执行的实际需要,对复杂工作流过程模型的正确性验证进行了研究;基于有向有环图(DCG图)详细讨论工作流过程模型的局部错误以及过程逻辑错误;给出了过程建模中避免错误的相关约束规则;另外了提出了一种新型的图形归约和图形展开相结合的验证方法及过程模型验证算法.

A workflow process model is a formalized definition of the business process, and plays a critical role in analyzing, operating, reorganizing business processes. To realize the expected business goal, a workflow business model must be defined correctly. The correctness of the definition affects the achievement of the business goal. WFMS must analyze the business model before it is executed. This paper does some research on the verification on the correctness of complicated workflow process models. We explore local errors and process' logical errors in workflow process models in great details, and give some related constraint rules avoiding errors during the modeling. In addition, we propose a new verification method combining graph reduction and graph spread, also the algorithm of verifying process models.