Study on workflow model checking
工作流模型检测研究

A method to verify the correctness of workflow model described by WPDL was introduced. We used CTL* to describe the correctness properties of workflow model and the algorithm of Nonemptiness games to verify the correctness. This method has f strong ability in describing the correctness properties, and it is both time and space efficient.