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

• 作者: 陈新 陈新度 陈荣辉
• 来源期刊: 机电工程技术
• 学科: 经济
• 关键词: 工作流 分析验证 搜索 深度优先
• 年，卷（期）: 2008,（6）
• 所属期刊栏目: 研究与开发
• 页码范围: 56-57,71
• 页数: 3页
• 分类号: F270.7
• 字数: 1963字
• 语种: 中文
• DOI: 10.3969/j.issn.1009-9492.2008.06.021

摘要

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