本论文首先建立一个反映产品、过程、组织、时间等要素的多视图模型,在此基础上针对软件产品和过程,从形式化描述与验证、变更影响分析和自动化工具这几个方面进行了研究.具体内容安排如下:第一章分析了软件变更产生的原因,讨论了解决软件变更问题的必要性,提出了软件变更要解决的主要问题.给出了软件变更的相关技术和研究现状,引出了本论文的研究范围和主要贡献.最后阐述了本论文的内容安排.第二章建立支持变更管理的多视图模型.第三章从形式化描述和验证的角度来讨论变更的可行性,即变更不能违反模型所规定的一组性质.第四章对软件变更的影响进行了分析,具体分析了代码级、工作产品级和过程级三个层次的变更.第五章介绍了支持软件变更管理的软件项目开发管理(SPDM)系统的设计与实现.在充分考虑了软件项目开发过程的特点的基础上,把工作流技术和软件配置管理结合起来支持软件变更管理,以工作流系统体系结构为基础提出了支持产品和过程的SPDM系统的体系结构,该结构体现了过程、配置和变更技术之间的紧密联系.第六章总结了本论文的主要贡献和研究工作的特点并指出下一步的研究工作.综上所述,本论文有以下几个主要创新点:(1)在改进的RUP驼峰模型的基础上建立了一个多视图过程模型的概念模型和元模型—PPTOM模型;基于UML2.0活动图来表达过程模型.(2)利用Petri网、π-演算和时态逻辑的方法来描述系统及其性质;用π演算来描述基于构件的软件产品模型,用Petri网来描述基于UML2.0活动图的软件过程模型.