基于图裁减和图搜索的工作流图验证算法

• 作者: 党正军 杜中军
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 工作流 有向图 工作流验证
• 年，卷（期）: 2011,（4）
• 所属期刊栏目: 工程与应用
• 页码范围: 226-228,244
• 分类号: TP301.6
• 字数: 4155字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2011.04.063

摘要

工作流程中的结构冲突将导致工作流管理系统无法正常运行,因此需要在工作流图付诸实施之前要验证工作流的正确性,检测出其中的冲突.目前,无环工作流图的冲突检测在Mahanti-Sinnakkrishnan算法中已经得到了较好的解决,L.Kai和L.Qiang提出了CWRS算法用来检测有环工作流图的结构冲突,但该算法存在缺陷,会产生误判.对CWRS算法进行分析,指出了该算法的缺陷,并提出了改进方法,解决了有环工作流图AND型节点不配对时的冲突检测问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	党正军	四川大学计算机学院	2	2	1.0	1.0
2	杜中军	四川大学计算机学院	20	148	6.0	11.0