随着软件理论与技术的发展，越来越多成功的软件系统变成遗产系统(legacysystem)，软件演化的重要性和普及性越来越明显。一方面，软件演化己成为软件生存周期中最重要的形态之一；另一方面，软件过程在提高软件演化的效率和质量方面也发挥着重要作用。正是如此，软件过程和软件演化的多学科交叉成为软件工程中的一个关键领域。 构造以Petri网描述的软件演化过程模型有利于对软件演化过程进行分析、控制和度量。为了恰当地描述软件演化过程模型，李彤教授提出了软件演化过程元模型(EPMM)，该模型是一个用于建模软件演化过程的形式化的工具，它能获取软件演化过程模型的重要属性。该模型基于扩展Petri网，定义了软件演化过程重要元素如任务、活动、过程模型，并对其分层，利用这些定义可以建模软件演化过程。 本文把软件演化过程元模型和代数语义结合在一起进行研究，提出了软件演化过程元模型代数语义系统(Algebraic Semantics of EPMM，简称AS-EPMM)，并利用代数语义中的模型描述语言ASL对AS-EPMM进行功能规格说明，有利于软件演化过程功能规约方面的研究和发展。 代数语义学中，满足同一基调的∑代数之间都存在偏序关系，都存在初始代数到其它∑代数的同态映射，也存在这些∑代数到终结代数的同态映射。这样∑代数之间的层次性恰好可以和分层的EPMM结合，应用∑代数，对EPMM进行代数语义的定义，抽象出EPMM中满足∑代数的类子，类子序列，并且深入研究EPMM各个元素的功能，定义出满足∑代数的运算和运算序列，定义出完整的EPMM的代数语义AS-EPMM。为了对软件演化过程进行形式化的功能规约，采用模型描述语言ASL对AS-EPMM进行形式化的功能规格说明，保证具体软件演化过程中形式化功能规约的准确性和一致性。