随着经济全球化和信息网络化的发展,分布式协同工作环境成为政府机关与企事业单位的必然选择。目前,作为支持业务过程建模、过程优化和过程实现的工作流管理技术,为分布式环境下协同工作流程管理提供了非常适合的解决方案。建立计算机可理解和处理的、形式化定义和描述的协同工作流模型,是政府机构与企事业应用工作流管理技术的关键。由于分布式环境下的协同工作渐趋群组性、动态性和分布性,工作流模型应该能够描述分布式环境中协同工作的特点。分布式环境下的协同工作流模型,不仅需要表达业务过程中活动之间的关系,还要对活动执行中所传递的信息、活动执行实体以及所需资源等进行定义并能描述它们之间紧密依赖的关系。同时分布式环境下的协同工作存在嵌套层次的协作关系,需要建立有效的控制机制。尽管近年来工作流建模研究取得了很大进展,但分布式环境下协同工作流建模仍是当前一个极具挑战性的研究课题。本文研究目标就是要建立一个适合分布式环境中协同工作特点的、具有良好形式化描述的工作流模型。首先,在对协同工作和工作流理论研究的基础上,分析了分布式环境下协同工作对工作流建模的要求。指出分布式环境下的协同工作流模型应加强对人员、资源的管理,描述多种任务类型,支持协同工作的嵌套层次的协作关系,并能体现它们之间紧密依赖的关系。其次,在工作流管理联盟提出的工作流元模型基础上,提出了一种支持分布式环境下协同工作的工作流模型。该模型由组织模型、资源模型、任务模型和过程模型构成,并描述了各模型相互独立又紧密联系的嵌套层次的协作关系。再次,针对协同工作的嵌套层次协作关系的特点,构建了具有自治协作特性的基本协作单位-—协作体,协作体是由协作关系中的成员、任务、资源和过程构成的。基于协作体构建了支持协同工作的组织模型、任务模型、过程模型和资源模型,并用Petri网进行了描述。在工作流管理联盟给出的六种过程逻辑的基础上,扩充了过程逻辑关系,使其更好地支持协同工作。最后,以某城市建设工程项目联合审批为案例对模型进行了研究,用基于协作体的建模方法对其建模,验证以上模型研究的有效性。