Abstract: Verification of workfiow model has been one of the important research fields of Workflow, the verification of correctness of temporal has been paid more attention. This paper extends the UML-statecharts with time, and creates the time model of the Workflo

Key words: Workflow,UML-statecharts, Model checking,Temporal constraint,Consistency