| 摘要 | 第4-5页 |
| Abstract | 第5-6页 |
| 第一章 绪论 | 第9-15页 |
| 1.1 MDA的特点及研究意义 | 第9-11页 |
| 1.2 MDA的研究现状 | 第11-13页 |
| 1.2.1 建模技术 | 第11-12页 |
| 1.2.2 模型转换 | 第12-13页 |
| 1.3 论文的主要内容和结构 | 第13-15页 |
| 第二章 MDA构架体系 | 第15-29页 |
| 2.1 MDA体系结构 | 第15-19页 |
| 2.1.1 MDA模型概念 | 第15-16页 |
| 2.1.2 MDA开发思想 | 第16-19页 |
| 2.2 MDA核心标准规范 | 第19-29页 |
| 2.2.1 统一建模语言UML | 第19-22页 |
| 2.2.2 公共仓库元模型CWM | 第22-23页 |
| 2.2.3 元对象设施MOF | 第23-25页 |
| 2.2.4 XML元数据交换XMI | 第25-26页 |
| 2.2.5 对象约束语言OCL | 第26-27页 |
| 2.2.6 查询/视图/转换QVT | 第27-29页 |
| 第三章 MDA模型转换 | 第29-37页 |
| 3.1 MDA模型转换方法 | 第29-36页 |
| 3.1.1 PIM到PSM的转换途径 | 第29-33页 |
| 3.1.2 模型转换的程度和方法 | 第33-35页 |
| 3.1.3 模型到代码的转换方法 | 第35页 |
| 3.1.4 模型双向转换 | 第35-36页 |
| 3.2 MDA模型转换场景 | 第36-37页 |
| 3.2.1 横向集成 | 第36页 |
| 3.2.2 纵向转换 | 第36页 |
| 3.2.3 集成已有的转换 | 第36-37页 |
| 第四章 基于QVT-Relations的模型转换 | 第37-48页 |
| 4.1 Eclipse与MDA | 第37-38页 |
| 4.1.1 EMF框架 | 第37页 |
| 4.1.2 mediniQVT工具 | 第37-38页 |
| 4.2 基于MOF建模 | 第38-43页 |
| 4.2.1 建立M2层元模型 | 第38-41页 |
| 4.2.2 建立M1层模型 | 第41-42页 |
| 4.2.3 建立实验模型 | 第42-43页 |
| 4.3 平台无关元模型和平台相关元模型 | 第43-45页 |
| 4.4 转换规则定义 | 第45-46页 |
| 4.5 PIM模型存储 | 第46-48页 |
| 第五章 自动转换及变化传播控制的实现 | 第48-56页 |
| 5.1 控制变化传播 | 第48-52页 |
| 5.1.1 QVT-Relations中的变化传播 | 第48-50页 |
| 5.1.2 xdiff控制变化传播 | 第50-52页 |
| 5.2 基于mediniQVT实现自动转换及变化传播控制 | 第52-54页 |
| 5.3 实验验证 | 第54-56页 |
| 总结与展望 | 第56-58页 |
| 参考文献 | 第58-62页 |
| 攻读硕士学位期间取得的学术成果 | 第62-63页 |
| 致谢 | 第63页 |