动态着色图验证工作流法

Workflow 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.