10.3969/j.issn.1001-8360.2012.12.010
基于UML扩展机制的列控系统建模方法研究
本文从列控系统中离散计算过程和连续物理过程的一体化建模入手,利用UML2.0支持的底层语言扩展机制构建面向列控系统混成特性的建模方法和原型工具.新的建模方法丰富了UML的模型表达能力和应用范围,使得对列控系统功能和行为的描述更加直观和准确.同时,为进一步的设计和验证提供精确语义支持.
UML扩展机制、对象约束语言、混成属性、列车运行控制系统
34
U283(铁路通信、信号)
国家高技术研究发展计划863计划2011AA010104;中央高校基本科研业务费专项基金2011JBM322
2013-01-18(万方平台首次上网日期,不代表论文的发表时间)
共7页
64-70