由于面临用户要求、业务规则和系统上下文环境等方面的变化,面向服务软件系统的需求不可避免的要求持续的演化。目前已有的一些与需求演化有关的方法与技术存在一些问题是：缺乏显式地描述并使用支持面向服务需求规约演化操作和过程的元信息。由于这些元信息的缺乏,使得面向服务需求规约的演化过于依赖需求分析人员的经验而难以完成。针对上述问题,本文针对面向服务需求规约的特点,提出了一种基于反射的面向服务需求规约演化方法。该方法利用支持面向服务需求规约演化的元信息,将需求规约封装成可管理、可演化的反射式需求规约,在需求演化时,利用这些元信息支持整个演化过程,并通过反射机制完成需求规约的演化工作。在该方法的支持下,需求分析人员就可以通过一系列支持变更管理、变更实施和需求模型重用的操作,完成对面向服务需求规约的演化任务。论文的主要工作有：(1)重点研究一种基于反射的需求规约演化方法,需求分析人员使用该方法,可以有效地管理需求变更,同时在该方法的帮助下,以一种简单的方式完成需求演化。(2)构建了基于π演算的反射式需求规约演化模型,支持需求规约演化的分析和验证。首先对反射式需求规约的基级、元级以及两级之间交互进行形式化规约；然后对反射式需求规约的演化进行形式化规约；最后在这些形式化规约的基础上给出了对演化后需求规约中业务过程的合理性、业务过程组合的合理性和需求演化的正确性问题进行形式化分析和验证的方法。(3)设计了一个支持本文方法的支撑工具,介绍了支撑工具的功能、总体设计和关键的实现技术。(4)进行案例研究,展示在反射式需求规约的支持下进行面向服务需求规约演化的过程,实证本文提出的需求规约演化方法的正确性和有效性。