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

Workflow Model Verification Based on AND_OR Graph Depth-First Searching

作　　者：陈荣辉[1] 陈新度[1] 陈新[1] 

机构地区：[1]广东工业大学机电工程学院CIMS重点实验室,广东广州510090

出　　处：《机电工程技术》2008年第6期56-57,71,共3页Mechanical & Electrical Engineering Technology

基　　金：国家"863"计划项目(编号:2006AA04Z132);国家科技支撑计划(编号:2006BAF01A41)

摘　　要：本文指出了工作流模型分析验证的重要性,介绍了该领域的研究现状,分析了引起结构冲突的本质原因——错误的路由引起死锁和缺乏同步,最后提出了应用AND_OR图深度优先搜索验证方法来对工作流模型进行验证,并举例说明,为工作流模型的分析检验提出了一种新方法。This paper points out the importance of verification of workflow model,introduces the research condition status quo in this field,and analyzes the essential reasons of structural conflict which include routing error causing deadlock and the lacking of synchronization.And then proposes a method which usingAND_OR graph depth-first searching to verify the workflow model,and taking a example to illustrate it.In a word,this paper gives a new method to verify the workflow model.

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

分 类 号：F270.7[经济管理—企业管理]