| 摘要 | 第1-7页 |
| Abstract | 第7-11页 |
| 图目录 | 第11-14页 |
| 表目录 | 第14-15页 |
| 第1章 绪论 | 第15-19页 |
| ·研究背景 | 第15-16页 |
| ·研究内容 | 第16-18页 |
| ·论文的组织 | 第18-19页 |
| 第2章 相关研究综述 | 第19-34页 |
| ·软件体系结构的定义及其描述方法 | 第19-25页 |
| ·软件体系结构的定义 | 第19-20页 |
| ·软件体系结构描述方法 | 第20-25页 |
| ·软件体系结构重用相关的研究 | 第25-31页 |
| ·特定领域体系结构 | 第25-27页 |
| ·体系结构风格 | 第27-28页 |
| ·软件产品线 | 第28-30页 |
| ·体系结构模式 | 第30-31页 |
| ·反射的相关研究 | 第31-33页 |
| ·反射的基本概念 | 第31-33页 |
| ·反射的形式化方法研究 | 第33页 |
| ·本章小结 | 第33-34页 |
| 第3章 支持体系结构重用的元信息模型 | 第34-46页 |
| ·体系结构元信息 | 第34-35页 |
| ·体系结构元信息模型MIMSA | 第35-45页 |
| ·总体设计原则与思路 | 第35-36页 |
| ·设计过程 | 第36-45页 |
| ·本章小结 | 第45-46页 |
| 第4章 体系结构元信息描述语言 | 第46-54页 |
| ·元组件(METACOMPONENT) | 第47-50页 |
| ·元连接器(METACONNECTOR) | 第50-51页 |
| ·元组合件(METACOMPOSITE) | 第51-53页 |
| ·本章小结 | 第53-54页 |
| 第5章 面向体系结构重用的反射式模型 | 第54-67页 |
| ·RIM4RSA模型的概述 | 第54-55页 |
| ·RIM4RSA模型的逻辑设计 | 第55-66页 |
| ·基级模型 | 第56-58页 |
| ·元级模型 | 第58-62页 |
| ·PMB协议 | 第62-66页 |
| ·本章小结 | 第66-67页 |
| 第6章 RIM4RSA模型的形式化规约 | 第67-100页 |
| ·PIOZ的介绍 | 第67-75页 |
| ·π演算 | 第67-69页 |
| ·Object-Z | 第69-71页 |
| ·PiOZ语言 | 第71-75页 |
| ·基于PIOZ的RIM4RSA模型形式化规约 | 第75-99页 |
| ·RIM4RSA模型的基级形式化规约 | 第75-82页 |
| ·RIM4RSA模型的元级形式化规约 | 第82-92页 |
| ·RIM4RSA模型中交互的形式化规约 | 第92-99页 |
| ·本章小结 | 第99-100页 |
| 第7章 RIM4RSA模型中因果关联关系正确性证明 | 第100-115页 |
| ·RIM4RSA的基级和元级因果关联关系正确性的定义 | 第100-101页 |
| ·证明思路与过程 | 第101-114页 |
| ·证明思路 | 第101页 |
| ·证明过程 | 第101-114页 |
| ·本章小结 | 第114-115页 |
| 第8章 案例研究 | 第115-137页 |
| ·方法实施过程 | 第115-119页 |
| ·实际案例 | 第119-136页 |
| ·已有的两个系统的体系结构 | 第119-122页 |
| ·制作反射式体系结构制品 | 第122-128页 |
| ·基于重用的目标系统体系结构的设计 | 第128-136页 |
| ·本章小结 | 第136-137页 |
| 第9章 总结与展望 | 第137-140页 |
| ·论文主要贡献 | 第137-138页 |
| ·今后工作 | 第138-140页 |
| 参考文献 | 第140-146页 |
| 附录1 攻读博士学位期间发表的文章 | 第146-147页 |
| 附录2 攻读博士学位期间参与的研究项目 | 第147-148页 |
| 致谢 | 第148页 |