Abstract: Although people work hard to completely computerize workflow management,the result shows that this goal can not be realized in nowadays with highly developed technique or even in the foreseeable future.Many tasks which constitute a workflow still need to be executed by users.This paper first discusses the classification of resources among workflow and unifies them into a resource meta model,then presents a formalization description of resources modeling based on user’s qualifications and characteristics.

Key words: workflow, resources, formalization modeling

摘要： 虽然人们为了使工作流管理完全计算机化付出了巨大的努力，但结果表明，这一目标即使在技术高度发达的今天，乃至可预见的未来也是不可能实现的，组成工作流的很多任务还只能由人来完成。首先对工作流中资源(主动资源)的分类方式进行讨论并把它们统一成一个资源元模型，然后给出了一个基于用户资格和特征的资源建模形式化描述。

关键词: 工作流, 资源, 形式化建模