动态着色图验证工作流法

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

Workflow verification method using dynamic colored graph

Worldtow verification is important for workflow management systems. Checking the correctness of a workflow model before its application can avoid costs caused by malfunction, debugging and other problems. The structure is the most basic and also the most important aspect. So, a method using dynamic colored graph is proposed. Four functions and four patterns according which the node is checked are also proposed. This method can verify complex workflow models including cyclic models and workflow models contain overlapping structures; it also has an algorithm advantage compared to other methods.