本文从列控系统中离散计算过程和连续物理过程的一体化建模入手,利用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. Osupported underlying language extensibility mechanisms. The new modeling method es-riches 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.
展开▼
