随着信息化的快速发展,运行在动态环境下的组合服务被越来越多的组织所共享,以至于组合服务的演化异常复杂。如何对面向服务架构进行有效整合,使其适应环境变化、发展,并及时满足客户的要求,这些都是有待解决的问题。从而在高速发展的信息时代,研究SOA服务的演化,成为了一个崭新的实践。在面向服务体系结构中,组合服务作为一种网构软件运行在动态开放的环境下,成为了网络环境中的重要构建形式。面临这样的环境,对服务的动态演化的研究具有深远的意义。本文致力于组合服务演化的理论研究。为了这个目的,论文主要工作如下：第一,本文提出一个形式化的、多层次的面向服务软件体系结构模型,其层次结构自底向上可以分为三层：原子服务层、子组合服务层和组合服务层。第二,通过在原子服务层对原子服务演化进行的研究,提出了合理的原子服务演化所具备的必要条件。第三,本文提出在子组合服务层的服务演化只是原子服务之间的规则发生改变,并给出子组合服务层的服务动态演化操作集。第四,通过组合服务演化合理性的研究,提出了一个保障组合服务合理性的动态演化操作集,包括对子组合服务的删除操作、添加操作、修改操作以及结构的调整。总之,本文就从服务的形式化定义出发,将组合服务软件系统形式化为三层,并分别在每一层上对服务的动态演化进行研究。