| 摘要 | 第1-7页 |
| Abstract | 第7-16页 |
| 第1章 绪论 | 第16-28页 |
| ·研究背景 | 第16-21页 |
| ·面向服务的体系架构与Web服务 | 第16-20页 |
| ·软件动态配置技术 | 第20-21页 |
| ·研究动机与研究意义 | 第21-24页 |
| ·研究内容与主要贡献 | 第24-26页 |
| ·文章结构 | 第26-28页 |
| 第2章 研究基础与现状 | 第28-48页 |
| ·软件动态配置技术分类 | 第28-30页 |
| ·软件动态配置技术研究现状 | 第30-44页 |
| ·传统的动态配置方法 | 第30-33页 |
| ·软件程序层面 | 第30-31页 |
| ·软件构件层面 | 第31-33页 |
| ·基于元模型的动态配置方法 | 第33-35页 |
| ·基于动态体系结构的动态配置方法 | 第35-41页 |
| ·基于进程代数的方法 | 第36-37页 |
| ·基于图的方法 | 第37-39页 |
| ·基于逻辑的方法 | 第39-40页 |
| ·其他方法 | 第40-41页 |
| ·与面向服务的软件动态配置方法相关的技术 | 第41-44页 |
| ·服务可替换性与相容性 | 第41-43页 |
| ·面向服务的软件动态配置技术 | 第43-44页 |
| ·国内外相关研究项目与平台 | 第44-45页 |
| ·CREDO | 第44页 |
| ·Rainbow | 第44-45页 |
| ·ArchStudio | 第45页 |
| ·PKUAS | 第45页 |
| ·本章小结 | 第45-48页 |
| 第3章 支持动态配置的面向服务的软件体系结构 | 第48-60页 |
| ·反射技术 | 第48-51页 |
| ·反射及相关概念 | 第48-49页 |
| ·反射系统及分类 | 第49-51页 |
| ·支持动态配置的面向服务的软件体系结构(DSOS) | 第51-58页 |
| ·设计思路 | 第51-53页 |
| ·DSOS的基本组成 | 第53-55页 |
| ·DSOS运行时体系结构 | 第55-57页 |
| ·DSOS的反射机制 | 第57-58页 |
| ·本章小结 | 第58-60页 |
| 第4章 面向服务的软件动态配置正确性判定 | 第60-102页 |
| ·问题概述 | 第60-61页 |
| ·类型理论基础 | 第61-65页 |
| ·Martin_Lof类型论简介 | 第61-63页 |
| ·依赖记录类型与强制子类型 | 第63-65页 |
| ·支持大粒度Web服务的形式化建模 | 第65-84页 |
| ·大粒度服务与面向服务的软件 | 第66-67页 |
| ·OWL-S的扩展 | 第67-71页 |
| ·服务反向接口依赖关系 | 第67-68页 |
| ·OWL-S扩展的实现 | 第68-71页 |
| ·Web服务外部行为建模 | 第71-76页 |
| ·Web服务内部行为建模 | 第76-84页 |
| ·Martin_Lof类型论的扩展 | 第77-79页 |
| ·服务行为类型 | 第79-84页 |
| ·面向服务的软件动态配置的正确性判定 | 第84-98页 |
| ·服务可替换性的定义与判定 | 第85-90页 |
| ·服务可替换性的定义 | 第85-87页 |
| ·服务可替换性的判定规则 | 第87-90页 |
| ·服务兼容性的定义与判定 | 第90-93页 |
| ·服务兼容性的定义 | 第90-92页 |
| ·服务行为类型的对偶规则 | 第92-93页 |
| ·实例研究 | 第93-98页 |
| ·相关工作比较 | 第98-99页 |
| ·本章小结 | 第99-102页 |
| 第5章 基于DSOS的面向服务的软件动态配置 | 第102-132页 |
| ·DSOS中的动态配置方法 | 第102-106页 |
| ·自顶向下的动态配置机制 | 第103-105页 |
| ·自底向上的动态配置机制 | 第105-106页 |
| ·面向功能性动态配置的服务即时组装方法—证明即组装 | 第106-116页 |
| ·面向动态配置的服务即时组装方法的基本步骤 | 第107-108页 |
| ·服务即时组装需求的表达 | 第108页 |
| ·证明规则与策略 | 第108-110页 |
| ·实例研究 | 第110-116页 |
| ·面向非功能性动态配置的目标选择方法 | 第116-129页 |
| ·Web服务的非功能属性模型 | 第117-118页 |
| ·面向非功能性动态配置的目标选择方法 | 第118-127页 |
| ·面向非功能性动态配置的目标选择算法 | 第118-119页 |
| ·单个和多个成员服务的替换 | 第119-125页 |
| ·关键值计算方法 | 第125-127页 |
| ·实例研究 | 第127-129页 |
| ·相关工作比较 | 第129-131页 |
| ·本章小结 | 第131-132页 |
| 第6章 面向服务的软件动态配置平台 | 第132-142页 |
| ·面向服务的软件动态配置平台的设计 | 第132-136页 |
| ·体系结构 | 第132-133页 |
| ·核心组件 | 第133-135页 |
| ·主要过程 | 第135-136页 |
| ·面向服务的软件动态配置原型平台-JTangSDR | 第136-141页 |
| ·JTangSDR的基础服务模块 | 第137-139页 |
| ·JTangSDR的面向服务的软件集成开发环境 | 第139-140页 |
| ·动态配置管理工具 | 第140-141页 |
| ·本章小结 | 第141-142页 |
| 第7章 总结与展望 | 第142-146页 |
| ·本文工作总结 | 第142-143页 |
| ·未来工作展望 | 第143-146页 |
| 参考文献 | 第146-155页 |
| 攻读博士学位期间的科研成果 | 第155-157页 |
| 攻读博士学位期间参与的科研项目 | 第157-158页 |
| 致谢 | 第158-159页 |
