文摘
英文文摘
论文说明:图表目录
声明
致谢
第1章 绪论
1.1 研究背景和意义
1.2 相关研究现状
1.3 本文主要工作
1.4 本文的组织结构
第2章 增量式软件产品线
2.1 软件产品线
2.1.1 软件复用
2.1.2 软件产品线
2.2 增量式软件产品线
2.2.1 从集成式到增量式
2.2.2 增量组合
2.3 本章小结
第3章 特征模型形式化语义与规约研究
3.1 引言
3.2 相关研究
3.3 基本概念
3.3.1 特征模型
3.3.2 Alloy语言
3.4 特征模型形式化语义
3.5 特征模型Alloy规约
3.5.1 结构句法
3.5.2 结构语义
3.5.3 产品语义
3.6 基于Alloy规约的特征模型分析与检查
3.6.1 实例
3.6.2 特征模型分析与检查
3.7 本章小结
第4章 面向特征增量的产品线分析方法
4.1 引言
4.2 相关研究
4.3 基本概念
4.3.1 特征和特征依赖
4.3.2 软件体系结构
4.4 特征增量
4.4.1 特征增量概念的提出
4.4.2 特征增量
4.5 依赖关系与组合原则
4.5.1 特征增量的依赖关系
4.5.2 特征增量的组合原则
4.6 面向特征增量的分析过程
4.7 本章小结
第5章 增量式产品线体系结构研究
5.1 引言
5.2 相关研究
5.3 增量式产品线体系结构
5.4 产品线体系结构的范畴论语义
5.4.1 范畴论
5.4.2 增量式产品线体系结构的范畴论语义
5.5 基于角色的派生方式
5.6 实例
5.7 本章小结
第6章 软件产品线工件增量式求精研究
6.1 引言
6.2 相关研究
6.3 基本思想
6.3.1 增量式的工件求精
6.3.2 产生式求精过程
6.3.3 层次可跟踪性
6.4 工件求精与工件切片
6.4.1 工件求精实例
6.4.2 工件切片
6.5 工件增量式求精模型
6.5.1 定位
6.5.2 基本求精操作
6.5.3 求精规则
6.5.4 工件元模型
6.5.5 配置模板
6.6 产生式工件求精过程
6.6.1 工件求精流程
6.6.2 工件组合与产品
6.7 本章小结
第7章 产品线协同支撑平台设计与原型
7.1 引言
7.2 产品线开发活动模型分析
7.3 CASDE支撑平台
7.3.1 关键元素
7.3.2 CASDE平台体系结构
7.4 对协同产品线开发的支持
7.4.1 协调层
7.4.2 协作层
7.4.3 共建层
7.5 产品线协同开发工具集原型设计
7.5.1 需求建模工具
7.5.2 体系结构设计工具
7.5.3 工件求精管理工具
7.5.4 产品配置管理工具
7.6 本章小结
第8章 结束语
8.1 论文工作总结
8.2 进一步研究工作
8.3 展望
参考文献
攻读博士学位期间主要的研究成果
作者简历