| 摘要 | 第1-5页 |
| Abstract | 第5-6页 |
| 目录 | 第6-8页 |
| 1 绪论 | 第8-12页 |
| ·选题背景和意义 | 第8-9页 |
| ·国内外研究现状 | 第9-11页 |
| ·主要研究内容 | 第11-12页 |
| 2 RBC建模方案 | 第12-19页 |
| ·RBC系统及需求分析 | 第12-13页 |
| ·基于UML和有色Petri网的集成建模方法 | 第13-14页 |
| ·UML及其优缺点 | 第13-14页 |
| ·有色Petri网及其优缺点 | 第14页 |
| ·RBC形式化建模过程 | 第14-19页 |
| ·集成建模方法 | 第14-15页 |
| ·UML转换为有色Petri网的基本规则 | 第15-19页 |
| 3 基于UML和有色Petri网的RBC切换模型构建 | 第19-33页 |
| ·RBC切换 | 第19-24页 |
| ·RBC切换策略 | 第19-22页 |
| ·RBC切换流程设计 | 第22-24页 |
| ·UML模型构建 | 第24-27页 |
| ·用例图的建立 | 第24-25页 |
| ·顺序图的建立 | 第25-26页 |
| ·状态图的建立 | 第26-27页 |
| ·分层有色Petri网模型构建 | 第27-33页 |
| ·分层有色Petri网 | 第27页 |
| ·顶层模型的建立 | 第27-28页 |
| ·子网模型的建立 | 第28-33页 |
| 4 RBC切换模型验证 | 第33-43页 |
| ·有色Petri网建模工具及验证方法 | 第33-34页 |
| ·CPN Tools工具 | 第33页 |
| ·验证方法 | 第33-34页 |
| ·仿真运行过程 | 第34-37页 |
| ·模型的状态空间分析 | 第37-42页 |
| ·状态空间报告的生成 | 第37-39页 |
| ·可达图的生成 | 第39-41页 |
| ·状态空间问询 | 第41-42页 |
| ·验证结果分析 | 第42-43页 |
| 5 RBC切换赋时模型的时间性能分析 | 第43-50页 |
| ·RBC切换赋时模型的建立 | 第43-45页 |
| ·RBC切换时间性能分析 | 第45-49页 |
| ·监控器及设置 | 第45-47页 |
| ·时间性能分析 | 第47-49页 |
| ·结果与分析 | 第49-50页 |
| 结论 | 第50-51页 |
| 致谢 | 第51-52页 |
| 参考文献 | 第52-55页 |
| 攻读学位期间的研究成果 | 第55页 |