Research on workflow process structure verification

To solve the verification problem of workflow process structure, after reviewing related research papers, semantic deduce-based workflow verification method is proposed. Through process structure verification equal theorem, the proposed method firstly transforms a cyclic workflow process into an acyclic one; and then generates all instance graphs of the workflow process; lastly decides whether the workflow process is correct or not according to semantic tables and the acyclic workflow verification theorem. Comparison with related workflow verification methods is presented in the end.