可执行元模型关键技术研究
| 第一章 绪论 | 第1-19页 |
| ·研究背景 | 第8-9页 |
| ·MDA规范概述及问题 | 第9-15页 |
| ·MDA | 第10-11页 |
| ·UML | 第11-12页 |
| ·MOF | 第12-13页 |
| ·QVT | 第13-15页 |
| ·问题小结 | 第15页 |
| ·主要研究内容 | 第15-17页 |
| ·研究意义 | 第17页 |
| ·实用意义 | 第17页 |
| ·理论意义 | 第17页 |
| ·课题背景 | 第17页 |
| ·论文结构 | 第17-19页 |
| 第二章 相关工作研究现状简述 | 第19-26页 |
| ·可执行UML | 第19-21页 |
| ·元建模 | 第21-22页 |
| ·语言扩展技术 | 第22-24页 |
| ·语言集成技术 | 第24-25页 |
| ·小结 | 第25-26页 |
| 第三章 可执行元模型的理论基础 | 第26-73页 |
| ·元模型 | 第26页 |
| ·可执行元模型的构造需求 | 第26-29页 |
| ·模型语言设计模式 | 第29-32页 |
| ·概念 | 第29-30页 |
| ·OCL设计模式 | 第30-31页 |
| ·小结 | 第31-32页 |
| ·抽象语法模型 | 第32-43页 |
| ·抽象语法模型概念 | 第32-33页 |
| ·抽象语法构建过程 | 第33-36页 |
| ·抽象语法构建案例 | 第36-41页 |
| ·MOF抽象语法模型 | 第41-42页 |
| ·小结 | 第42-43页 |
| ·表面语法 | 第43-61页 |
| ·文本语法 | 第43-51页 |
| ·图语法 | 第51-61页 |
| ·小结 | 第61页 |
| ·语义 | 第61-72页 |
| ·语义的概念 | 第61-62页 |
| ·语义的需求 | 第62页 |
| ·语义和元模型 | 第62-63页 |
| ·元层结构和语义 | 第63-64页 |
| ·元模型建模语义的方法 | 第64-72页 |
| ·语义方法的使用原则 | 第72页 |
| ·小结 | 第72-73页 |
| 第四章 可执行元模型的设计 | 第73-110页 |
| ·可执行元模型的包结构 | 第73-74页 |
| ·元核语言 | 第74-102页 |
| ·静态模型概念扩展 | 第74-79页 |
| ·动态模型概念扩展 | 第79-96页 |
| ·文本表面语法 | 第96-102页 |
| ·元约束语言 | 第102-105页 |
| ·表达式扩展 | 第102-103页 |
| ·文本表面语法 | 第103-105页 |
| ·元文法语言 | 第105-109页 |
| ·抽象语法模型 | 第105-107页 |
| ·文本表面语法 | 第107-109页 |
| ·小结 | 第109-110页 |
| 第五章 可执行元模型的实现 | 第110-132页 |
| ·MLS概述 | 第110-111页 |
| ·MLS关键实现 | 第111-119页 |
| ·虚拟机 | 第111-117页 |
| ·可执行元模型的关键实现 | 第117-119页 |
| ·一个电信网络管理应用例子 | 第119-131页 |
| ·拓扑建模语言 | 第120-131页 |
| ·小结 | 第131-132页 |
| 第六章 总结与展望 | 第132-134页 |
| 参考文献 | 第134-139页 |
| 攻读博士期间发表的学术论文及其它成果 | 第139-141页 |
| 摘要 | 第141-144页 |
| ABSTRACT | 第144-148页 |
| 致谢 | 第148页 |
