| 摘要 | 第1-8页 |
| Abstract | 第8-11页 |
| 第一章 绪论 | 第11-18页 |
| ·研究背景及意义 | 第11-12页 |
| ·研究现状及问题 | 第12-14页 |
| ·软件容错技术的研究现状 | 第12-13页 |
| ·自适应软件系统的研究现状 | 第13-14页 |
| ·本文的主要工作 | 第14-16页 |
| ·本文的篇章结构 | 第16-18页 |
| 第二章 相关研究综述 | 第18-35页 |
| ·软件系统的可靠性技术研究 | 第18-19页 |
| ·软件系统的可生存性技术研究 | 第19-21页 |
| ·软件系统的容错技术研究 | 第21-33页 |
| ·传统的软件容错技术研究 | 第21-22页 |
| ·自适应软件容错技术研究 | 第22-33页 |
| ·面向目标的需求建模方法 | 第23-27页 |
| ·基于需求模型的软件体系结构推导方法研究 | 第27-29页 |
| ·基于体系结构的软件自适应容错技术研究 | 第29-31页 |
| ·基于反馈控制论的自适应技术 | 第31-32页 |
| ·运行时监控与诊断分析技术 | 第32-33页 |
| ·讨论 | 第33-34页 |
| ·小结 | 第34-35页 |
| 第三章 面向目标的需求建模方法在自适应场景下的扩展研究 | 第35-57页 |
| ·概述 | 第35-36页 |
| ·背景知识简介 | 第36-37页 |
| ·KAOS方法在自适应场景下的扩展 | 第37-43页 |
| ·描述框架扩展 | 第37-39页 |
| ·目标类型扩展 | 第39-40页 |
| ·目标关系扩展 | 第40-43页 |
| ·功能性目标精化关系扩展 | 第40-42页 |
| ·非功能性目标依赖关系分类 | 第42-43页 |
| ·目标冲突分析 | 第43-45页 |
| ·一个系统化的面向目标的可信需求建模方法 | 第45-48页 |
| ·方法概述 | 第45-46页 |
| ·方法过程详解 | 第46-48页 |
| ·建立系统的整体目标模型 | 第46-48页 |
| ·自适应基础设施建模 | 第48页 |
| ·自适应场景建模 | 第48页 |
| ·案例研究 | 第48-55页 |
| ·确定并精化初始目标 | 第49-50页 |
| ·细化功能性目标与非功能性目标 | 第50-52页 |
| ·编织功能性目标与非功能性目标 | 第52-53页 |
| ·自适应基础设施及自适应场景建模 | 第53-55页 |
| ·自适应基础设施建模 | 第53-54页 |
| ·自适应场景建模 | 第54-55页 |
| ·讨论 | 第55-56页 |
| ·小结 | 第56-57页 |
| 第四章 目标模型驱动的、基于构件的自适应软件体系结构推导方法研究 | 第57-78页 |
| ·概述 | 第57-58页 |
| ·基于构件的自适应软件体系结构的推导方法 | 第58-74页 |
| ·自适应构件概念模型 | 第58-60页 |
| ·SA的结构化模型推导 | 第60-67页 |
| ·基于"与分解"模式的结构化模型推导 | 第61-63页 |
| ·基于"或分解"模式的结构化模型推导 | 第63-67页 |
| ·SA的行为模型推导 | 第67-72页 |
| ·基于"顺序与分解"模式的行为模型推导 | 第68-69页 |
| ·基于"并发与分解"模式的行为模型推导 | 第69-71页 |
| ·基于"或分解"模式的行为模型推导 | 第71-72页 |
| ·SA的自适应重配置策略推导 | 第72-74页 |
| ·目标模型驱动的SA建模方法追踪元模型 | 第74-75页 |
| ·自适应软件体系结构的正确性评估 | 第75-77页 |
| ·小结 | 第77-78页 |
| 第五章 基于体系结构的自适应容错软件系统实现的关键技术研究 | 第78-95页 |
| ·概述 | 第78页 |
| ·自适应容错软件系统的实现框架 | 第78-93页 |
| ·目标管理层 | 第81-82页 |
| ·变更管理层 | 第82-85页 |
| ·体系结构重配置层 | 第85-93页 |
| ·面向容错目标的构件动态查找和匹配 | 第86-91页 |
| ·构件失配检测与消除 | 第91-92页 |
| ·面向构件和软件体系结构的自适应容错策略 | 第92-93页 |
| ·有效性评估 | 第93页 |
| ·讨论 | 第93-94页 |
| ·小结 | 第94-95页 |
| 第六章 可信需求的运行时监控与诊断技术研究 | 第95-114页 |
| ·概述 | 第95-96页 |
| ·自适应监控诊断重配置框架AMDRF简介 | 第96-97页 |
| ·系统需求及属性规约描述 | 第97-100页 |
| ·运行时监控器的推导算法 | 第98-99页 |
| ·监控器推导的解说实例 | 第99-100页 |
| ·监控对象定义及监控代码生成 | 第100-108页 |
| ·标识监控对象 | 第101-104页 |
| ·监控探针的实现方式 | 第104-106页 |
| ·生成及编织监控代码 | 第106-108页 |
| ·基于目标模型的运行时诊断方法 | 第108-109页 |
| ·自适应重配置调整 | 第109-111页 |
| ·讨论 | 第111-112页 |
| ·小结 | 第112-114页 |
| 第七章 基于体系结构的自适应软件支撑平台的设计与实现 | 第114-120页 |
| ·概述 | 第114页 |
| ·基于体系结构的自适应软件支撑平台的总体架构 | 第114-116页 |
| ·模型构建工具集 | 第115-116页 |
| ·运行时管理工具集 | 第116页 |
| ·自适应重配置工具集 | 第116页 |
| ·平台的原型实现 | 第116-119页 |
| ·建模工具简介 | 第116-119页 |
| ·面向目标的需求建模分析工具objectiver | 第117页 |
| ·自适应软件体系结构建模工具DynArch | 第117-119页 |
| ·基于体系结构的运行支撑平台简介 | 第119页 |
| ·小结 | 第119-120页 |
| 第八章 总结和展望 | 第120-123页 |
| ·总结 | 第120-122页 |
| ·将来的研究工作 | 第122-123页 |
| 参考文献 | 第123-134页 |
| 致谢 | 第134-135页 |
| 攻读博士学位期间发表论文情况 | 第135-136页 |
