Formal definition of flexible workflow model based on WfSL

• 基于WfSL的柔性工作流模型形式化定义