摘要 | 第1-4页 |
Abstract | 第4-7页 |
第一章 绪论 | 第7-13页 |
·问题的提出 | 第7-10页 |
·元建模理论及其研究现状 | 第9页 |
·元建模存在的问题及问题分析 | 第9-10页 |
·元模型实例图自动生成理论的分析 | 第10页 |
·本文研究起点、研究方法及研究平台 | 第10页 |
·本文的研究起点 | 第10页 |
·本文的研究内容及其与已有研究内容之间的联系 | 第10页 |
·本文的实验平台 | 第10页 |
·本文研究工作概述和内容安排 | 第10-13页 |
·本文的研究工作概述 | 第10-11页 |
·本文的内容安排 | 第11-13页 |
第二章 元模型实例生成图语法 IGGG | 第13-23页 |
·元模型及其形式化描述 | 第13-15页 |
·带有继承的类图 | 第13页 |
·多重性的定义 | 第13页 |
·带有多重性的继承的类图 | 第13-14页 |
·实例模型以及元模型与实例模型的关系 | 第14-15页 |
·元模型实例生成图语法及其形式化描述 | 第15-22页 |
·元模型实例生成图语法 | 第15-18页 |
·由图语法生成元模型实例举例 | 第18-21页 |
·元模型实例生成图语法的形式化描述 | 第21-22页 |
·小结 | 第22-23页 |
第三章 元模型实例图自动生成算法及其与 IGGG 的等价证明 | 第23-43页 |
·元模型实例图自动生成算法 | 第23-27页 |
·元模型实例图自动生成算法与 IGGGG 的等价性 | 第27-35页 |
·元模型实例图自动生成算法与 IGGG 的等价性证明 | 第27-31页 |
·由算法生成元模型实例举例 | 第31-35页 |
·元模型实例图自动生成算法的程序实现 | 第35-41页 |
·小结 | 第41-43页 |
第四章 图语法方法应用于词法分析器的自动生成 | 第43-57页 |
·自动状态机理论及词法分析器介绍[29,30,31] | 第44-46页 |
·自动状态机理论 | 第44-45页 |
·有限自动状态机和正则文法 | 第45-46页 |
·词法分析器和正则文法 | 第46页 |
·图语法方法应用于词法分析器自动生成 | 第46-49页 |
·从给定词法分析器文法产生其模型的约束 | 第46-48页 |
·在图语法 IGGG 中加入给定词法分析器模型的约束 | 第48-49页 |
·词法分析器实例图自动生成算法及实现 | 第49-55页 |
·词法分析器实例图自动生成算法 | 第49-52页 |
·用添加了特定约束的图语法生成词法分析器元模型的实例 | 第52-55页 |
·小结 | 第55-57页 |
第五章 总结与展望 | 第57-59页 |
·总结 | 第57-58页 |
·展望 | 第58-59页 |
致谢 | 第59-60页 |
参考文献 | 第60-63页 |
附录 A:作者在攻读硕士学位期间发表的论文 | 第63-64页 |
附录 B:元模型实例生成软件使用和运行的屏幕截图 | 第64-68页 |
附录 C:元模型实例生成软件程序源代码 | 第68-89页 |