| 摘要 | 第1-4页 |
| Abstract | 第4-5页 |
| 目录 | 第5-7页 |
| 第一章 前言 | 第7-10页 |
| 1．1 研究背景 | 第7页 |
| 1．2 研究现状 | 第7-8页 |
| 1．3 存在问题与解决思路 | 第8-9页 |
| 1．4 本文的主要工作 | 第9页 |
| 1．5 本文的结构 | 第9-10页 |
| 第二章 反射概念及其应用 | 第10-23页 |
| 2．1 基本概念 | 第10-12页 |
| 2．1．1 反射定义 | 第10页 |
| 2．1．2 反射系统和因果相连 | 第10-11页 |
| 2．1．3 MOP(Meta-Objeet Protoeol)和具体化(reification．) | 第11-12页 |
| 2．2 反射特点 | 第12-13页 |
| 2．3 反射分类 | 第13-16页 |
| 2．3．1 根据反射方面的不同 | 第13页 |
| 2．3．2 根据反射进行控制的关联时机 | 第13-14页 |
| 2．3．2 根据反射实现策略和粒度 | 第14-16页 |
| 2．4 反射应用 | 第16-22页 |
| 2．4．1 编程语言 | 第16-19页 |
| 2．4．1．1 Lisp | 第16-17页 |
| 2．4．1．2 3-KRS | 第17-18页 |
| 2．4．1．3 Java | 第18-19页 |
| 2．4．2 中间件 | 第19-22页 |
| 2．4．2 ．1 OpenCorba | 第19-20页 |
| 2．4．2．2 OpenORB | 第20页 |
| 2．4．2．3 DymanticTAO | 第20-21页 |
| 2．4．2．4 RECOM | 第21页 |
| 2．4．2．5 PKUAS | 第21-22页 |
| 2．5 小结 | 第22-23页 |
| 第三章 基于代数语义的反射系统 | 第23-34页 |
| 3．1 代数语义简介 | 第23-25页 |
| 3．2 范畴论简介 | 第25-26页 |
| 3．3 基于代数语义的反射系统 | 第26-31页 |
| 3．3．1 推演系统 | 第27-28页 |
| 3．3．2 泛理论和反射的推演系统 | 第28页 |
| 3．3．3 基于代数语义的抽象的反射系统 | 第28-31页 |
| 3．4 泛理论在对象式系统中的解释 | 第31-33页 |
| 3．4．1 对象式系统简介 | 第31-32页 |
| 3．4．2 泛理论的解释 | 第32-33页 |
| 3．5 小结 | 第33-34页 |
| 第四章 对象式系统的反射机制 | 第34-54页 |
| 4．1 对象式反射系统原理 | 第34-35页 |
| 4．1．1 基本思想 | 第34页 |
| 4．1．2 泛理论和元层的关系 | 第34-35页 |
| 4．2 Maude语言 | 第35-37页 |
| 4．2．1 简介 | 第35-36页 |
| 4．2．2 面向对象的特性 | 第36-37页 |
| 4．3 一种对象式反射系统模型(CAERM) | 第37-44页 |
| 4．3．1 系统的组成 | 第38-40页 |
| 4．3．2 描述过程 | 第40-42页 |
| 4．3．3 CAERM模型分析 | 第42-44页 |
| 4．3．3．1 CAERM的因果相连机制分析 | 第42-43页 |
| 4．3．3．2 CAERM的策略重配置分析 | 第43页 |
| 4．3．3．3 CAERM的功能和语义一致性分析 | 第43-44页 |
| 4．3．3．4 CAERM的三个重要特征 | 第44页 |
| 4．4 应用实例 | 第44-52页 |
| 4．4．1 应用背景和分析 | 第44-47页 |
| 4．4．2 反射过程描述 | 第47-50页 |
| 4．4．3 反射过程的正确性分析 | 第50-52页 |
| 4．4．3．1 功能正确性分析 | 第50-51页 |
| 4．4．3．1 语义一致性分析 | 第51-52页 |
| 4．5 和其它模型的比较 | 第52-53页 |
| 4．6 小结 | 第53-54页 |
| 第五章 总结和展望 | 第54-56页 |
| 5．1 本文工作的总结 | 第54页 |
| 5．2 进一步可研究的工作 | 第54-56页 |
| 参考文献 | 第56-59页 |
| 致谢 | 第59页 |