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

被引：3

作者：

陈荣辉

陈新度

陈新

机构：

[1] 广东工业大学机电工程学院CIMS重点实验室

来源：

机电工程技术 | 2008年 / 06期

关键词：

工作流; 分析验证; 搜索; 深度优先;

D O I：

暂无

中图分类号：

TP311.5 [软件工程];

学科分类号：

081202 ; 0835 ;

摘要：

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

引用

页码：56 / 57+71+116 +71

页数：5

共 7 条

[1] 工作流模型时间有界性验证与分析研究 [J].

李建强 ;

范玉顺 .

计算机集成制造系统-CIMS, 2002, (10) :770-775

[2] 工作流合理性验证中的事件平衡分析 [J].

罗海滨 ;

范玉顺 ;

吴澄 .

软件学报, 2002, (08) :1686-1691

[3]

模具企业风险分析与管理[D]. 杨广良.广东工业大学 2003

[4]

工作流管理[M]. 清华大学出版社 , (荷)WilvanderAalst,(荷)KeesvanHee著, 2004

[5]

Enterprise-wide Workflow Management Based on State and Activity Charts. Muth P.et a1. NATO Advanced Study Insti-tute on Workflow Management Systems and Interoperability . 1997

[6]

Information systems[P]. 英国专利:GB0003885D0,2000-04-05

[7]

＂A novel graph reduction algorithm to identify structural conflicts,＂. Lin, H,Z. Zhao,H. Li,and Z. Chen. Proc. of the 35th Hawaii Int. Conf. On Sys. Sci. (HICSS＇02) . 2002

← 1 →