在MDA中的模型转换方法研究
| 摘要 | 第1-6页 |
| Abstract | 第6-10页 |
| 第1章 绪论 | 第10-17页 |
| ·论文的背景 | 第10-12页 |
| ·当前软件开发存在的问题 | 第12-14页 |
| ·生产效率问题 | 第12-13页 |
| ·可移植性问题 | 第13-14页 |
| ·互操作问题 | 第14页 |
| ·维护与文档问题 | 第14页 |
| ·MDA 给我们带来了什么 | 第14-17页 |
| ·MDA 改变了开发过程 | 第14-15页 |
| ·MDA 改变了开发工具 | 第15页 |
| ·MDA 为新方法学提供了土壤 | 第15页 |
| ·论文的组织结构 | 第15-17页 |
| 第2章 MDA 技术研究 | 第17-35页 |
| ·MDA 基本概念 | 第17-19页 |
| ·MDA 核心技术 | 第19-27页 |
| ·元对象设施(MOF) | 第20-22页 |
| ·统一建模语言(UML) | 第22-25页 |
| ·公共仓库元模型(CWM) | 第25-26页 |
| ·XML元数据交换(XMI) | 第26-27页 |
| ·元建模在 MDA 中的作用 | 第27-28页 |
| ·元建模导引 | 第27-28页 |
| ·OMG 的四个建模层次 | 第28-33页 |
| ·M0层:实例 | 第28-29页 |
| ·M1层:系统的模型 | 第29-30页 |
| ·M2层:模型的模型 | 第30-31页 |
| ·M3层: M2的模型 | 第31-33页 |
| ·MDA的工具支持 | 第33-34页 |
| ·本章小结 | 第34-35页 |
| 第3章 MDA中的模型转换研究 | 第35-43页 |
| ·模型转换的定义 | 第35页 |
| ·转换规则的形式化表示 | 第35-38页 |
| ·模型转换方法分析 | 第38-40页 |
| ·关联方法 | 第38页 |
| ·基于图的转换方法 | 第38-39页 |
| ·结构驱动方法 | 第39-40页 |
| ·ATL 转换方法 | 第40页 |
| ·ATL 方法的优缺点 | 第40页 |
| ·OCL 转换方法 | 第40-41页 |
| ·OCL 方法的优缺点 | 第41页 |
| ·其他模型转换方法 | 第41-42页 |
| ·本章小结 | 第42-43页 |
| 第4章 ATL 与 OCL 结合方法的提出 | 第43-54页 |
| ·ATL 的数据类型和语法 | 第43-47页 |
| ·OCL 数据类型和语法 | 第47-48页 |
| ·这种方法的提出和可行性分析 | 第48-49页 |
| ·这种方法提出的原因 | 第48-49页 |
| ·这种方法的可行性分析 | 第49页 |
| ·如何实现结合 | 第49-53页 |
| ·用 OCL 对模型进行约束 | 第50-51页 |
| ·用 ATL 为模型定义转换规则 | 第51-53页 |
| ·这种方法所体现的优点 | 第53页 |
| ·本章小结 | 第53-54页 |
| 第5章 一个应用的实例 | 第54-65页 |
| ·实例概述 | 第54-55页 |
| ·用 UML 创建 PIM | 第55-57页 |
| ·OCL 在实例中的应用 | 第57-59页 |
| ·ATL 在实例中的应用 | 第59-63页 |
| ·本章小结 | 第63-65页 |
| 结论 | 第65-67页 |
| 参考文献 | 第67-70页 |
| 攻读硕士学位期间发表的论文和取得的科研成果 | 第70-71页 |
| 致谢 | 第71页 |
