首先从结构正确性和执行正确性两方面对工作流系统的正确性问题进行了综述。对结构正确性，从模型角度进行了正确性定义、判定依据及判定工具的介绍。对执行正确性，从事务、异常处理两个方面介绍了当前工作流正确性的保障技术。最后，对已有工作流正确性问题的理论和实现技术进行了比较，并总结了这方面的几个研究方向，供研究人员借鉴。