| 摘要 | 第1-13页 |
| ABSTRACT | 第13-16页 |
| 第一章 绪论 | 第16-32页 |
| ·研究背景 | 第16-24页 |
| ·构件技术及其面临的问题 | 第17-18页 |
| ·软件体系结构技术及其面临的问题 | 第18-23页 |
| ·解决问题的突破口:构件模型和面向构件语言 | 第23-24页 |
| ·关注的问题 | 第24-26页 |
| ·本文的工作与创新点 | 第26-30页 |
| ·论文结构 | 第30-32页 |
| 第二章 相关技术和相关研究工作 | 第32-54页 |
| ·构件模型 | 第32-39页 |
| ·根据构件接口的分类 | 第33-35页 |
| ·根据构件组合方法的分类 | 第35-38页 |
| ·关于构件模型的讨论 | 第38-39页 |
| ·面向构件语言 | 第39-41页 |
| ·构件组合语言 | 第41-42页 |
| ·体系结构描述语言 | 第42-44页 |
| ·体系结构设计模型到实现的映射 | 第44-48页 |
| ·模型转换和代码生成技术 | 第45页 |
| ·构件组装技术 | 第45-47页 |
| ·在体系结构模型中引入实现阶段的概念 | 第47页 |
| ·在程序设计语言中引入体系结构的核心概念 | 第47页 |
| ·各种方法的优缺点 | 第47-48页 |
| ·协调模型和协调语言 | 第48-52页 |
| ·控制驱动协调 | 第48-50页 |
| ·数据驱动协调 | 第50-51页 |
| ·两种协调模型的比较 | 第51页 |
| ·协调技术与软件体系结构 | 第51-52页 |
| ·小结 | 第52-54页 |
| 第三章 基于软件体系结构的构件模型SACM | 第54-74页 |
| ·现有构件模型的不足 | 第54-56页 |
| ·基于软件体系结构的构件模型SACM | 第56-70页 |
| ·构件 | 第56-57页 |
| ·构件之间的关系 | 第57-58页 |
| ·连接子的引入及其作用 | 第58-60页 |
| ·使用连接子描述构件之间关系 | 第60-64页 |
| ·基于连接子的构件组合方法 | 第64-70页 |
| ·相关工作比较 | 第70-71页 |
| ·小结 | 第71-74页 |
| 第四章 一门新的面向构件语言SAJ | 第74-96页 |
| ·SAJ语言设计的目的 | 第74-77页 |
| ·更好地支持面向构件软件开发 | 第74-76页 |
| ·实现从体系结构设计模型到底层代码的映射 | 第76-77页 |
| ·SAJ语言对面向构件软件开发提供的支持 | 第77-83页 |
| ·对构件封装性的支持 | 第77-78页 |
| ·对构件组合的支持 | 第78-79页 |
| ·对面向构件(对象)设计原则的支持 | 第79-80页 |
| ·对设计模式的支持 | 第80页 |
| ·对连接子复用的支持 | 第80-83页 |
| ·实现从体系结构设计模型到底层代码映射的方法 | 第83-85页 |
| ·使用SAJ语言实现从详细设计模型到底层代码的映射 | 第85-90页 |
| ·接口的映射 | 第85-86页 |
| ·构件的映射 | 第86-87页 |
| ·连接子的映射 | 第87-89页 |
| ·复合构件的映射 | 第89-90页 |
| ·SAJ语言的实现 | 第90-92页 |
| ·相关工作比较 | 第92-95页 |
| ·面向构件语言相关工作比较 | 第92-94页 |
| ·实现从体系结构设计模型到底层代码映射的相关工作比较 | 第94-95页 |
| ·小结 | 第95-96页 |
| 第五章 SAJ语言的语法、语义和类型系统 | 第96-134页 |
| ·SAJ语言的语法和语义 | 第96-103页 |
| ·SAJ的语法 | 第96-98页 |
| ·SAJ的语义 | 第98-103页 |
| ·SAJ语言的类型系统 | 第103-112页 |
| ·类型系统简介 | 第103-104页 |
| ·SAJ类型系统中的子类型规则 | 第104-105页 |
| ·表达式和语句的类型推导规则 | 第105-107页 |
| ·构件类、连接子类和程序良构规则 | 第107-110页 |
| ·程序运行时刻实例、存储区和程序格局良构规则 | 第110-112页 |
| ·SAJ类型系统安全性的证明 | 第112-133页 |
| ·实例存储区σ在扩展后良构性保持不变的证明 | 第113-118页 |
| ·实例存储区σ在更新后良构性保持不变的证明 | 第118-120页 |
| ·存储区λ和ρ在存储区σ更新扩展后良构性保持不变的证明 | 第120-121页 |
| ·类型环境弱化引理和上下文替换引理的证明 | 第121-124页 |
| ·保持定理、进展定理以及类型安全性的证明 | 第124-133页 |
| ·小结 | 第133-134页 |
| 第六章 丰富构件接口信息 | 第134-142页 |
| ·显式描述请求服务和提供服务之间的关系 | 第134-138页 |
| ·显式描述请求服务和提供服务之间的关系 | 第135-136页 |
| ·在构件组合中的应用 | 第136-137页 |
| ·在构件可替换性判断中的应用 | 第137-138页 |
| ·在行为协议中描述服务的参数值 | 第138-140页 |
| ·在行为协议中描述参数值 | 第139页 |
| ·在构件组合中的应用 | 第139-140页 |
| ·相关工作比较 | 第140-141页 |
| ·小结 | 第141-142页 |
| 第七章 结束语 | 第142-148页 |
| ·本文的工作和创新点 | 第142-145页 |
| ·下一步的工作 | 第145-148页 |
| 致谢 | 第148-152页 |
| 参考文献 | 第152-164页 |
| 作者在学期间取得的学术成果 | 第164-166页 |
| 附录A SAJ语言部分表达式和语句的语义 | 第166-167页 |
| 附录B SAJ语言部分表达式和语句的类型推导规则 | 第167页 |
