摘要
本文指出了工作流模型分析验证的重要性,介绍了该领域的研究现状,分析了引起结构冲突的本质原因——错误的路由引起死锁和缺乏同步,最后提出了应用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.
出处
《机电工程技术》
2008年第6期56-57,71,共3页
Mechanical & Electrical Engineering Technology
基金
国家"863"计划项目(编号:2006AA04Z132)
国家科技支撑计划(编号:2006BAF01A41)
关键词
工作流
分析验证
搜索
深度优先
workflow
analyze and verify
search
depth-first
