| 摘要 | 第5-7页 |
| Abstract | 第7-9页 |
| 目录 | 第10-13页 |
| 图表目录 | 第13-15页 |
| 主要缩略语及中英文对照 | 第15-16页 |
| 第一章 绪论 | 第16-24页 |
| 1.1. 研究背景 | 第16-17页 |
| 1.2. 课题来源 | 第17-18页 |
| 1.3. 主要研究工作 | 第18-20页 |
| 1.4. 论文内容和结构 | 第20-22页 |
| 1.5. 本章参考文献 | 第22-24页 |
| 第二章 相关研究综述 | 第24-46页 |
| 2.1. 软件产品线 | 第24-30页 |
| 2.1.1. 领域需求分析阶段 | 第26-28页 |
| 2.1.2. 领域设计阶段 | 第28-29页 |
| 2.1.3. 配置实现阶段 | 第29-30页 |
| 2.2. 模型检测技术 | 第30页 |
| 2.3. 可变性关键技术研究现状 | 第30-40页 |
| 2.3.1. 软件产品线建模和模型检测 | 第31-35页 |
| 2.3.2. 适变业务流程建模和分析技术 | 第35-37页 |
| 2.3.3. 软件产品线的配置技术 | 第37-40页 |
| 2.4. 本章小结 | 第40页 |
| 2.5. 本章参考文献 | 第40-46页 |
| 第三章 基于产品线的融合业务开发框架 | 第46-57页 |
| 3.1. 引言 | 第46-47页 |
| 3.2. 实例：电子旅游业务家族 | 第47-49页 |
| 3.3. CSDPL开发框架 | 第49-53页 |
| 3.3.1. 可变性需求建模 | 第49-51页 |
| 3.3.2. 业务流程家族的设计及检测 | 第51-52页 |
| 3.3.3. 模型映射 | 第52页 |
| 3.3.4. 适变业务流程设计 | 第52-53页 |
| 3.3.5. 融合业务家族的配置和部署阶段 | 第53页 |
| 3.4. 与其他模型的比较 | 第53-54页 |
| 3.5. 本章小结 | 第54-55页 |
| 3.6. 本章参考文献 | 第55-57页 |
| 第四章 带有时间约束的融合业务建模和模型检测方法 | 第57-78页 |
| 4.1. 引言 | 第57-58页 |
| 4.2. 可变性需求模型 | 第58-60页 |
| 4.3. 特征时间自动机建模 | 第60-64页 |
| 4.3.1. 时间自动机 | 第60-61页 |
| 4.3.2. 特征时间自动机 | 第61-64页 |
| 4.4. 基于特征时间自动机的时序逻辑 | 第64-67页 |
| 4.4.1. 计算树逻辑 | 第64-65页 |
| 4.4.2. 业务产品编码 | 第65-66页 |
| 4.4.3. 产品时间计算树逻辑pTCTL | 第66-67页 |
| 4.5. 模型检测 | 第67-70页 |
| 4.5.1. 模型检测问题 | 第68页 |
| 4.5.2. pTCTL模型检测算法 | 第68-70页 |
| 4.5.3. 算法复杂度分析 | 第70页 |
| 4.6. 仿真实验分析 | 第70-75页 |
| 4.6.1. 模型建立 | 第71-72页 |
| 4.6.2. 验证属性定义 | 第72-73页 |
| 4.6.3. 模型验证 | 第73-74页 |
| 4.6.4. 实验对比 | 第74-75页 |
| 4.7. 本章小结 | 第75页 |
| 4.8. 本章参考文献 | 第75-78页 |
| 第五章 基于MDP的适变业务的建模及模型分析 | 第78-92页 |
| 5.1. 引言 | 第78-79页 |
| 5.2. 业务流程建模 | 第79-80页 |
| 5.3. 可靠的适变业务流程建模 | 第80-85页 |
| 5.3.1. 可靠的业务流程建模 | 第81-82页 |
| 5.3.2. 业务流程的相似性度量 | 第82页 |
| 5.3.3. 数据相容性 | 第82-84页 |
| 5.3.4. 适变业务流程 | 第84-85页 |
| 5.4. 基于PCTL的模型属性描述 | 第85-87页 |
| 5.4.1. 扩展的概率计算树逻辑 | 第85-86页 |
| 5.4.2. 验证性质 | 第86-87页 |
| 5.5. 仿真实验分析 | 第87-89页 |
| 5.5.1. 适变业务流程的分析验证 | 第87-89页 |
| 5.5.2. 仿真对比实验 | 第89页 |
| 5.6. 本章小结 | 第89-91页 |
| 5.7. 本章参考文献 | 第91-92页 |
| 第六章 模糊偏好度量的融合业务配置方法 | 第92-115页 |
| 6.1. 引言 | 第92-93页 |
| 6.2. 基于产品线的融合业务配置框架 | 第93-97页 |
| 6.2.1. 质量需求定义 | 第94-96页 |
| 6.2.2. 产品配置问题描述 | 第96-97页 |
| 6.3. 基于模糊综合评判的偏好度量方法 | 第97-100页 |
| 6.4. 基于改进的二进制粒子群算法的产品配置方法 | 第100-107页 |
| 6.4.1. 粒子群算法原理 | 第100-102页 |
| 6.4.2. 改进的二进制粒子群算法 | 第102-107页 |
| 6.5. 仿真实验与分析 | 第107-112页 |
| 6.5.1. 实验建立 | 第107-108页 |
| 6.5.2. iBPSO优化策略与合理性的仿真分析 | 第108-110页 |
| 6.5.3. 基于iBPSO的产品配置算法仿真分析 | 第110-112页 |
| 6.6. 本章小结 | 第112-113页 |
| 6.7. 本章参考文献 | 第113-115页 |
| 第七章 结束语 | 第115-118页 |
| 7.1. 论文总结 | 第115-117页 |
| 7.2. 进一步工作 | 第117-118页 |
| 致谢 | 第118-120页 |
| 攻读博士学位期间发表的论文 | 第120-121页 |
| 博士在读期间完成和参与的项目 | 第121页 |
