目前随着整个社会信息化的快速发展,软件遗产系统所面临的环境变为开放、动态、多变,那么遗产系统的演化也要随着这种变化要求具有动态性和自适应性,作为保障软件演化质量的软件演化过程也要朝着这种方向发展,如何来对软件演化过程进行建模、如何既快速又高质量的建立软件演化过程以及建立的软件演化过程是否满足我们的演化需求都是我们必须要解决的问题,目前在该方面的研究还不是很多,所以本文就主要从上面的问题出发,进行相应的研究工作。本文对于模型的描述是在现有研究的基础上,通过在活动中引入外部环境事件来建模演化过程中的活动,它能够根据具体的演化环境来对特殊复合活动进行相应的细化,软件演化过程则是通过颜色Petri网进行建模,提出了一个软件演化过程模型EPM(Evolution Process Model),并对演化过程中的复合活动的细化规则以及调整进行了相应的讨论,该模型不仅能够具有传统模型的演化过程的特点,还具有动态性,该模型是后面章节的基础。由于目前随着演化项目的急剧增长,对于相同领域的相似问题总会存在一些经验总结,如何在过程工程师不熟悉的情况下快速高效的来建立软件演化过程模型的研究是很有意义的,本文通过引入模式的概念,提出软件演化过程模式的概念,使用模式来建立软件演化过程,分别从模式模型的描述、模式的查找,以及如何使用模式来建立EPM进行了详细的讨论。我们建立的模型必须保证满足演化需求规约,本文中由于模型描述语言CPN(Color Petri Net)不能很好的表达规约信息,所以本文引入行为时序逻辑来对建立的EPM模型进行规约验证,分别对演化过程模型转化为行为时序逻辑、本文提出的一些需求规约如何转化为行为时序逻辑,及如何使用检验工具TLC进行相应的验证进行了讨论,并给出了相应的案例分析。总之,本文主要围绕软件演化过程研究中的模型描述、模型的快速建立、本文提出的演化过程需求规约的验证三个方面进行了研究和讨论,力求解决软件演化过程中相应的问题。