党正军
- 作品数：2 被引量：0H指数：0
- 供职机构：四川大学计算机学院更多>>
- 相关领域：自动化与计算机技术更多>>
- 新的基于图搜索的工作流图验证算法
- 2010年
- 工作流程中的结构冲突会导致工作流管理系统无法正常运行,因此需要在工作流程付诸实施之前验证工作流的正确性,检测出其中的冲突。目前,尚无一个完美的算法既能检测出无环工作流图的冲突,也能检测出带环工作流图中的结构冲突,为此提出了一种新的基于图搜索的工作流图验证算法,利用巧妙方法将流程图中的环转化为无环流程子图,高效地检测出了有环工作流图和无环工作流图的结构冲突。
- 党正军杜中军
- 关键词：工作流有向图图搜索死锁异步
- 基于图裁减和图搜索的工作流图验证算法
- 2011年
- 工作流程中的结构冲突将导致工作流管理系统无法正常运行,因此需要在工作流图付诸实施之前要验证工作流的正确性,检测出其中的冲突。目前,无环工作流图的冲突检测在Mahanti-Sinnakkrishnan算法中已经得到了较好的解决,L.Kai和L.Qiang提出了CWRS算法用来检测有环工作流图的结构冲突,但该算法存在缺陷,会产生误判。对CWRS算法进行分析,指出了该算法的缺陷,并提出了改进方法,解决了有环工作流图AND型节点不配对时的冲突检测问题。
- 党正军杜中军
- 关键词：工作流有向图
