基于UML2.0的状态机模型仿真器研究与开发
| 摘要 | 第1-4页 |
| Abstract | 第4-6页 |
| 1 绪论 | 第6-10页 |
| ·课题背景与意义 | 第6-7页 |
| ·模型仿真技术及工具的研究现状 | 第7-8页 |
| ·模型仿真技术 | 第7页 |
| ·模型仿真工具 | 第7-8页 |
| ·论文主要研究内容与结构 | 第8-10页 |
| 2 UML状态机模型仿真系统的相关技术 | 第10-22页 |
| ·统一建模语言UML | 第10-12页 |
| ·改进的UML2.0 | 第10页 |
| ·可执行UML | 第10-11页 |
| ·UML元模型(meta-model)机制 | 第11-12页 |
| ·UML2.0对MDA的支持 | 第12页 |
| ·UML状态机 | 第12-17页 |
| ·状态机定义 | 第12-13页 |
| ·状态机关键要素及其定义 | 第13-17页 |
| ·UML状态机模型仿真 | 第17-18页 |
| ·Papyrus UML | 第18-20页 |
| ·小结 | 第20-22页 |
| 3 UML状态机模型仿真器结构 | 第22-30页 |
| ·概述 | 第22页 |
| ·UML状态机模型 | 第22-23页 |
| ·状态机模型仿真器结构 | 第23-24页 |
| ·关键技术 | 第24-29页 |
| ·状态图与仿真器输入语言的转化定义 | 第24-27页 |
| ·状态机模型的建立 | 第27页 |
| ·状态机的仿真验证 | 第27-29页 |
| ·小结 | 第29-30页 |
| 4 UML状态机模型仿真器的实现 | 第30-48页 |
| ·状态机模型仿真器的功能 | 第30-31页 |
| ·系统开发工具与环境 | 第31-36页 |
| ·Eclipse简介 | 第31-33页 |
| ·Eclipse插件机制 | 第33页 |
| ·Eclipse RCP | 第33-34页 |
| ·GEF介绍 | 第34-36页 |
| ·状态机模型仿真器的设计 | 第36-47页 |
| ·仿真器引擎的实现 | 第37-39页 |
| ·单个状态机模拟 | 第39-42页 |
| ·仿真器界面的实现 | 第42-47页 |
| ·小结 | 第47-48页 |
| 5 状态机模型仿真器的测试 | 第48-56页 |
| ·概述 | 第48-49页 |
| ·测试方法 | 第49-50页 |
| ·几种测试用例的测试过程 | 第50-55页 |
| ·小结 | 第55-56页 |
| 6 结论和展望 | 第56-58页 |
| ·总结 | 第56-57页 |
| ·展望 | 第57-58页 |
| 致谢 | 第58-60页 |
| 参考文献 | 第60-61页 |
