论文部分内容阅读
采用基于场景设计的用户需求建模方法进行列车调度系统建模。将列车调度主要业务场景分解为列车运行计划调整场景、进路控制场景、临时限速场景等。以临时限速场景为例，根据用户需求，将其分解为临时限速命令设置正常、设置错误、下达正常、下达失败4个子场景，分别构建UML消息序列图，并转换为单个场景的CPNs模型，采用模型聚合算法对4个子场景聚合，生成临时限速场景CPNs模型。采用该方法构建的列车调度系统模型具有可靠性高、开发效率高的特点。