Survey for correctness problem of workflow system
工作流正确性问题综述*

This paper summarized correctness problem of workflow system, including structural correctness and executing correctness. To structural correctness, introduced definition, determinants and judging tools of correctness for workflow model. And to executing correctness, summarized transaction technology and abortion processing technology as correctness assurance technology of worflow system. At last, presented some research fields worth to study on correctness problem of workflow system.