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

内 容 提 要

本书共分为11章，主要内容包括绪论、相关研究综述、面向动态演化的需求建模、面向动态演化需求模型的规范化、面向动态演化的体系结构建模、从需求模型到体系结构模型的变换、面向动态演化的行为管程、面向动态演化的构件之间相关性分析、动态演化实施的一致性保持、案例研究、结语。

本书可供高等院校软件工程、计算机科学与技术、系统科学、管理科学与工程等专业的师生阅读，也可供相关科研人员、工程技术人员参考。

目录

第一章绪论

第一节研究背景

一、新形势下的软件自动化

二、软件发展构件化

三、软件演化动态化

第二节研究动因

一、动态演化面临的“挑战”

二、现有的典型研究成果的应对方法与不足

第三节拟提出的应对之道

一、以需求模型为驱动

二、以体系结构模型为视图

三、以行为管程为支撑

四、以解决动态演化面临的挑战为导向

五、以具有严格数学基础的形式化方法为基石

第四节研究意义和创新点

一、理论意义

二、实际意义

三、创新点

第五节全书组织结构及其内部关系

一、组织结构

二、各章之间的关系

第二章相关研究综述

第一节软件演化综述

一、软件演化的概念

二、软件演化的分类

三、静态演化

四、动态演化

第二节软件需求建模综述

一、需求建模概述

二、面向特征的需求建模方法

第三节软件体系结构综述

一、体系结构的概念

二、非形式化的体系结构建模

三、形式化的体系结构建模

第四节进程代数

第五节Petri网

第六节综述小结

第三章面向动态演化的需求建模

第一节面向动态演化需求建模的思路与框架

一、面向动态演化的需求元模型的设计思路

二、面向动态演化的需求元模型的框架

第二节面向动态演化的行为特征建模

一、计算行为特征

二、交互行为特征

三、行为特征

四、行为特征元模型的操作语义

第三节从面向动态演化的属性特征建模

一、属性特征

二、面向动态演化建模的一个重要属性特征

第四节面向动态演化的需求模型

一、需求元模型对需求建模要求的支持

二、需求模型小结

第四章面向动态演化需求模型的规范化

第一节行为特征模型的规范化

一、行为特征规范化的要求

二、行为特征的规范形

三、行为特征元模型的公理系统

四、行为特征可规范化的完备性定理

第二节属性特征模型的规范化

一、属性特征模型规范化的要求

二、需求模型的参照完整性

三、需求模型的依赖一致性

四、需求模型的互斥一致性

五、属性特征模型范式

六、小结

第五章面向动态演化的体系结构建模

第一节面向动态演化体系结构建模的思路与框架

一、面向动态演化的体系结构元模型的设计思路

二、面向动态演化的体系结构元模型的框架

第二节静态视图建模

一、构件Petri网结构

二、构件

三、连接件

第三节动态视图建模

一、动态构件系统

二、动态体系结构

第四节动态演化建模

一、构件的结构演化

二、连接件的添加、删除

三、构件的替换、添加和删除

四、体系结构元模型对建模要求的支持

五、小结

第六章从需求模型到体系结构模型的变换

第一节基本变换

一、原子计算行为特征的变换

二、主动特征和被动特征的变换

第二节组合和复合的变换

一、顺序组合的变换

二、选择组合的变换

三、迭代组合的变换

四、并行复合的变换

第三节变换中的抽象与细化

一、抽象

二、细化

第四节变换得到的体系结构模型的结构性质要求

一、构件的结构性质要求

二、体系结构的结构性质要求

三、小结

第七章面向动态演化的行为管程

第一节行为管程概述

一、行为管程的概念

二、行为管程在动态演化实施中所处的位置

第二节行为管程的管理职能

一、行为管程的托肯管理

二、行为管程的库所管理

三、行为管程的变迁管理

第三节行为管程的监控职能

一、行为管程的监视职能

二、行为管程的控制职能

第四节行为管程的演化职能

一、驱动构件进入静止管理态

二、驱动构件进入活动管理态

三、连接件添加操作

四、连接件删除操作

五、构件添加操作

六、构件删除操作

七、小结

第八章面向动态演化的构件之间相关性分析

第一节相关性分析分类

第二节构件之间的结构相关性分析

一、基本结构相关性

二、复合结构相关性

第三节构件之间的行为关系及其相关性分析

一、结构相关性对行为相关性的作用

二、行为相关性的部分传递性处理

三、构件行为相关性分析

四、小结

第九章动态演化实施的一致性保持

第一节一致性的定义

第二节构件状态迁移

一、构件的状态保存

二、基于库所映射方案的托肯更新

三、构件的状态恢复

第三节构件的行为空间和行为图

一、构件的行为空间

二、构件的行为图

第四节一致性保持

一、构件的内部一致性保持

二、构件的外部一致性保持

三、小结

第十章案例研究

第一节面向动态演化的需求建模

一、行为特征建模

二、属性特征建模

三、需求模型及其规范化

第二节面向动态演化的体系结构建模

一、体系结构建模

二、构件建模

第三节动态演化实施分析

一、相关性分析

二、一致性保持

三、小结

第十一章结语

一、主要研究总结

二、未来展望

参考文献