The workflow specification language is given, it formalizes the workflow model.

• 最后给出一个工作流规范说明语言，它形式化了我们提出的工作流模型。