| 摘要 | 第1-5页 |
| Abstract | 第5-12页 |
| 第1章 引言 | 第12-38页 |
| ·问题的提出 | 第12-14页 |
| ·发展与现状 | 第14-31页 |
| ·软件故障与容错技术 | 第15-18页 |
| ·构造容错软件的方法 | 第18-29页 |
| ·容错机制动态配置 | 第29-31页 |
| ·尚待解决的问题 | 第31-32页 |
| ·本文的研究内容与主要工作 | 第32-36页 |
| ·研究内容 | 第32-34页 |
| ·工作基础 | 第34-36页 |
| ·本文的组织 | 第36-38页 |
| 第2章 基于软件体系结构的容错机制动态配 置技术框架 | 第38-52页 |
| ·研究实例 | 第38-40页 |
| ·网构软件容错机制动态配置问题的难点 | 第40-46页 |
| ·网构软件容错机制动态配置的基本要求 | 第40-42页 |
| ·依赖关系对容错机制动态配置的影响 | 第42-46页 |
| ·基于软件体系结构的容错机制动态配置方法 | 第46-48页 |
| ·软件体系结构的抽象规约能力 | 第46-48页 |
| ·软件体系结构的推理分析能力 | 第48页 |
| ·中间件支撑框架 | 第48-49页 |
| ·动态配置流程 | 第49-50页 |
| ·小结 | 第50-52页 |
| 第3章 容错风格和容错体系结构 | 第52-74页 |
| ·容错风格的描述 | 第52-57页 |
| ·容错风格实例 | 第57-67页 |
| ·公共容错构件、连接子和接口 | 第57-60页 |
| ·公共容错构件、连接子和接口的组合 | 第60-63页 |
| ·几种典型的容错风格实例 | 第63-67页 |
| ·容错体系结构的形式化规约 | 第67-72页 |
| ·容错体系结构的基础模型 | 第68-70页 |
| ·故障建模 | 第70页 |
| ·容错风格建模 | 第70-71页 |
| ·依赖关系对容错体系结构形式化模型的影响 | 第71-72页 |
| ·小结 | 第72-74页 |
| 第4章 容错机制动态配置的规划 | 第74-102页 |
| ·选择容错风格 | 第75-83页 |
| ·基于模型检查的风格选择方法概述 | 第75-77页 |
| ·从体系结构模型到验证模型的转换 | 第77-82页 |
| ·实例研究 | 第82-83页 |
| ·讨论 | 第83页 |
| ·使用容错风格 | 第83-95页 |
| ·基于模型合并的容错配置生成方法概述 | 第83-86页 |
| ·确定待配置的构件集合 | 第86-87页 |
| ·生成模型元素匹配关系 | 第87-90页 |
| ·执行合并操作 | 第90-95页 |
| ·性能和可靠性分析 | 第95-98页 |
| ·性能分析 | 第95-97页 |
| ·可靠性分析 | 第97-98页 |
| ·工具实现 | 第98-99页 |
| ·小结 | 第99-102页 |
| 第5章 中间件支撑框架与实现 | 第102-120页 |
| ·框架概述 | 第103页 |
| ·容错沙盒 | 第103-109页 |
| ·构件容器和截取器 | 第103-105页 |
| ·扩展构件容器为容错沙盒 | 第105-109页 |
| ·容错沙盒的组合 | 第109页 |
| ·容错管理服务 | 第109-113页 |
| ·容错配置和恢复策略 | 第110-112页 |
| ·配置管理器 | 第112页 |
| ·恢复管理器 | 第112-113页 |
| ·从体系结构容错配置描述到中间件容错配置文件 | 第113-114页 |
| ·基于JEE 应用服务器的实现 | 第114-118页 |
| ·基于PKUAS 的实现 | 第114-115页 |
| ·实验设计和结果 | 第115-118页 |
| ·小结 | 第118-120页 |
| 第6章 结束语 | 第120-126页 |
| ·本文工作总结 | 第120-121页 |
| ·相关工作比较 | 第121-123页 |
| ·容错机制动态配置的中间件支撑技术 | 第121-122页 |
| ·容错软件的体系结构建模和分析 | 第122-123页 |
| ·未来工作展望 | 第123-126页 |
| 参考文献 | 第126-137页 |