面向对象—构件的软件动态演化技术研究
| 摘要 | 第1-7页 |
| Abstract | 第7-13页 |
| 插图索引 | 第13-15页 |
| 附表索引 | 第15-16页 |
| 第1章 绪论 | 第16-22页 |
| ·课题来源 | 第16页 |
| ·研究目的与意义 | 第16-17页 |
| ·研究内容 | 第17-19页 |
| ·本文的主要工作 | 第19-20页 |
| ·本文结构 | 第20-22页 |
| 第2章 研究基础与现状 | 第22-37页 |
| ·动态演化软件概念及其特征 | 第22-24页 |
| ·动态演化软件的研究现状 | 第24-31页 |
| ·语言机制 | 第24-25页 |
| ·体系结构层面 | 第25-26页 |
| ·框架与模型 | 第26-27页 |
| ·典型项目 | 第27-31页 |
| ·动态演化软件分类与比较 | 第31-34页 |
| ·现有动态演化研究中的主要问题 | 第34-35页 |
| ·动态演化形式化研究中的主要问题 | 第34-35页 |
| ·演化框架研究中存在的主要问题 | 第35页 |
| ·演化机制研究中存在的主要问题 | 第35页 |
| ·小结 | 第35-37页 |
| 第3章 基于BIGRAPH的动态演化软件建模 | 第37-53页 |
| ·动态演化软件的建模 | 第37-41页 |
| ·通讯顺序进程(CSP) | 第37-38页 |
| ·通信系统演算(CCS) | 第38-39页 |
| ·π演算 | 第39-40页 |
| ·Petri网 | 第40页 |
| ·动态演化建模工具的主要问题 | 第40-41页 |
| ·BIGRAPH概述 | 第41-45页 |
| ·面向位置与连接子图的设计 | 第42-43页 |
| ·面向Bigraph反映系统的设计 | 第43-44页 |
| ·完善的公理系统 | 第44-45页 |
| ·基于BIGRAPH的动态演化软件建模 | 第45-48页 |
| ·基于Bigraph的构件模型 | 第45-46页 |
| ·基于Bigraph的交互语义 | 第46-47页 |
| ·基于Bigraph的反映规则 | 第47-48页 |
| ·动态演化系统中特性的验证 | 第48-49页 |
| ·演化的完整性 | 第48页 |
| ·演化的一致性 | 第48-49页 |
| ·建模实例 | 第49-51页 |
| ·小结 | 第51-53页 |
| 第4章 动态演化软件的演化机制研究 | 第53-76页 |
| ·引言 | 第53-54页 |
| ·基于设计模式的演化机制 | 第54-62页 |
| ·设计模式 | 第54-55页 |
| ·FOEM在线演化机制 | 第55-56页 |
| ·FOEM具体实现 | 第56-58页 |
| ·FOEM的演化示例 | 第58-59页 |
| ·相关比较分析及性能测试 | 第59-62页 |
| ·基于服务对象的演化机制 | 第62-75页 |
| ·SOA范型 | 第62-63页 |
| ·面向服务对象的在线演化机制 | 第63-65页 |
| ·面向服务对象演化机制的原理 | 第65-68页 |
| ·面向服务对象演化机制的设计 | 第68-71页 |
| ·面向服务对象演化的示例 | 第71-72页 |
| ·面向服务对象演化机制的分析及性能测试 | 第72-75页 |
| ·小结 | 第75-76页 |
| 第5章 基于对象替换的动态演化框架 | 第76-87页 |
| ·引言 | 第76-77页 |
| ·关键技术 | 第77-80页 |
| ·面向对象内存模型 | 第77-78页 |
| ·演化类封装机制 | 第78页 |
| ·对象锁定机制 | 第78-79页 |
| ·动态对象替换机制 | 第79-80页 |
| ·框架结构及其处理流程 | 第80-82页 |
| ·框架结构 | 第81页 |
| ·处理流程 | 第81-82页 |
| ·框架的具体实现 | 第82-84页 |
| ·演化对象的父类 | 第82-83页 |
| ·对象实例管理器 | 第83-84页 |
| ·相关比较分析与实验 | 第84-86页 |
| ·相关分析比较 | 第84-85页 |
| ·实验分析 | 第85-86页 |
| ·小结 | 第86-87页 |
| 第6章 软件动态构造和演化的非功能性特性研究 | 第87-106页 |
| ·引言 | 第87-88页 |
| ·相关研究 | 第88-90页 |
| ·动态演化中构件构造和演化的性能研究 | 第90-97页 |
| ·问题描述 | 第90-92页 |
| ·基于体系结构模型的组件分派模型 | 第92-94页 |
| ·基于分派模型的组件分派算法 | 第94-95页 |
| ·实验分析 | 第95-97页 |
| ·动态演化中构件构造和演化的可信研究 | 第97-105页 |
| ·基于体系结构组件可靠性分派问题 | 第98-100页 |
| ·基于体系结构的分层可靠性模型 | 第100-102页 |
| ·基于可靠性模型的组件分派算法 | 第102-103页 |
| ·实验分析 | 第103-105页 |
| ·小结 | 第105-106页 |
| 第7章 总结与展望 | 第106-109页 |
| ·本文的主要工作和贡献 | 第106-107页 |
| ·未来工作展望 | 第107-109页 |
| 参考文献 | 第109-121页 |
| 致谢 | 第121-122页 |
| 附录A 攻博期间取得的成果和发表的论文 | 第122-123页 |
| 附录B 攻读学位期间参加的科研课题 | 第123页 |
