基于UML与CPN的CTCS-3级列控系统建模与验证方法研究.pdfVIP

2010年5月 铁 道 通 信 信 号 May201O 第46卷 第5期 RAILWAYSIGNALLING C0MMUNICAT10N Vo1．46 No．5 基于 UML与CPN的CTCS一3级 列控系统建模与验证方法研究 上官伟 蔡伯根 王 艳 王晶晶 王亚菊 摘 要：CTCS-3级列控系统安全功能极其复杂，为保障其正常运转，有必要对列车运行控制系 统的建模与验证进行深入研究。在分析了UML建模 图和有色Petri网优缺点的基础上，提 出了 UML和有色Petri网 (CPN)相结合的建模与验证方法，并应用在CTCS．3系统中，对 CTCS-3级 列控系统的建模与验证具有积极的研究意义。 关键词 ：UML；CPN；CTCS-3级列控系统 ；建模 ；验证 Abstract：CTCS-3trainoperationcontrolsystem isonecomplexsecuritysystem withlotsoffunctions， whichmeansthatdeepresearchonmodelingandverification oftrainoperationcontrolsystem shouldbe carriedout．OnthebasisofanalysisofadvantagesanddisadvantagesofUMLmodelingandcoloredPetri net，thispaperproposesamodelingandverificationmethodbasedonUMLandcoloredPetrinet(CPN)． Byanalyzingthesimulationresult，theconclusioncouldbeobtainedthatapplicationofthemethodcould havepositiveresearchsignificanceformodelingandverificationofCTCS一3trainoperationconrtolsystem． Keywords：UnifiedModelingLanguage；ColoredPetrinet；CTCS一3TrainControlSystem；Modeling； Verification 统一建模语言 UML (UnifiedModelingLan． 持对分布、并发的过程进行形式化建模 ，有严格的 guage)是由GradyBooch、JimRunbaugh和IvarJa- 数学定义和直观的图形表达方式，具有相对成熟的 cobson联合提出的。它的出现代表了一种积极的方 语义和可执行性 。 向，即多种方法相互借鉴、相互融合、趋于一致、 本文基于 UML和 CPN相结 合 的方法，对 走向标准化。它融合了当前一些面向对象的主要概 CTCS．3级系统的建模与仿真进行研究。两者结合 念和技术，具有定义良好、易于表达、功能强大以 不仅克服了UML模型缺少分析、验证手段的不足， 及可视化的功能，是面向对象的标准化统一建模语 也避免了Petri网模型理解、使用困难的缺点，不 言。Petri网的概念是 1962年德国科学家CarlAdam 仅可以发挥各 自的优势，形成一个更有效的建模技 Petri在他的博士论文中首先提出的，并受到欧美 术，而且也可以直观反映系统的结构和功能分布。 学者的广泛关注。 1 UML顺序图与有色 Petri网 统一建模语言 UML采用 图形表示法，可直观 地描述用户需求、静态模型和动态行为，详细描述 1．1 UnL与顺序图 系统的结构特征，便于领域专家和用户与系统开发 UML是一种通用建模语言，它本身具有可扩 人员之间的交流。有色Petri网 (ColoredPetriNet， 展性，不仅可