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

• 作者: 刘木春 艾玲梅 魏清
• 来源期刊: 陕西师范大学学报（自然科学版）
• 学科: 工学
• 关键词: 工作流 模型规范化 合理性验证 Petri网
• 年，卷（期）: 2014,（3）
• 所属期刊栏目: 数学与计算机科学
• 页码范围: 15-19
• 页数: 5页
• 分类号: TP311.131
• 字数: 4508字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	艾玲梅	陕西师范大学计算机科学学院	30	201	8.0	13.0
2	刘木春	陕西师范大学计算机科学学院	2	11	2.0	2.0
3	魏清		2	6	2.0	2.0