基于UML的车站信号软件建模
| 致谢 | 第1-6页 |
| 中文摘要 | 第6-7页 |
| ABSTRACT | 第7-11页 |
| 1 综述 | 第11-18页 |
| ·选题背景及意义 | 第11-13页 |
| ·车站信号软件建模发展概况 | 第13-16页 |
| ·UML建模语言应用现状 | 第14-15页 |
| ·计算机联锁系统软件建模研究现状 | 第15-16页 |
| ·论文的主要研究内容 | 第16-18页 |
| 2 统一建模语言UML | 第18-32页 |
| ·建模语言--UML | 第18-25页 |
| ·UML概述 | 第18-23页 |
| ·静态建模机制及静态视图 | 第23-24页 |
| ·动态建模机制及动态视图 | 第24-25页 |
| ·建模方法论--UP统一过程 | 第25-30页 |
| ·UP统一过程概述 | 第25-27页 |
| ·UP统一过程组织结构分析 | 第27-29页 |
| ·UP统一过程开发模式 | 第29-30页 |
| ·基于UML的车站信号系统模型的设计 | 第30-32页 |
| 3 计算机联锁系统静态结构模型设计 | 第32-45页 |
| ·系统功能需求分析 | 第32-35页 |
| ·系统总体软件结构模型 | 第35-38页 |
| ·联锁系统用例模型设计 | 第35-37页 |
| ·联锁机软件结构模型设计 | 第37-38页 |
| ·信号设备对象描述及状态变化分析 | 第38-45页 |
| ·信号机对象描述及状态变化分析 | 第39-41页 |
| ·道岔对象描述及状态变化分析 | 第41-42页 |
| ·轨道电路对象描述及状态变化分析 | 第42-43页 |
| ·进路对象描述 | 第43-45页 |
| 4 进路控制过程动态模型设计 | 第45-55页 |
| ·一次完整进路过程总体建模分析 | 第45-48页 |
| ·进路过程体系结构建模 | 第45-46页 |
| ·进路过程功能结构建模 | 第46-48页 |
| ·进路建立过程建模分析 | 第48-55页 |
| ·进路选择过程建模 | 第48-50页 |
| ·进路锁闭过程建模 | 第50-51页 |
| ·信号开放过程建模 | 第51-53页 |
| ·进路正常解锁过程建模 | 第53-55页 |
| 5 车站信号系统模型的验证 | 第55-65页 |
| ·联锁模型的验证方法 | 第55-57页 |
| ·模型的语义验证--动态模拟 | 第55-56页 |
| ·模型的功能验证--GUI驱动模型 | 第56-57页 |
| ·验证平台构建 | 第57-58页 |
| ·验证过程--模型层的调试与测试 | 第58-65页 |
| 6 结论 | 第65-67页 |
| 参考文献 | 第67-69页 |
| 索引 | 第69-70页 |
| 作者简历 | 第70-72页 |
| 学位论文数据集 | 第72页 |
