基于OCL的产品配置引擎研究与实现
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-8页 |
| 第一章 绪论 | 第8-13页 |
| §1-1 该课题研究的背景及意义 | 第8-9页 |
| §1-2 该课题的国内外研究现状 | 第9-11页 |
| 1-2-1 产品配置的研究现状 | 第9-10页 |
| 1-2-2 UML和OCL的研究现状 | 第10-11页 |
| §1-3 课题的主要研究内容 | 第11页 |
| §1-4 论文内容安排 | 第11-13页 |
| 第二章 产品配置技术 | 第13-22页 |
| §2-1 可配置产品和产品配置 | 第13-16页 |
| 2-1-1 可配置产品 | 第13页 |
| 2-1-2 产品配置 | 第13-14页 |
| 2-1-3 产品配置的主要研究方法 | 第14-15页 |
| 2-1-4 产品配置的工作原理 | 第15-16页 |
| §2-2 产品平台与产品族 | 第16-18页 |
| 2-2-1 产品平台和产品族概念 | 第16-17页 |
| 2-2-2 产品平台与产品族的关系 | 第17页 |
| 2-2-3 产品平台的优缺点 | 第17页 |
| 2-2-4 产品平台的建立方法 | 第17-18页 |
| §2-3 产品配置模型 | 第18-21页 |
| 2-3-1 广义产品结构树 | 第18页 |
| 2-3-2 产品配置模型概述 | 第18页 |
| 2-3-3 产品配置建模原则 | 第18-19页 |
| 2-3-4 UML模型 | 第19-21页 |
| §2-4 本章总结 | 第21-22页 |
| 第三章 基于OCL的产品配置引擎研究和实现 | 第22-41页 |
| §3-1 OCL基础理论 | 第22-25页 |
| 3-1-1 OCL概述 | 第22页 |
| 3-1-2 OCL类型 | 第22-24页 |
| 3-1-3 OCL的表达式 | 第24-25页 |
| 3-1-4 OCL应用示例 | 第25页 |
| §3-2 OCL约束解析 | 第25-29页 |
| 3-2-1 OCL词法分析 | 第26-27页 |
| 3-2-2 OCL语法分析 | 第27-29页 |
| §3-3 OCL约束验证 | 第29-31页 |
| 3-3-1 OCL转化为一阶谓词的原理 | 第29-30页 |
| 3-3-2 OCL转化为一阶谓词的实现方法 | 第30-31页 |
| §3-4 OCL约束分类 | 第31-35页 |
| 3-4-1 约束的分类 | 第32页 |
| 3-4-2 约束模板展示 | 第32-35页 |
| §3-5 一致性验证 | 第35-40页 |
| 3-5-1 约束关系图 | 第35-37页 |
| 3-5-2 配置模型一致性 | 第37-38页 |
| 3-5-3 一致性检测算法 | 第38-40页 |
| §3-6 本章总结 | 第40-41页 |
| 第四章 产品配置系统的设计与实现 | 第41-52页 |
| §4-1 系统简介 | 第41页 |
| §4-2 开发环境的选择 | 第41-42页 |
| §4-3 系统功能的设计 | 第42-44页 |
| §4-4 数据库设计 | 第44-46页 |
| §4-5 产品配置系统展示 | 第46-51页 |
| §4-6 本章总结 | 第51-52页 |
| 第五章 总结与展望 | 第52-53页 |
| §5-1 工作总结 | 第52页 |
| §5-2 展望 | 第52-53页 |
| 参考文献 | 第53-56页 |
| 致谢 | 第56页 |
