Hits:
Indexed by:期刊论文
Date of Publication:2010-11-20
Journal:软件
Volume:31
Issue:11
Page Number:31-34
ISSN No.:1003-6970
Key Words:工作流;循环;死锁;缺乏同步
Abstract:工作流验证是工作流管理系统中的重要方面,在工作流应用之前对其进行验证可以大量减少运行时由于发生故障、调试及其它处理所带来的损失.模型结构是工作流最基本也是最重要的一个方面,因此提出使用动态着色图形方法验证工作流模型正确性.给出四类函数和四种类型定义,对节点进行判定,验证包含循环及叠加结构的复杂工作流模型结构上的异常问题.与其他方法相比,本方法可以同时解决死锁、死循环和多实例等常见异常,且算法上优于其它方法.
