基于AND_OR图深度优先搜索的工作流模型验证

摘要：

本文指出了工作流模型分析验证的重要性,介绍了该领域的研究现状.分析了引起结构冲突的本质原因--错误的路由引起死锁和缺乏同步,最后提出了应用AND_0R图深度优先搜索验证方法来对工作流模型进行验证,并举例说明,为工作流模型的分析检验提出了一种新方法.

关键词：工作流、分析验证、搜索、深度优先

所属期刊栏目：37

分类号：F270.7(企业经济)

资助基金：国家"863"计划项目2006AAO4Z132;国家科技支撑计划2006BAF01A41

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

页数：共3页

页码：56-57,71