基于体系结构的软件动态演化研究
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-7页 |
| 目录 | 第7-10页 |
| 图表目录 | 第10-11页 |
| 第一章 绪论 | 第11-19页 |
| ·研究背景及意义 | 第11-12页 |
| ·动态演化要解决的问题 | 第12-13页 |
| ·相关研究现状 | 第13-15页 |
| ·传统的动态演化方法 | 第13-14页 |
| ·基于体系结构的动态演化方法 | 第14-15页 |
| ·本文工作 | 第15-17页 |
| ·论文结构 | 第17-19页 |
| 第二章 软件演化和软件体系结构 | 第19-33页 |
| ·软件演化技术 | 第19-22页 |
| ·软件的演化性和构造性 | 第19-20页 |
| ·静态演化 | 第20-21页 |
| ·动态演化 | 第21-22页 |
| ·软件体系结构 | 第22-29页 |
| ·软件体系结构概念 | 第22-24页 |
| ·软件体系结构描述语言 | 第24-29页 |
| ·基于体系结构的软件演化 | 第29-31页 |
| ·小结 | 第31-33页 |
| 第三章 动态体系结构语言D-ADL | 第33-59页 |
| ·高阶多型π演算理论基础 | 第33-36页 |
| ·高阶多型π演算定义 | 第33-34页 |
| ·归约和迁移 | 第34-36页 |
| ·D-ADL语言框架 | 第36-39页 |
| ·D-ADL设计原则 | 第36-38页 |
| ·D-ADL基本概念 | 第38-39页 |
| ·D-ADL基本语法 | 第39-52页 |
| ·D-ADL的类型系统 | 第40-41页 |
| ·单一构件和单一连接件 | 第41-44页 |
| ·复合构件和复合连接件 | 第44-48页 |
| ·预设的演化行为表示及其形式化解释 | 第48-50页 |
| ·属性表示 | 第50-51页 |
| ·体系结构风格 | 第51-52页 |
| ·案例研究: C-S体系结构描述 | 第52-58页 |
| ·简单C-S体系结构 | 第52-54页 |
| ·动态服务器的C-S体系结构 | 第54-55页 |
| ·动态可变客户的C-S体系结构 | 第55-57页 |
| ·C-S体系结构风格 | 第57-58页 |
| ·小结 | 第58-59页 |
| 第四章 体系结构求精研究 | 第59-81页 |
| ·引言 | 第59-60页 |
| ·相关研究 | 第60-61页 |
| ·体系结构求精分类 | 第61-64页 |
| ·结构求精 | 第64页 |
| ·行为求精 | 第64-68页 |
| ·基本思想 | 第64-65页 |
| ·构件行为求精和观察弱模拟 | 第65-66页 |
| ·连接件行为求精和分支弱模拟 | 第66-68页 |
| ·属性求精 | 第68-70页 |
| ·案例研究:资料查阅系统的求精 | 第70-79页 |
| ·资料查阅系统的高层体系结构 | 第70-71页 |
| ·对数据求精 | 第71-72页 |
| ·对单一构件求精 | 第72-77页 |
| ·对单一连接件求精 | 第77-79页 |
| ·小结 | 第79-81页 |
| 第五章 基于体系结构空间的软件模型SASM | 第81-99页 |
| ·引言 | 第81-82页 |
| ·相关研究 | 第82-85页 |
| ·反射技术 | 第85-87页 |
| ·反射系统 | 第85-86页 |
| ·反射技术的分类 | 第86-87页 |
| ·软件模型SASM的原理、框架和机制 | 第87-93页 |
| ·基本原理 | 第87-89页 |
| ·SASM软件框架 | 第89-91页 |
| ·SASM模型中的反射机制 | 第91-92页 |
| ·SASM物理构件的开发 | 第92-93页 |
| ·SASM中的系统演化方法 | 第93-97页 |
| ·简单的系统演化 | 第93-94页 |
| ·由RSAS变更引起的动态演化 | 第94-97页 |
| ·小结 | 第97-99页 |
| 第六章 SASM支撑平台的设计和实现 | 第99-113页 |
| ·引言 | 第99-100页 |
| ·支撑平台的总体架构设计 | 第100-102页 |
| ·运行和监控关键技术 | 第102-105页 |
| ·运行信息跟踪器的机理分析 | 第102-103页 |
| ·元连接件引擎的设计 | 第103-105页 |
| ·动态演化管理 | 第105-108页 |
| ·动态演化过程中的平台支持 | 第105-106页 |
| ·运行状态维持机制 | 第106-108页 |
| ·支撑平台的一个原型实现 | 第108-111页 |
| ·原型设计说明 | 第109-110页 |
| ·对原型环境中物理构件间的通信测试 | 第110-111页 |
| ·小结 | 第111-113页 |
| 第七章 总结与展望 | 第113-117页 |
| ·论文总结和创新点 | 第113-114页 |
| ·将来研究工作 | 第114-117页 |
| 参考文献 | 第117-127页 |
| 攻读博士学位期间参与的科研项目及主要成果 | 第127-129页 |
| 致谢 | 第129-130页 |
| 独创性声明 | 第130页 |
| 学位论立版权使用授权书 | 第130页 |
