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

作者：刘木春; 艾玲梅; 魏清

来源：陕西师范大学学报(自然科学版), 2014, 42(03): 15-19.

DOI：10.15983/j.cnki.jsnu.2014.03.012

• 工作流
• 模型规范化
• 合理性验证
• Petri网

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

• 单位
  陕西省交通规划设计研究院; 陕西师范大学