软件演化是指在软件系统的生命周期中软件维护和软件更新的动态行为。随着软件系统规模的不断扩大以及需求的不断变化,对软件模型演化能力的要求也越来越高。目前,软件模型的演化方法主要采用图形的方式来处理。这种描述方式比较复杂,表达能力有限。特别是当软件系统规模增大时,图变换方式的表达和处理能力明显不足,速度和效率也明显下降。论文通过分析软件模型演化的图变换技术,提出一种基于带属性类型图的软件结构形式化描述方法,并进一步将其转化成谓词描述,给出两者互转化机制。这种方式既保证图形化特征又降低逻辑表达式描述的复杂度,提高了演化效率。在谓词逻辑的基础上,提出了软件演化操作语言SEOL,以描述软件演化操作。同时构建了SEOL语言的执行机制,从而最终达到软件模型演化的目的。论文针对SEOL语言,在Eclipse平台下以插件的形式设计并实现了一个针对软件演化的执行引擎工具。该工具采用三层模型设计思想,使整个系统结构清晰并具有良好的扩展性。最后,论文通过分析软件重构经典案例邮件系统的演化,论述了邮件系统演化的执行过程。从实践上证明了基于逻辑的软件演化方法的可行性和正确性。