软件过程管理的目的是最大限度地提高软件产品的质量和软件开发的生产率。由于软件开发过程是一个非常复杂并且难以量化、估算的过程,因此非常强调对过程的建模,力求通过对软件过程本身的形式化建模来实现对软件过程的控制以及度量。本文以Petri网为基本工具,结合工作流技术,研究软件过程建模。在实际软件开发过程中经常会出现诸如需求、人员流动、任务转移等变化,从工作流角度来看,这些变化可能会产生死锁、丢失实例、不一致性等问题,因此,在软件过程建模时应给予足够的重视。为了解决这些问题,文中首先定义了一个具有可容性的结构变化,这种变化在应用到工作流的过程中,不会造成任何结构性错误或行为不一致,此外,文中还提出了一种工作流节点变化算法,该算法可以用来计算工作流结构变化影响的最小区域,从而解决了软件过程工作流由于动态变化产生的问题。在本文中,另一个工作重点是在对Petri网进行扩展的基础上,提出一种软件过程工作流建模工具,该工具具有建模(Model)、分析(Analysis)和管理(Management)功能,因此叫做MAM网,它是基于对时间Pr/T网的拓展。文中重点介绍了MAM的定义,MAM网的图形符号表示,使用MAM网对软件过程工作流建模;并且对MAM网所建软件过程工作流模型进行分析,其中包括对过程冲突的分析、过程并发执行的分析、完成整个工程的最小人力需求分析等。MAM网支持整合的软件过程模型和组织环境,以统一的方式调用工作流节点变化算法,从而动态适应软件过程工作流建模,提高软件过程建模的效率。最后,把基于MAM网的软件过程工作流模型映射到XPDL,并实现了XPDL的对象化表示,以便后续工作真正实现软件过程工作流的半自动化或者自动化。