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.

基于1个网页-相关网页