Release Time:2019-03-11  Hits:

Indexed by: Journal Article

Date of Publication: 2010-11-20

Journal: 软件

Volume: 31

Issue: 11

Page Number: 31-34

ISSN: 1003-6970

Key Words: 工作流;循环;死锁;缺乏同步

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