自“软件工程”的概念提出以来,软件开发就开始了从“艺术”、“技巧”和“个体行为”向“工程”和“群体协同工作”转化的历程。如今,随着互联网技术、分布式技术的长足发展以及云计算和物联网技术的日趋成熟,在软件开发领域,多用户协同开发的软件开发工作模式已经逐渐取代了集中式软件开发工作模式。对软件协同开发过程进行建模并做相应的研究,对保证这种模式下软件开发过程的规范和提高软件产品质量有着重要意义。本文将计算机支持的协同工作(Computer Supported Cooperative Work,简称CSCW)引入软件开发领域,结合软件过程建模理论,提出软件协同开发过程,对软件协同开发过程的形式化和建模优化进行研究。研究内容主要包含以下两个方面：第一,提出软件协同开发的概念,分析其特点,并设计一种基于Petri网的软件协同开发过程的形式化元模型SCDP (Software Collaborative Development Processes)。在所建立的模型基础上,给出四种状态和分层的情况下的变迁使能规则以及模型的融合与分解运算方法。第二,对软件协同开发过程建模进行优化,分析形式化建模与非形式化建模的优缺点,研究一种将UML (Unified Modeling Language,统一建模语言)活动图模型转化为软件协同开发过程模型SCDP的方法。给出这种转化方法的研究思路,并给出相应的数据结构和转化算法,通过实例对该转化算法进行演示和验证。本文从软件协同开发过程的形式化定义出发,对形式化模型进行相关研究,并对软件协同开发过程建模进行优化,旨在确保软件协同开发过程能够顺利、规范、有效地执行。