| 摘要 | 第1-10页 |
| ABSTRACT | 第10-11页 |
| 第一章 绪论 | 第11-22页 |
| ·研究背景和问题 | 第11-14页 |
| ·研究背景 | 第11-12页 |
| ·研究内容 | 第12-14页 |
| ·研究意义 | 第14页 |
| ·国内外研究现状 | 第14-20页 |
| ·生成式建模 | 第15-16页 |
| ·Statecharts | 第16-17页 |
| ·SMP2 模型可移植性规范 | 第17-19页 |
| ·Statecharts及SMP2 的模型转换研究 | 第19-20页 |
| ·论文的组织结构 | 第20-22页 |
| 第二章 Statecharts形式体系 | 第22-37页 |
| ·Statecharts 模型规范 | 第22-23页 |
| ·模型定义 | 第22页 |
| ·模型规范说明 | 第22-23页 |
| ·Statecharts的语法和静态语义 | 第23-30页 |
| ·Higraph | 第23-25页 |
| ·Statecharts的语法与静态语义 | 第25-30页 |
| ·Statecharts的执行语义 | 第30-35页 |
| ·状态执行 | 第30-31页 |
| ·转移执行 | 第31-33页 |
| ·事件处理 | 第33页 |
| ·模型执行 | 第33-34页 |
| ·伪状态语义 | 第34-35页 |
| ·Statecharts元模型 | 第35-36页 |
| ·小结 | 第36-37页 |
| 第三章 Statecharts元模型到SMP2 元模型的映射 | 第37-45页 |
| ·Statecharts模型到SMP2 模型的转换框架 | 第37-38页 |
| ·SMP2 元模型 | 第38-41页 |
| ·Catalogue包 | 第38-40页 |
| ·Assembly包 | 第40-41页 |
| ·Schedule包 | 第41页 |
| ·Statecharts元模型到SMP2 元模型的映射 | 第41-44页 |
| ·元素映射和关系映射 | 第41-42页 |
| ·Statecharts对象结构模型 | 第42-44页 |
| ·仿真执行映射 | 第44页 |
| ·小结 | 第44-45页 |
| 第四章 模型转换工具SMES | 第45-62页 |
| ·SMES的功能模块 | 第45-54页 |
| ·图形化编辑模块 | 第45页 |
| ·信息存储模块 | 第45-46页 |
| ·Statecharts对象结构模型编辑模块 | 第46-47页 |
| ·代码生成模块 | 第47-54页 |
| ·SMES的软件设计 | 第54-60页 |
| ·SMES的图形化元素（Graphic Element）设计 | 第54-55页 |
| ·SMES的界面设计 | 第55-60页 |
| ·SMES的代码生成机制 | 第60-61页 |
| ·小结 | 第61-62页 |
| 第五章 应用案例 | 第62-69页 |
| ·面空导弹系统的Statecharts模型 | 第62-64页 |
| ·面空导弹系统的概念模型设计 | 第62-63页 |
| ·面空导弹系统的Statecharts模型 | 第63-64页 |
| ·面空导弹系统Statecharts模型到SMP2 模型的转换 | 第64-67页 |
| ·由Statecharts行为模型生成行为描述XML文件 | 第64-66页 |
| ·由Statecharts对象结构模型生成SMP2 Catalogue | 第66-67页 |
| ·实验运行 | 第67-68页 |
| ·小结 | 第68-69页 |
| 结束语 | 第69-70页 |
| 致谢 | 第70-71页 |
| 参考文献 | 第71-74页 |
| 作者在学期间取得的学术成果 | 第74页 |
