信息技术应用的普及以及计算机网络的飞速发展导致了计算机支持的协同工作的诞生。经过近二十年的发展，CSCW的应用却处在一个颇为尴尬的境地：一方面人们对于协同技术的需求越来越强烈，另一方面尽管人们已经开发出许多系统，可是这些系统并不能满足实际的需要。造成这一问题的根本原因在于：(1)对行业或领域本身的协同工作本质的认识还不够深入；(2)已有系统对于一些关键概念如事务等的支持不足。本文基于Cova协作模型和系统，从建立时功能和运行时系统两个方面入手对协同过程的建模、分析与事务支持进行了深入分析和研究，得出了具有一般性的结论。论文工作的创新点和主要贡献在于： 1)从分析协同过程的特性出发，基于协同过程的可分解性和任务之间的依赖关系，针对建模过程的特点，设计开发了agent辅助建模工具AAPM。AAPM充分发挥信息技术的作用，降低了对建模人员的要求，使得最终用户可以参与到建模过程中。利用AAPM进行建模，能够最大限度的反映实际需要，同时减少了建模过程中的不确定因素，在一定程度上保证了建模结果的正确性。 2)提出了协同自动机模型CoAuto作为协同过程的分析工具，根据这一模型给出了正确的协同过程的定义。与已有的工作相比，CoAuto提供了可变的分析粒度，支持多种分析方法(例如状态转换图、组合推理、时序逻辑等)，分析结果具有很好的重用性。 3)根据协同过程的具体特点，在吸收已有研究成果的基础上提出了一种协同事务模型CovaTM并在Cova平台中加以实现。CovaTM所采取的具体措施为：(1)针对协同过程中活动之间存在复杂的依赖关系，提供了强大的控制流；(2)针对协同过程的动态特性，采用了开放实现，引入了用户干预机制；(3)针对不同活动对事务性的需求，定义了不同的事务类型。这些措施使得CovaTM非常灵活，可以很好的满足分散的协同过程需求。 4)基于Cova对象模型，提出了一种基于标注的对象合并算法用来对异步协作模式进行支持。该算法可以根据不同应用的需求，自动检测到存在的冲突并根据给定的策略解决冲突。与已有的工作相比，该算法在保持灵活性的同时还具有复杂度小，节省空间的优点。 5)基于上述研究成果和Cova已有的功能，设计开发出一个通用工作流管理系统CovaFlow。CovaFlow解决了现有工作流产品不够灵活、对事务支持不足的缺点，此外还具有以下优点：(1)能够统一的支持同步和异步协作；(2)引入agent辅助建模，允许多人协同定义工作流过程，因而降低了对建模人员的要求；(3)支持过程的正确性验证和时态分析。