摘要 | 第4-5页 |
Abstract | 第5页 |
专用术语注释表 | 第8-9页 |
第一章 绪论 | 第9-18页 |
1.1 研究背景 | 第9-10页 |
1.2 研究现状 | 第10-12页 |
1.2.1 系统体系应用现状 | 第10-11页 |
1.2.2 框架方法应用现状 | 第11-12页 |
1.3 典型的体系结构框架介绍 | 第12-17页 |
1.4 研究内容和组织结构 | 第17-18页 |
第二章 系统体系概念综述 | 第18-25页 |
2.1 系统的概念 | 第18-19页 |
2.2 系统体系的概念与特性 | 第19-22页 |
2.2.1 系统体系的分类 | 第20页 |
2.2.2 系统体系的成员自治性和互操作性 | 第20-21页 |
2.2.3 系统体系的呈现行为和演化性 | 第21-22页 |
2.3 系统体系工程与系统工程 | 第22-23页 |
2.3.1 系统工程概述 | 第22页 |
2.3.2 系统体系工程概述 | 第22页 |
2.3.3 SE 与 SoSE 的区别 | 第22-23页 |
2.4 系统体系与传统系统的结构对比 | 第23-24页 |
2.5 SoS 在软件工程中的应用 | 第24页 |
2.6 本章小结 | 第24-25页 |
第三章 系统抽象与框架方法 | 第25-32页 |
3.1 系统抽象的必要性 | 第25页 |
3.2 框架方法 | 第25-27页 |
3.2.1 框架方法概念 | 第25-26页 |
3.2.2 框架方法优点 | 第26-27页 |
3.2.3 框架的分类 | 第27页 |
3.3 软件系统中的功能框架 | 第27-31页 |
3.3.1 软件系统抽象与框架 | 第27-28页 |
3.3.2 应用软件系统的功能框架 | 第28-29页 |
3.3.3 系统体系中框架的作用 | 第29-30页 |
3.3.4 框架的制定方法 | 第30-31页 |
3.4 本章小结 | 第31-32页 |
第四章 系统演化的形式化描述 | 第32-46页 |
4.1 系统演化方法 | 第32-33页 |
4.1.1 基于反射中间件的软件动态演化研究 | 第32-33页 |
4.1.2 基于软件体系结构的软件演化研究 | 第33页 |
4.2 系统演化的形式化 | 第33-34页 |
4.2.1 基于应用框架的系统演化的形式化描述 | 第33-34页 |
4.2.2 抽象代数基本理论 | 第34页 |
4.3 应用框架中服务的形式化 | 第34-38页 |
4.3.1 服务的基本运算 | 第34-36页 |
4.3.2 应用框架中服务运算的性质 | 第36-37页 |
4.3.3 运算的完整性证明 | 第37-38页 |
4.4 系统演化的形式化描述 | 第38-45页 |
4.4.1 增加服务 | 第39-41页 |
4.4.2 删除服务 | 第41-44页 |
4.4.3 修改服务运算关系 | 第44-45页 |
4.5 本章小结 | 第45-46页 |
第五章 系统演化的具体化描述 | 第46-53页 |
5.1 系统工程演化的具体化 | 第46-47页 |
5.2 系统抽象描述 | 第47-49页 |
5.3 基于框架的具体化方法 | 第49-51页 |
5.4 对系统体系的具体化 | 第51-52页 |
5.5 本章小结 | 第52-53页 |
第六章 Frameworx 系统演化的形式化与具体化应用 | 第53-66页 |
6.1 Frameworx 系统与功能框架的映射 | 第53-56页 |
6.1.1 eTOM 框架 | 第53-54页 |
6.1.2 SID 框架 | 第54-55页 |
6.1.3 TAM 框架 | 第55-56页 |
6.1.4 Frameworx 与系统功能框架 | 第56页 |
6.2 基于 Frameworx 的 CRM 演进形式化 | 第56-62页 |
6.2.1 CRM 系统 | 第56-57页 |
6.2.2 基于 Frameworx 的 CRM 应用框架 | 第57-58页 |
6.2.3 CRM 应用框架理论验证 | 第58-61页 |
6.2.4 CRM 系统演化的形式化描述 | 第61-62页 |
6.3 Frameworx 系统演化的具体化 | 第62-65页 |
6.3.1 Frameworx 生命周期 | 第62-63页 |
6.3.2 eTOM 框架具体化 | 第63-64页 |
6.3.3 SID 框架具体化 | 第64-65页 |
6.4 本章小结 | 第65-66页 |
第七章 全文总结与研究展望 | 第66-68页 |
7.1 总结 | 第66-67页 |
7.2 展望 | 第67-68页 |
参考文献 | 第68-70页 |
附录 1 攻读硕士学位期间撰写的论文 | 第70-71页 |
致谢 | 第71页 |