摘要 | 第5-6页 |
Abstract | 第6-7页 |
第一章 绪论 | 第11-19页 |
1.1 研究背景 | 第11-12页 |
1.1.1 传统的软件开发方法 | 第11-12页 |
1.1.2 模型转换技术的产生 | 第12页 |
1.2 国内外研究现状 | 第12-15页 |
1.2.1 国外研究现状 | 第12-14页 |
1.2.2 国内研究现状 | 第14-15页 |
1.3 选题的意义 | 第15-16页 |
1.4 本文的研究内容及文章结构 | 第16-19页 |
第二章 模型转换技术理论 | 第19-31页 |
2.1 模型转换技术概述 | 第19-21页 |
2.2 MDA模型 | 第21页 |
2.3 模型转换规则 | 第21-23页 |
2.3.1 转换规则的种类 | 第22页 |
2.3.2 转换规则的性质 | 第22-23页 |
2.4 模型转换核心规范 | 第23-27页 |
2.4.1 统一建模语言UML | 第23-24页 |
2.4.2 元对象设施MOF | 第24-25页 |
2.4.3 XML元数据交换XMI | 第25-26页 |
2.4.4 公共仓库元模型CWM | 第26-27页 |
2.5 模型转换分类 | 第27-28页 |
2.6 现有的模型转换方法 | 第28-30页 |
2.6.1 手动转换方法 | 第28页 |
2.6.2 基于模板的代码自动生成技术 | 第28-29页 |
2.6.3 基于关系代数的转换方法 | 第29页 |
2.6.4 基于元模型间映射的转换方法 | 第29-30页 |
2.6.5 基于模式的模型转换方法 | 第30页 |
2.7 本章小结 | 第30-31页 |
第三章 实时系统图形设计模型 | 第31-43页 |
3.1 实时系统图形设计环境介绍 | 第31-33页 |
3.2 实时系统图形设计模型的对象及系统调用 | 第33-39页 |
3.2.1 任务 | 第33-34页 |
3.2.2 中断 | 第34页 |
3.2.3 报警 | 第34-35页 |
3.2.4 信号量 | 第35-36页 |
3.2.5 邮箱、消息及消息池 | 第36-37页 |
3.2.6 事件 | 第37-38页 |
3.2.7 资源 | 第38-39页 |
3.3 实时系统图形设计模型的控制结构 | 第39-41页 |
3.3.1 If-Then | 第39-40页 |
3.3.2 Switch and Case | 第40页 |
3.3.3 While | 第40页 |
3.3.4 Repeat | 第40页 |
3.3.5 Forever | 第40-41页 |
3.3.6 Procedure | 第41页 |
3.4 本章小结 | 第41-43页 |
第四章 实时系统图形设计模型到Windows CE的映射 | 第43-53页 |
4.1 Windows CE简介 | 第43页 |
4.2 Windows CE的实时特征 | 第43-44页 |
4.3 实时系统图形设计模型到Windows CE的映射规则(34) | 第44-52页 |
4.3.1 任务的映射规则 | 第44-46页 |
4.3.2 实时对象之间的通信模型 | 第46-51页 |
4.3.3 中断 | 第51页 |
4.3.4 报警对象 | 第51-52页 |
4.4 本章小结 | 第52-53页 |
第五章 代码自动生成器的设计 | 第53-67页 |
5.1 代码自动生成器的原理 | 第53-56页 |
5.1.1 编译程序介绍 | 第53页 |
5.1.2 编译过程和编译程序结构 | 第53-56页 |
5.2 代码自动生成器的结构和功能 | 第56-62页 |
5.2.1 词法分析类LexAnalyzeClass | 第57页 |
5.2.2 语法分析类SyntaxAnalyzeClass | 第57-58页 |
5.2.3 语义分析类SemanticAnalyzeClass | 第58页 |
5.2.4 代码生成类CodeGenerateClass | 第58-59页 |
5.2.5 表格管理类FormManageClass | 第59-61页 |
5.2.6 出错处理类ErrorProcessClass | 第61-62页 |
5.3 代码生成实例 | 第62-66页 |
5.4 本章小结 | 第66-67页 |
第六章 总结及展望 | 第67-69页 |
6.1 本文研究成果 | 第67页 |
6.2 下一步的工作 | 第67-69页 |
致谢 | 第69-70页 |
参考文献 | 第70-73页 |
附录A (攻读学位期间发表论文) | 第73页 |