变更控制作为软件项目管理中不可缺少的一部分,对软件过程的执行起着决定性的作用,不合理或失控的变更会严重阻碍组织完成既定的软件目标,甚至会直接导致软件项目的失败。完善的变更管理系统可以辅助软件过程更好的执行,持续提高组织的软件过程能力。本文首先对变更控制的相关理论进行研究,分析了现有变更控制系统的不足并指出了过程执行中存在的一些问题。接着从基于Petri网的工作流网的角度对变更控制进行分析,讨论了变更控制的基本元素在工作流网上的映射,并给出了变更控制的YAWL语言模型。然后分析了YAWL模型的有界性、安全性及活性的研究方法,给出了对模型进行验证的几个算法,在此基础上对变更控制的网模型进行了验证与证实。接着研究了在变更控制下柔性软件过程的实现方法,给出了柔性过程执行流程的动态修改策略以及允许变更的前提条件和判断方法,利用模型正确性验证算法对发生变更的过程进行验证,将软件过程置于变更控制之下,实现了柔性软件过程的变更及执行自动化。在变更控制过程及软件过程执行模型中引入规则引擎,利用可维护的规则提高系统的灵活性和扩展性,为过程度量与评估提供接口,帮助组织进行过程改进。最后本文在B/S结构上基于上述研究设计并实现了变更控制下的软件过程执行模块,对今后的研究具有较好的借鉴意义。