摘要
采用基于场景设计的用户需求建模方法进行列车调度系统建模。将列车调度主要业务场景分解为列车运行计划调整场景、进路控制场景、临时限速场景等。以临时限速场景为例,根据用户需求,将其分解为临时限速命令设置正常、设置错误、下达正常、下达失败4个子场景,分别构建UML消息序列图,并转换为单个场景的CPNs模型,采用模型聚合算法对4个子场景聚合,生成临时限速场景CPNs模型。采用该方法构建的列车调度系统模型具有可靠性高、开发效率高的特点。
The train dispatching system was modeled by using the scenario-based design of the requirement modeling method for train dispatching system. The main operation scenarios of train dispatching were divided into train operation plan adjustment scenario, route control scenario, and temporary speed limit scenario and so on. Taking the temporary speed limit scenario for example, according to the users' requirements, it was divided into four sub-scenarios, which are normal setting, abnormal setting, normal sending and abnormal sending of the temporary speed limit command. The UML Message Sequence Charts (MSCs) of these sub-scenarios were constructed respectively, and then they were converted into Colored Petri Nets (CPNs). Model aggregation algorithm was adopted to aggregate four sub-cenarios and generate CPNs model of the temporary speed limit scenario. The train dispatching system model constructed by this method features with high reliability and high development efficiency.
出处
《中国铁道科学》
EI
CAS
CSCD
北大核心
2009年第3期115-118,共4页
China Railway Science
基金
国家"八六三"计划项目(2009AA01Z148)
关键词
系统建模
基于场景设计
用户需求
UML
列车调度系统
System modeling
Scenario-based design
User requirement
UML
Train dispatching system