基于规范化工作流网建模的模型验证方法

摘要：

在比较分析已有工作流模型验证算法优缺点的基础上，提出一种新的工作流模型验证方法。该方法基于规范化工作流网，不仅可以检测死锁、孤立点等常规模型错误结构，而且能够检测隐蔽性很强的AND-split→OR-j oin（A→O）结构。为了成功检测A→O结构，详尽分析了不同A→O结构的特点，并找到它们之间的共同特征，进而通过探测该共同特征来检测是否存在A→O结构，从而克服已有算法无法验证A→O结构的缺陷。此外，还给出模型规范化规则，使得方法能够验证不规范的业务流程。通过实例分析，表明算法有效可靠。

关键词：工作流、模型规范化、合理性验证、Petri网

分类号：TP311.131(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目11071278；中央高校基本科研业务费专项资金项目GK201302026．

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

页数：共5页

页码：15-19