层次化建模中状态图建模技术的研究与实现
| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 绪论 | 第7-11页 |
| ·项目背景 | 第7-8页 |
| ·国内外发展现状 | 第8-9页 |
| ·论文的主要工作 | 第9-10页 |
| ·论文的章节安排 | 第10-11页 |
| 第二章 相关技术概述 | 第11-23页 |
| ·模型驱动体系结构 | 第11-15页 |
| ·MDA 的基本概念 | 第11-13页 |
| ·MDA 的基本框架 | 第13页 |
| ·MDA 的开发方法 | 第13-14页 |
| ·MDA 的优势 | 第14-15页 |
| ·状态图 | 第15-18页 |
| ·状态 | 第15-16页 |
| ·迁移 | 第16-17页 |
| ·进入与退出动作 | 第17页 |
| ·事件处理机制 | 第17-18页 |
| ·代码生成技术 | 第18-22页 |
| ·代码生成器模型 | 第18-19页 |
| ·代码生成的衡量指标 | 第19-20页 |
| ·代码生成的应用领域 | 第20-21页 |
| ·代码生成的优点 | 第21-22页 |
| ·本章小结 | 第22-23页 |
| 第三章 工具总体框架分析与设计 | 第23-31页 |
| ·工具目标及开发方法 | 第23-26页 |
| ·实现目标及准则 | 第23-24页 |
| ·整体功能 | 第24-26页 |
| ·开发方法 | 第26页 |
| ·开发环境 | 第26页 |
| ·工具总体设计 | 第26-30页 |
| ·目标机嵌入软件建模 | 第27-28页 |
| ·模型验证 | 第28-29页 |
| ·构件管理 | 第29页 |
| ·代码生成 | 第29-30页 |
| ·本章小结 | 第30-31页 |
| 第四章 状态图详细设计与实现 | 第31-53页 |
| ·状态图总体设计 | 第31-37页 |
| ·模型设计 | 第31-32页 |
| ·状态迁移设计 | 第32-33页 |
| ·多平台状态图设计 | 第33-36页 |
| ·状态图存储结构 | 第36-37页 |
| ·状态图代码生成器设计 | 第37-40页 |
| ·状态图源代码文件的设计与实现 | 第40-50页 |
| ·状态图生成代码设计 | 第40-47页 |
| ·状态图命名及注释规则 | 第47-49页 |
| ·源文件生成流程 | 第49-50页 |
| ·状态图文件组织结构 | 第50-52页 |
| ·建模工程文件生成方式 | 第50-51页 |
| ·状态图文件生成方式 | 第51页 |
| ·文件包含关系 | 第51-52页 |
| ·本章小结 | 第52-53页 |
| 第五章 状态图仿真以及文档生成 | 第53-69页 |
| ·状态图仿真 | 第53-64页 |
| ·整体功能介绍 | 第53-54页 |
| ·状态图仿真框架 | 第54-56页 |
| ·状态图仿真流程 | 第56-59页 |
| ·关键类的设计与实现 | 第59-64页 |
| ·状态图文档生成 | 第64-67页 |
| ·整体功能介绍 | 第64页 |
| ·文档生成整体框架 | 第64-65页 |
| ·关键类的设计与实现 | 第65-67页 |
| ·本章小结 | 第67-69页 |
| 第六章 工具验证与测试 | 第69-75页 |
| ·实例验证 | 第69-74页 |
| ·本章小结 | 第74-75页 |
| 结束语 | 第75-77页 |
| 致谢 | 第77-79页 |
| 参考文献 | 第79-81页 |
