本文针对软件演化过程领域的演化需求问题,提出了软件演化触发因子的概念,并基于颜色Petri网(CPN)和层次分析法(AHP),以形式化的方法建立了软件演化过程演化触发因子控制模型(ETCM)。建立该模型的目的及意义有二:一是为从系统全局利益出发,区分演化需求是否合理、有效及划算,提供处理模型、处理流程和其中相应的方案、方式、算法、依据;二是完善软件演化过程的研究领域,填补演化需求和演化执行之间的关系这个领域研究漏洞。本文的具体内容如下:一、定义了软件演化过程中软件演化触发因子和演化模块等重要元素的形式化描述,制定了基于CPN和AHP的软件演化过程演化触发因子控制模型的体系结构、运行方式、控制流程和具体操作,并采用类C++语言编写了该模型中所有重要操作的算法,最终形成了完整的演化触发因子控制模型。二、通过一系列分析方法对软件演化过程演化触发因子控制模型的性质进行了分析和验证,检验了该模型的核心性质,验证了该模型的正确性和可用性。三、通过对一个案例的情况简介、分析、形式化描述、建模和具体实施,用详细的数值和相关操作来展示模型的使用方式和操作流程;通过对整个工作流程的分析和结论的展示,再次证明了本文建立的模型的正确性和可用性,并可以给实际运用提供指导和操作模版。本文的创新点简述如下:一、本文首次提出软件演化需求应该被合理筛选的理论并将该理论形式化。二、本文首次创建了演化触发因子控制模型,并定义了模型相关要素及算法。三、本文首次将AHP交叉运用在了软件演化过程领域,利用AHP对演化触发因子进行分析和判断,选取出应该进行演化操作的因子进行演化操作。四、本文将软件演化过程体系结构重新映像到了演化触发因子控制模型中,以成熟的体系结构经过加工处理,转化为了演化触发因子控制模型的体系结构。