点击次数：

论文类型：期刊论文

发表时间：2010-11-20

发表刊物：软件

卷号：31

期号：11

页面范围：31-34

ISSN号：1003-6970

关键字：工作流;循环;死锁;缺乏同步

摘要：工作流验证是工作流管理系统中的重要方面,在工作流应用之前对其进行验证可以大量减少运行时由于发生故障、调试及其它处理所带来的损失.模型结构是工作流最基本也是最重要的一个方面,因此提出使用动态着色图形方法验证工作流模型正确性.给出四类函数和四种类型定义,对节点进行判定,验证包含循环及叠加结构的复杂工作流模型结构上的异常问题.与其他方法相比,本方法可以同时解决死锁、死循环和多实例等常见异常,且算法上优于其它方法.