According to the shortcomings of flexibility of traditional workflow model and by considering aU kinds of dynamic requirement and variable factors in workflow,this paper uses workflow formalization of language WfSL to describe formal definition of flexibl