| 摘要 | 第1-6页 |
| ABSTRACT | 第6-10页 |
| 第一章 绪论 | 第10-15页 |
| ·研究背景 | 第10-13页 |
| ·研究意义与研究内容 | 第13-14页 |
| ·论文的组织结构 | 第14-15页 |
| 第二章 网构软件动态演化及方面化技术研究概述 | 第15-26页 |
| ·网构软件动态演化研究 | 第15-18页 |
| ·研究概述 | 第15-16页 |
| ·研究现状 | 第16-18页 |
| ·动态软件体系结构研究 | 第18-23页 |
| ·体系结构描述语言 | 第18-19页 |
| ·演化执行工具 | 第19-21页 |
| ·可动态演化的面向方面软件体系结构 | 第21-23页 |
| ·AOP系统的方面编织机制研究 | 第23-25页 |
| ·本章小结 | 第25-26页 |
| 第三章 基于ADarwin的方面化体系结构描述及动态演化行为一致性验证 | 第26-37页 |
| ·工作基础 | 第26-32页 |
| ·面向方面软件体系结构描述语言ADarwin | 第26-29页 |
| ·ADarwin的语义基础Pi-演算 | 第29-31页 |
| ·基于Pi-演算的面向方面体系结构语义模型 | 第31-32页 |
| ·面向方面体系结构动态演化的行为一致性验证方法 | 第32-36页 |
| ·动态演化一致性的相关性质说明 | 第32-34页 |
| ·方面化系统动态演化一致性验证过程 | 第34-36页 |
| ·本章小结 | 第36-37页 |
| 第四章 支持方面化构件演化的动态编织框架 | 第37-47页 |
| ·动态方面编织的相关工作 | 第37-38页 |
| ·方面化构件动态编织框架DWA | 第38-46页 |
| ·研究方面化构件编织的主要关注点 | 第38-39页 |
| ·动态方面编织框架设计 | 第39-43页 |
| ·DWA框架的实现技术 | 第43-46页 |
| ·本章小结 | 第46-47页 |
| 第五章 实例研究 | 第47-58页 |
| ·实例描述 | 第47-50页 |
| ·动态演化行为一致性分析 | 第50-53页 |
| ·动态方面编织验证 | 第53-57页 |
| ·本章小结 | 第57-58页 |
| 第六章 结束语 | 第58-60页 |
| ·工作总结 | 第58页 |
| ·工作展望 | 第58-60页 |
| 参考文献 | 第60-66页 |
| 致谢 | 第66-67页 |
| 攻读硕士学位期间参加的科研项目 | 第67页 |
| 攻读硕士期间发表和录用的学术论文 | 第67页 |