| 基于UML扩展机制的列控系统建模方法研究 |
| |
| 引用本文： | 赵林,唐涛,刘金涛,刘超,李宪.基于UML扩展机制的列控系统建模方法研究[J].铁道学报,2012(12):64-70. |
| |
| 作者姓名： | 赵林 唐涛 刘金涛 刘超 李宪 |
| |
| 作者单位： | 北京交通大学轨道交通控制与安全国家重点实验室 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划)(2011AA010104);中央高校基本科研业务费专项基金(2011JBM322) |
| |
| 摘 要： | 本文从列控系统中离散计算过程和连续物理过程的一体化建模入手,利用UML2.0支持的底层语言扩展机制构建面向列控系统混成特性的建模方法和原型工具。新的建模方法丰富了UML的模型表达能力和应用范围,使得对列控系统功能和行为的描述更加直观和准确。同时,为进一步的设计和验证提供精确语义支持。
|
| 关 键 词： | UML扩展机制 对象约束语言 混成属性 列车运行控制系统 |
Research on Train Control Systems Modeling Method Using UML Extensibility Mechanisms |
| |
| ZHAO Lin,TANG Tao,LIU Jin-tao,LIU Chao,LI Xian.Research on Train Control Systems Modeling Method Using UML Extensibility Mechanisms[J].Journal of the China railway Society,2012(12):64-70. |
| |
| Authors: | ZHAO Lin TANG Tao LIU Jin-tao LIU Chao LI Xian |
| |
| Institution: | (State Key Laboratory of Rail Traffic Control and Safety,Beijing Jiaotong University,Beijing 100044,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ |
|
