转换规则建模与规则代码生成的研究
摘要 | 第1-4页 |
ABSTRACT | 第4-9页 |
1 绪论 | 第9-15页 |
·本课题研究的背景 | 第9-11页 |
·模型驱动架构与模型驱动软件开发 | 第9-10页 |
·高阶模型转换 | 第10-11页 |
·国内外研究与发展的现状 | 第11-13页 |
·MDA 的发展及模型驱动软件开发的现状 | 第11-12页 |
·基于 MDA 的高阶模型转换研究现状 | 第12-13页 |
·本论文选题的意义及内容 | 第13-14页 |
·本论文的组织结构 | 第14-15页 |
2 MDA 相关理论及技术 | 第15-27页 |
·模型与模型组织的形式化定义 | 第15-16页 |
·MDA 的体系结构 | 第16-17页 |
·MDA 的框架 | 第16-17页 |
·MDA 的核心标准 | 第17-20页 |
·UML | 第17-18页 |
·MOF | 第18-19页 |
·XMI | 第19-20页 |
·CWM | 第20页 |
·CIM/PIM/PSM 的模型分类 | 第20-22页 |
·MDA 的模型转换 | 第22-23页 |
·模型转换的定义 | 第22页 |
·模型转换分类 | 第22-23页 |
·MDA 的元模型与元建模技术 | 第23-25页 |
·元模型定义 | 第23-24页 |
·元建模方法 | 第24-25页 |
·本章小结 | 第25-27页 |
3 转换规则建模与规则代码生成流程 | 第27-39页 |
·MDA 的开发过程与框架 | 第27-29页 |
·MDA 生命周期 | 第27-28页 |
·MDA 开发基本流程 | 第28-29页 |
·MDA 模型转换框架和相关工具 | 第29-31页 |
·MDA 模型转换框架 | 第29-30页 |
·MDA 开发工具的分析 | 第30-31页 |
·模型转换过程的不足与改进方法 | 第31-36页 |
·目前存在的不足 | 第31-33页 |
·解决方案的设计与流程 | 第33-35页 |
·为模型转换规则建模的优点 | 第35-36页 |
·实现技术与工具 | 第36-38页 |
·基于 EMF 的 MDA 开发框架 | 第36-38页 |
·本章小结 | 第38-39页 |
4 转换规则模型和 ATL 模型的元建模 | 第39-57页 |
·Ecore 元模型分解与 XMI 提取 | 第39-43页 |
·EMF 框架及 Ecore 元模型分解 | 第39-41页 |
·Ecore 元模型 XMI 的格式分析与提取 | 第41-43页 |
·转换规则元模型设计与实现 | 第43-49页 |
·转换规则元模型的需求分析 | 第43-44页 |
·转换规则元模型的分析与设计 | 第44-48页 |
·在 EMF 框架下对转换规则元模型的实现 | 第48-49页 |
·转换规则模型的建模实例 | 第49-51页 |
·用例描述 | 第49-50页 |
·用例实现及转换规则建模 | 第50-51页 |
·ATL 元模型的设计与实现 | 第51-56页 |
·KM3 元模型分析 | 第51-53页 |
·ATL 元模型的分析与设计 | 第53-56页 |
·本章小结 | 第56-57页 |
5 模型转换和规则代码生成 | 第57-77页 |
·转换规则元模型到 ATL 元模型转换的框架 | 第57-59页 |
·模型转换框架 | 第57-58页 |
·ATL 转换规则介绍 | 第58-59页 |
·基于元模型的转换规则设计 | 第59-61页 |
·基于元模型的模型转换流程 | 第59-61页 |
·转换规则元模型到 ATL 元模型的转换规则定义 | 第61-66页 |
·Module 头格式的转换 | 第61-62页 |
·Helper 的转换 | 第62-64页 |
·Rule 的转换 | 第64-66页 |
·模型转换实例分析 | 第66-70页 |
·转换规则模型建模工具的实现 | 第66-70页 |
·ATL 模型到代码的转换 | 第70-75页 |
·PSM 到代码工具及框架 | 第70-71页 |
·基于 EMF 的 Acceleo 工具及语法 | 第71-72页 |
·ATL 代码的模板 | 第72-75页 |
·本章小结 | 第75-77页 |
6 总结与展望 | 第77-79页 |
·本文研究工作总结 | 第77-78页 |
·后续工作展望 | 第78-79页 |
致谢 | 第79-81页 |
参考文献 | 第81-85页 |
附录 | 第85页 |
作者在攻读硕士学位期间发表的论文目录 | 第85页 |