基于UML扩展机制的列控系统建模方法研究  

Research on Train Control Systems Modeling Method Using UML Extensibility Mechanisms

作　　者：赵林[1] 唐涛[1] 刘金涛[1] 刘超[1] 李宪[1] 

机构地区：[1]北京交通大学轨道交通控制与安全国家重点实验室,北京100044

出　　处：《铁道学报》2012年第12期64-70,共7页Journal of the China Railway Society

基　　金：国家高技术研究发展计划(863计划)(2011AA010104);中央高校基本科研业务费专项基金(2011JBM322)

摘　　要：本文从列控系统中离散计算过程和连续物理过程的一体化建模入手,利用UML2.0支持的底层语言扩展机制构建面向列控系统混成特性的建模方法和原型工具。新的建模方法丰富了UML的模型表达能力和应用范围,使得对列控系统功能和行为的描述更加直观和准确。同时,为进一步的设计和验证提供精确语义支持。Starting from integrational modeling of the discrete-continuous behavior of train control systems,the modeling method and prototype tool for description of train control systems hybrid properties were established by use of the UML 2.0-supported underlying language extensibility mechanisms.The new modeling method esriches the expressiveness and application of UML and makes description of the functionality and behavior of train control systems more intuitional and accurate.Meanwhile,it can offer formal semantic support for further design and verification.

关 键 词：UML扩展机制 对象约束语言 混成属性 列车运行控制系统 

分 类 号：U283[交通运输工程—交通信息工程及控制]