列車運(yùn)行控制系統(tǒng)領(lǐng)域建模語(yǔ)言的構(gòu)建方法.pdf

1、列車運(yùn)行控制系統(tǒng)（簡(jiǎn)稱列控系統(tǒng)）主要負(fù)責(zé)控制列車運(yùn)行的間隔和速度，保證列車安全、高效地運(yùn)行。一旦列控系統(tǒng)的安全性出現(xiàn)問(wèn)題，將有可能造成行車中斷，甚至是車毀人亡的嚴(yán)重后果。列控系統(tǒng)需求規(guī)范作為列控系統(tǒng)開(kāi)發(fā)的起點(diǎn)和基礎(chǔ)，其中的任何缺陷都有可能對(duì)列控系統(tǒng)功能的實(shí)現(xiàn)帶來(lái)風(fēng)險(xiǎn)。對(duì)列控系統(tǒng)需求規(guī)范進(jìn)行建模和分析，消除自然語(yǔ)言寫(xiě)就的系統(tǒng)需求規(guī)范中可能存在的表意模糊和邏輯缺陷，對(duì)于保障列控系統(tǒng)的安全具有重要作用。當(dāng)前系統(tǒng)需求規(guī)范的建模主要采用通用建模方

2、法，其建模過(guò)程并不規(guī)范，建立的模型容易產(chǎn)生與規(guī)范不一致的結(jié)果。另外，使用通用建模語(yǔ)言進(jìn)行建模，模型的一致性和可重用性較低，無(wú)法實(shí)現(xiàn)模型資源的共享，導(dǎo)致大量的重復(fù)性工作。
　　為了解決模型與規(guī)范以及模型之間的不一致性問(wèn)題，增加模型的可重用性，加強(qiáng)模型自動(dòng)化管理，提高建模的效率，本文基于領(lǐng)域建模思想提出面向列控系統(tǒng)領(lǐng)域的建模語(yǔ)言并建立列控系統(tǒng)領(lǐng)域模型庫(kù)，主要內(nèi)容包括:
　　1.在閱讀、理解大量文獻(xiàn)研究的基礎(chǔ)上，對(duì)國(guó)內(nèi)外領(lǐng)域建模方

3、法的研究情況進(jìn)行綜述，分析比較了領(lǐng)域建模語(yǔ)言不同實(shí)現(xiàn)方式的優(yōu)缺點(diǎn)并討論列控系統(tǒng)領(lǐng)域建模方法的研究方向。
　　2.對(duì)列控系統(tǒng)的組成及原理進(jìn)行剖析，定義了列控系統(tǒng)領(lǐng)域建模所需的模型元素。其中，詳細(xì)描述了各個(gè)模型元素的性質(zhì)、關(guān)系及其相關(guān)規(guī)則。進(jìn)一步，利用故障樹(shù)分析的方式，對(duì)各模型元素所涉及的安全相關(guān)屬性進(jìn)行分析整理。
　　3.使用元建模語(yǔ)言GOPPRR對(duì)列控系統(tǒng)領(lǐng)域建模語(yǔ)言中所涉及建模元素以“對(duì)象”、“性質(zhì)”、“關(guān)系”、“角色”、

4、“端口”及“圖”的方式進(jìn)行定義。在此基礎(chǔ)上進(jìn)一步設(shè)計(jì)能夠體現(xiàn)建模元素特征的特定圖形表達(dá)符號(hào)，從而完成對(duì)列控系統(tǒng)領(lǐng)域建模語(yǔ)言語(yǔ)法的定義。
　　4.對(duì)領(lǐng)域建模元素的規(guī)則進(jìn)行分類，形成事件約束、值約束、性質(zhì)關(guān)系約束以及元素實(shí)例依賴四種規(guī)則，并且用預(yù)定義規(guī)則和基于生成器的規(guī)則兩種方法對(duì)這些規(guī)則進(jìn)行描述，完成列控系統(tǒng)領(lǐng)域建模語(yǔ)言的語(yǔ)義的定義，最終形成了一個(gè)可用的列控系統(tǒng)領(lǐng)域模型庫(kù)。
　　5.將本文提出的列控系統(tǒng)領(lǐng)域建模語(yǔ)言應(yīng)用于列控系