Abstract: Verification of workflow model has been one of the important research fields of workflow. The correctness of the control flow is the basic requirement that the workflow process must satisfy. In this paper, we emphasize on the verification of the control f

Key words: Workflow, UML-Statecharts, Temporal logic, Soundness, Model checking