| 摘要 | 第1-6页 |
| Abstract | 第6-9页 |
| 第1章 绪论 | 第9-13页 |
| ·课题来源 | 第9页 |
| ·研究背景及意义 | 第9-10页 |
| ·模型驱动架构 | 第9页 |
| ·对象约束语言与MDA | 第9-10页 |
| ·国内外的研究现状 | 第10页 |
| ·课题的研究内容 | 第10-11页 |
| ·论文的组织结构 | 第11-13页 |
| 第2章 MDA与模型转换的研究 | 第13-25页 |
| ·模型驱动架构 | 第13-15页 |
| ·MDA框架 | 第13-14页 |
| ·模型成熟度 | 第14页 |
| ·MDA研究现状 | 第14-15页 |
| ·模型转换方法 | 第15-20页 |
| ·模型转换的概念 | 第15-16页 |
| ·模型转换的层次 | 第16-17页 |
| ·模型转换框架 | 第17-18页 |
| ·模型转换方法分类 | 第18-20页 |
| ·模型转换语言 | 第20-23页 |
| ·模型转换语言的期望特性 | 第20-21页 |
| ·现有的模型转换语言 | 第21-23页 |
| ·现阶段模型转换中存在的问题 | 第23-25页 |
| 第3章 对象约束语言及其在MDA中的应用 | 第25-34页 |
| ·对象约束语言OCL | 第25-28页 |
| ·OCL的特性 | 第25-26页 |
| ·OCL的元模型 | 第26-27页 |
| ·OCL的支持工具 | 第27-28页 |
| ·OCL在MDA框架中的应用 | 第28-32页 |
| ·用OCL描述模型约束 | 第28-29页 |
| ·OCL用于模型查询 | 第29-30页 |
| ·用OCL定义模型转换规则 | 第30页 |
| ·OCL定义建模语言 | 第30-32页 |
| ·OCL存在的问题 | 第32-34页 |
| 第4章 基于扩展OCL的模型转换 | 第34-51页 |
| ·基于OCL的模型转换语言概述 | 第34-35页 |
| ·OCL作为模型转换语言的理论基础 | 第34-35页 |
| ·基于OCL的模型转换语言研究现状 | 第35页 |
| ·对象约束语言的扩展 | 第35-46页 |
| ·OCL的扩展Hybrid-OCL | 第35-36页 |
| ·Hybrid-OCL的抽象语法与语义 | 第36-41页 |
| ·Hybrid-OCL的具体语法 | 第41-46页 |
| ·基于HYBRID-OCL的模型转换 | 第46-51页 |
| ·模型转换程序的表示法 | 第46-48页 |
| ·模型转换实例 | 第48-51页 |
| 第5章 基于HYBRID-OCL的转换规则库管理系统的设计与实现 | 第51-67页 |
| ·转换规则库管理系统的需求分析 | 第51页 |
| ·OTMS的理论基础 | 第51-54页 |
| ·模式与模型转换 | 第51-53页 |
| ·领域模型与模型转换 | 第53-54页 |
| ·OTMS的设计与实现 | 第54-67页 |
| ·系统的整体设计 | 第54-55页 |
| ·系统实现技术 | 第55-56页 |
| ·OTMS中转换规则的组织形式 | 第56-60页 |
| ·各功能模块的设计与实现 | 第60-67页 |
| 第6章 结论 | 第67-69页 |
| ·工作总结 | 第67页 |
| ·研究展望 | 第67-69页 |
| 参考文献 | 第69-73页 |
| 攻读学位期间公开发表论文 | 第73-74页 |
| 致谢 | 第74-75页 |
| 研究生履历 | 第75页 |