模型驱动的软件动态演化过程与方法

第一章 绪论
第一节 研究背景
一、新形势下的软件自动化
二、软件发展构件化
三、软件演化动态化
第二节 研究动因
一、动态演化面临的“挑战”
二、现有的典型研究成果的应对方法与不足
第三节 拟提出的应对之道
一、以需求模型为驱动
二、以体系结构模型为视图
三、以行为管程为支撑
四、以解决动态演化面临的挑战为导向
五、以具有严格数学基础的形式化方法为基石
第四节 研究意义和创新点
一、理论意义
二、实际意义
三、创新点
第五节 全书组织结构及其内部关系
一、组织结构
二、各章之间的关系
第二章 相关研究综述
第一节 软件演化综述
一、软件演化的概念
二、软件演化的分类
三、静态演化
四、动态演化
第二节 软件需求建模综述
一、需求建模概述
二、面向特征的需求建模方法
第三节 软件体系结构综述
一、体系结构的概念
二、非形式化的体系结构建模
三、形式化的体系结构建模
第四节 进程代数
第五节 Petri网
第六节 综述小结
第三章 面向动态演化的需求建模
第一节 面向动态演化需求建模的思路与框架
一、面向动态演化的需求元模型的设计思路
二、面向动态演化的需求元模型的框架
第二节 面向动态演化的行为特征建模
一、计算行为特征
二、交互行为特征
三、行为特征
四、行为特征元模型的操作语义
第三节 从面向动态演化的属性特征建模
一、属性特征
二、面向动态演化建模的一个重要属性特征
第四节 面向动态演化的需求模型
一、需求元模型对需求建模要求的支持
二、需求模型小结
第四章 面向动态演化需求模型的规范化
第一节 行为特征模型的规范化
一、行为特征规范化的要求
二、行为特征的规范形
三、行为特征元模型的公理系统
四、行为特征可规范化的完备性定理
第二节 属性特征模型的规范化
一、属性特征模型规范化的要求
二、需求模型的参照完整性
三、需求模型的依赖一致性
四、需求模型的互斥一致性
五、属性特征模型范式
六、小结
第五章 面向动态演化的体系结构建模
第一节 面向动态演化体系结构建模的思路与框架
一、面向动态演化的体系结构元模型的设计思路
二、面向动态演化的体系结构元模型的框架
第二节 静态视图建模
一、构件Petri网结构
二、构件
三、连接件
第三节 动态视图建模
一、动态构件系统
二、动态体系结构
第四节 动态演化建模
一、构件的结构演化
二、连接件的添加、删除
三、构件的替换、添加和删除
四、体系结构元模型对建模要求的支持
五、小结
第六章 从需求模型到体系结构模型的变换
第一节 基本变换
一、原子计算行为特征的变换
二、主动特征和被动特征的变换
第二节 组合和复合的变换
一、顺序组合的变换
二、选择组合的变换
三、迭代组合的变换
四、并行复合的变换
第三节 变换中的抽象与细化
一、抽象
二、细化
第四节 变换得到的体系结构模型的结构性质要求
一、构件的结构性质要求
二、体系结构的结构性质要求
三、小结
第七章 面向动态演化的行为管程
第一节 行为管程概述
一、行为管程的概念
二、行为管程在动态演化实施中所处的位置
第二节 行为管程的管理职能
一、行为管程的托肯管理
二、行为管程的库所管理
三、行为管程的变迁管理
第三节 行为管程的监控职能
一、行为管程的监视职能
二、行为管程的控制职能
第四节 行为管程的演化职能
一、驱动构件进入静止管理态
二、驱动构件进入活动管理态
三、连接件添加操作
四、连接件删除操作
五、构件添加操作
六、构件删除操作
七、小结
第八章 面向动态演化的构件之间相关性分析
第一节 相关性分析分类
第二节 构件之间的结构相关性分析
一、基本结构相关性
二、复合结构相关性
第三节 构件之间的行为关系及其相关性分析
一、结构相关性对行为相关性的作用
二、行为相关性的部分传递性处理
三、构件行为相关性分析
四、小结
第九章 动态演化实施的一致性保持
第一节 一致性的定义
第二节 构件状态迁移
一、构件的状态保存
二、基于库所映射方案的托肯更新
三、构件的状态恢复
第三节 构件的行为空间和行为图
一、构件的行为空间
二、构件的行为图
第四节 一致性保持
一、构件的内部一致性保持
二、构件的外部一致性保持
三、小结
第十章 案例研究
第一节 面向动态演化的需求建模
一、行为特征建模