使用图转换理论的模型转换一致性研究
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-7页 |
| 目录 | 第7-9页 |
| 图目录 | 第9-10页 |
| 表目录 | 第10-11页 |
| 第1章 绪论 | 第11-18页 |
| ·研究背景 | 第11-12页 |
| ·相关技术及研究现状 | 第12-15页 |
| ·模型驱动体系结构 | 第12-13页 |
| ·模型转换一致性 | 第13-14页 |
| ·图理论 | 第14-15页 |
| ·主要研究内容 | 第15-16页 |
| ·论文结构 | 第16-17页 |
| ·术语与缩写 | 第17-18页 |
| 第2章 模型驱动体系结构 | 第18-27页 |
| ·总体介绍 | 第18-20页 |
| ·建模语言 | 第20-23页 |
| ·语言要素 | 第20页 |
| ·统一建模语言 | 第20-23页 |
| ·模型转换 | 第23-24页 |
| ·PIM 到PSM 的转换 | 第23-24页 |
| ·PSM 到代码的转换 | 第24页 |
| ·MDA 工具 | 第24-27页 |
| 第3章 模型转换一致性 | 第27-37页 |
| ·模型转换方法分析 | 第27-31页 |
| ·模型转换的正确性 | 第31-37页 |
| ·模型转换的正确性 | 第31-32页 |
| ·模型转换正确性验证方法的分类 | 第32-33页 |
| ·建模语言的语义特征 | 第33-34页 |
| ·模型转换的语义一致性 | 第34-37页 |
| 第4章 模型转换的一致性检测 | 第37-52页 |
| ·总体架构 | 第37-38页 |
| ·图理论 | 第38-46页 |
| ·相关定义 | 第38-42页 |
| ·模型语言的图表示 | 第42-45页 |
| ·语义特性保持的图转换表示 | 第45-46页 |
| ·语义保持的验证算法 | 第46-52页 |
| ·模型匹配算法 | 第46-49页 |
| ·检测算法 | 第49-51页 |
| ·验证算法 | 第51-52页 |
| 第5章 模型转换一致性检测工具 | 第52-61页 |
| ·验证系统选取 | 第52-53页 |
| ·验证实施 | 第53-61页 |
| ·模型转换规则提取 | 第53-56页 |
| ·解析技术 | 第56-58页 |
| ·冲突检测 | 第58页 |
| ·结果分析 | 第58-61页 |
| 第6章 结论与展望 | 第61-63页 |
| ·本文主要工作总结 | 第61页 |
| ·未来的工作 | 第61-63页 |
| 参考文献 | 第63-66页 |
| 致谢 | 第66-67页 |
| 在读期间发表的学术论文与取得的研究成果 | 第67-68页 |
| 在读期间参加的科研项目 | 第68页 |
