The correctness and reliability of workflow model is the basis of the robustness of the workflow management system.

• 工作流模型的正确性和可靠性是工作流管理系统健壮性的基础。