面向方面的软件容错模型设计与分析技术
| 摘要 | 第1-7页 |
| 英文摘要 | 第7-12页 |
| 第1章 绪论 | 第12-25页 |
| ·研究背景及意义 | 第12-13页 |
| ·软件容错的概念及关键技术概述 | 第13-20页 |
| ·软件容错概念 | 第13-15页 |
| ·容错的关键技术 | 第15-20页 |
| ·国内外研究现状 | 第20-22页 |
| ·论文的主要工作 | 第22-23页 |
| ·论文结构 | 第23-25页 |
| 第2章 面向方面的软件容错模型基础 | 第25-42页 |
| ·Petri网及相关定义 | 第25-30页 |
| ·Petri网概念 | 第25-27页 |
| ·着色Petri网和层次着色Petri网 | 第27-30页 |
| ·行为时态逻辑 | 第30-32页 |
| ·行为逻辑 | 第30-31页 |
| ·时态逻辑 | 第31-32页 |
| ·UML用例建模 | 第32-34页 |
| ·面向方面的软件设计技术 | 第34-37页 |
| ·面向方面的概念 | 第34-35页 |
| ·面向方面程序设计技术 | 第35-36页 |
| ·面向方面的建模与设计技术 | 第36-37页 |
| ·面向方面的容错模型设计 | 第37-39页 |
| ·面向方面的容错模型分析 | 第39-41页 |
| ·面向方面容错模型的实现 | 第41页 |
| ·本章小结 | 第41-42页 |
| 第3章 面向方面需求的形式化建模方法 | 第42-54页 |
| ·引言 | 第42页 |
| ·面向方面的用例建模 | 第42-45页 |
| ·方面用例建模 | 第43-45页 |
| ·用例模型到Petri网转换 | 第45-48页 |
| ·方面网相关概念 | 第45-46页 |
| ·基本用例到基本网的转换 | 第46页 |
| ·方面用例到方面网的转换 | 第46-47页 |
| ·方面网与基本网的合成 | 第47-48页 |
| ·基于Petri网的时态逻辑分析 | 第48-50页 |
| ·时态公式 | 第48-49页 |
| ·织入时态性质 | 第49-50页 |
| ·实例与分析 | 第50-53页 |
| ·系统用例模型 | 第50-51页 |
| ·用例模型到Petri网的转换 | 第51-52页 |
| ·织入时态性质检验 | 第52-53页 |
| ·本章小结 | 第53-54页 |
| 第4章 基于HCPN的面向方面的建模与分析 | 第54-71页 |
| ·引言 | 第54页 |
| ·CPN和HCPN模块 | 第54-55页 |
| ·面向方面的HCPNM | 第55-60页 |
| ·AOHCPNM的语法 | 第56-57页 |
| ·织入机制 | 第57-59页 |
| ·CPN Tools中对AOHCPNM的验证方法 | 第59-60页 |
| ·AOHCPNM模型的实例研究 | 第60-70页 |
| ·实例描述 | 第60页 |
| ·运用AOHCPNM建模 | 第60-70页 |
| ·相关工作 | 第70页 |
| ·本章小结 | 第70-71页 |
| 第5章 单版本容错的建模与分析 | 第71-86页 |
| ·引言 | 第71页 |
| ·AOFTM的语义和语法 | 第71-74页 |
| ·面向方面的容错建模 | 第74-77页 |
| ·容错检测方面的建模 | 第74-75页 |
| ·容错处理方面的建模 | 第75-77页 |
| ·实例研究 | 第77-83页 |
| ·基本网建模 | 第78-79页 |
| ·容错建议网的建模 | 第79-81页 |
| ·建模AOFTM | 第81页 |
| ·基本网与建议网的组合 | 第81-83页 |
| ·性质分析 | 第83-84页 |
| ·相关工作 | 第84-85页 |
| ·本章小结 | 第85-86页 |
| 第6章 多版本容错的建模与分析 | 第86-99页 |
| ·引言 | 第86页 |
| ·基于AOM的NVP建模 | 第86-89页 |
| ·处理输入模型 | 第87-88页 |
| ·挂接程序模型 | 第88页 |
| ·表决器模型 | 第88-89页 |
| ·模块的形式化表述 | 第89-92页 |
| ·实例研究 | 第92-98页 |
| ·系统建模 | 第92-94页 |
| ·NVP模块织入 | 第94-95页 |
| ·分析和验证 | 第95-98页 |
| ·本章小结 | 第98-99页 |
| 第7章 总结与展望 | 第99-102页 |
| ·论文总结 | 第99-100页 |
| ·工作展望 | 第100-102页 |
| 参考文献 | 第102-114页 |
| 攻读博士学位期间完成的论文 | 第114-115页 |
| 攻读博士期间参加的课题 | 第115-116页 |
| 致谢 | 第116页 |
