面向服务的体系架构(Service-Oriented Architecture，SOA)作为软件开发的新方式，正引领软件行业新一轮发展。随着基于SOA的服务系统的开发并应用，用户对服务系统的可用性要求越来越高。而基于SOA的服务系统大多运行在Internet环境中，该环境具有动态、异构、开放、多变等特点，保证其可用性成为了构建SOA系统的关键问题。当前，由于云计算的兴起，将SOA和云计算进行整合或迁移成为了新的研究热点。而维持服务系统的高可用性被列为下阶段阻碍SOA和云计算发展的首要挑战。软件动态配置技术作为目前软件维护的重要技术，能够顺应这一挑战，在软件运行阶段处理系统出现的诸多问题，使系统具有高自适应性，并为系统的高可用性和可靠性提供了支持。　　 本文基于服务系统的特点，重点研究了服务系统动态配置技术中的服务可替换性判定、基于域的动态配置机制和动态配置域的识别三大问题，并根据动态配置机制设计并实现了原型系统。本文的主要研究内容包括：　　 上下文相关的服务可替换性判定。web服务的行为依赖于其所运行的上下文环境。本文定义了服务的上下文环境和极大包含环境，对web服务在特定环境中的行为进行抽取。同时使用服务行为类型和子类型理论，对web服务行为进行建模，并依据子类型理论判定上下文相关的服务可替换性。　　 基于域的服务系统动态配置机制。本文引入了动态配置域的概念，提出了功能需求驱动的动态配置算法。当动态配置域规模较小时，采用替换策略。当动态配置域超过一定规模时，采用服务重组策略。　　 动态配置域识别。动态配置域是服务系统动态配置的单位，其表示相互依赖的服务组成的区域。本文给出了动态配置域的识别和算法。在一个服务系统中，以失效服务为中心构建的域有多个，这就需要一种机制来确定最终的动态配置域。本文提出了DRRank方法，计算动态配置域的重要性，作为确定动态配置域的标准。　　 服务系统动态配置平台的设计与开发。本文根据动态配置机制与需求，设计并开发了支持服务系统动态配置的平台JTangReconfig。该平台包括动态配置监控与触发模块、动态配置执行模块、服务管理模块等。该平台使用Eclipse插件进行开发，提供了可视化的图形用户界面、具有简单易用的优点。