目录



第1章绪论

1.1软件演化的定义

1.2软件演化的分类

1.3软件动态演化的重要性

1.4软件体系结构动态演化的基本概念

1.5本书的组织结构

第2章基于超图文法的软件体系结构动态演化

2.1超图文法的基本概念

2.2软件体系结构的超图表示

2.3基于超图态射的软件体系结构演化规则

2.4通用原子演化规则的语义及图示化过程

2.5通用组合演化规则的语义及图示化过程

2.6软件体系结构动态演化的超图文法

2.7案例分析

2.8本章小结

第3章软件体系结构动态演化的约束和应用条件刻画

3.1软件体系结构动态演化的约束和应用条件问题

3.2软件体系结构动态演化的约束表示

3.3软件体系结构演化规则的应用条件刻画

3.4软件体系结构动态演化的条件超图文法建模

3.5案例分析

3.6基于约束和应用条件的软件体系结构动态演化一致性分析

3.7实验模拟分析

3.8本章小结

第4章软件体系结构动态演化的冲突检测

4.1软件体系结构动态演化的冲突问题

4.2软件体系结构动态动态演化的并行冲突和串行冲突

4.3演化规则运用并行冲突与串行冲突的对偶关系

4.4客户/服务器系统案例分析

4.5基于临界对的软件体系结构动态演化冲突检测

4.6实验模拟分析

4.7本章小结

第5章基于关联矩阵的软件体系结构动态演化

5.1关联矩阵的相关概念

5.2基于关联矩阵的软件体系结构动态演化

5.3基于关联矩阵的软件体系结构动态演化算法实现

5.4本章小结

第6章基于偏序矩阵的软件体系结构动态演化

6.1相关基本概念

6.2基于偏序矩阵的分层软件体系结构动态演化

6.3分层软件体系结构动态演化的算法实现

6.4本章小结

第7章基于狼群算法的软件体系结构动态演化

7.1云服务组合演化的相关基础

7.2基于狼群算法的云服务组合动态演化

7.3基于改进狼群算法的云服务组合动态演化

7.4本章小结

第8章基于信任的软件体系结构动态演化

8.1软件体系结构动态演化的可信性问题

8.2面向服务的构件直接信任演化

8.3面向服务的构件推荐信任演化

8.4本章小结

第9章软件体系结构动态演化的状态转移系统构建

9.1软件体系结构动态演化的验证需求

9.2模型检测与状态转移系统

9.3软件体系结构动态演化条件超图文法与状态转移系统的映射

9.4映射的正确性与完备性

9.5软件体系结构动态演化状态转移系统的构建

9.6本章小结

第10章软件体系结构动态演化的不变性和活性验证

10.1模型检测软件体系结构演化的基本思路

10.2软件体系结构动态演化的性质

10.3软件体系结构动态演化性质的描述逻辑

10.4软件体系结构动态演化不变性的验证

10.5软件体系结构动态演化活性的验证

10.6本章小结

第11章总结与展望

11.1总结

11.2展望

参考文献