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