摘要：計算機聯(lián)鎖系統(tǒng)是通過對車站信號設(shè)備的控制,實現(xiàn)聯(lián)鎖功能,保證行車安全和提高行車效率的實時控制系統(tǒng)。聯(lián)鎖軟件作為計算機聯(lián)鎖系統(tǒng)的核心,是一種規(guī)模龐大、功能復(fù)雜的安全苛求性軟件。聯(lián)鎖軟件開發(fā)難度大、開發(fā)周期長。隨著計算機聯(lián)鎖系統(tǒng)的發(fā)展,在聯(lián)鎖軟件開發(fā)中實現(xiàn)軟件復(fù)用,對提高軟件開發(fā)效率和開發(fā)質(zhì)量具有重要實際意義。傳統(tǒng)的聯(lián)鎖軟件開發(fā)方法缺乏指導進行軟件復(fù)用的技術(shù)手段,領(lǐng)域工程是實現(xiàn)軟件復(fù)用的關(guān)鍵技術(shù),有利于實現(xiàn)大粒度的軟件復(fù)用。因此,基于領(lǐng)域工程方法開發(fā)聯(lián)鎖軟件是一項值得研究的課題。本文以計算機聯(lián)鎖系統(tǒng)為背景,結(jié)合領(lǐng)域工程理論,研究基于特征分析的領(lǐng)域建模方法在聯(lián)鎖系統(tǒng)核心功能建模與開發(fā)中的應(yīng)用。論文主要研究內(nèi)容如下：（1）分析了聯(lián)鎖軟件開發(fā)的方法及現(xiàn)狀,剖析了已有軟件開發(fā)方法在軟件復(fù)用上的不足。闡述了領(lǐng)域工程的定義、基本理論以及工程意義。在此基礎(chǔ)上,分析了領(lǐng)域工程方法應(yīng)用于聯(lián)鎖軟件開發(fā)中的可行性和重要性。（2）闡述了領(lǐng)域工程方法的研究現(xiàn)狀,分析了領(lǐng)域工程發(fā)展方向。針對聯(lián)鎖系統(tǒng)的領(lǐng)域特點,確定采用一種基于領(lǐng)域特征分析的領(lǐng)域建模方法進行聯(lián)鎖軟件開發(fā)研究。（3）將面向特征的領(lǐng)域分析方法應(yīng)用于聯(lián)... 

【文章頁數(shù)】：86 頁

【學位級別】：碩士

【文章目錄】：
致謝
中文摘要
ABSTRACT
1 緒論
    1.1 研究背景與研究意義
        1.1.1 研究背景
        1.1.2 研究意義
    1.2 領(lǐng)域工程概述
        1.2.1 軟件復(fù)用和領(lǐng)域工程
        1.2.2 領(lǐng)域工程的可行性
    1.3 計算機聯(lián)鎖系統(tǒng)軟件開發(fā)研究現(xiàn)狀
    1.4 論文主要內(nèi)容及結(jié)構(gòu)
2 基于特征分析的領(lǐng)域建模方法
    2.1 領(lǐng)域工程方法
        2.1.1 領(lǐng)域工程方法發(fā)展
        2.1.2 領(lǐng)域工程方法選取
    2.2 面向特征的領(lǐng)域分析方法
        2.2.1 FODA基本理念
        2.2.2 上下文分析
        2.2.3 領(lǐng)域建模
    2.3 特定領(lǐng)域建模
        2.3.1 DSM概述
        2.3.2 DSM開發(fā)過程
        2.3.3 建模工具
    2.4 本章小結(jié)
3 計算機聯(lián)鎖軟件的領(lǐng)域特征分析
    3.1 計算機聯(lián)鎖領(lǐng)域概述
    3.2 聯(lián)鎖領(lǐng)域上下文分析
        3.2.1 聯(lián)鎖軟件領(lǐng)域結(jié)構(gòu)建模
        3.2.2 聯(lián)鎖邏輯領(lǐng)域數(shù)據(jù)流建模
    3.3 聯(lián)鎖邏輯領(lǐng)域建模
        3.3.1 聯(lián)鎖邏輯領(lǐng)域?qū)嶓w關(guān)系建模
        3.3.2 聯(lián)鎖邏輯領(lǐng)域特征建模
        3.3.3 聯(lián)鎖邏輯領(lǐng)域功能分析
    3.4 本章小結(jié)
4 基于GME的聯(lián)鎖邏輯領(lǐng)域軟件建模
    4.1 GME介紹
        4.1.1 GME概述
        4.1.2 GME基本概念
    4.2 基于GME的聯(lián)鎖邏輯領(lǐng)域元建模
        4.2.1 模型轉(zhuǎn)換機制研究
        4.2.2 道岔類功能元模型
        4.2.3 信號類功能元模型
        4.2.4 區(qū)段類功能元模型
    4.3 聯(lián)鎖邏輯領(lǐng)域建模環(huán)境的構(gòu)建與驗證
        4.3.1 聯(lián)鎖邏輯領(lǐng)域建模環(huán)境的構(gòu)建
        4.3.2 聯(lián)鎖邏輯領(lǐng)域建模環(huán)境的驗證
    4.4 本章小結(jié)
5 總結(jié)與展望
    5.1 總結(jié)
    5.2 展望
參考文獻
圖索引
表索引
作者簡歷
學位論文數(shù)據(jù)集


【參考文獻】：
期刊論文
[1]基于FODA的特定領(lǐng)域軟件建模[J]. 權(quán)巍,邢忠寶,王弼陡,魏純杰.  華中科技大學學報(自然科學版). 2009(08)
[2]K5B-MC鐵路計算機聯(lián)鎖系統(tǒng)的設(shè)計與實現(xiàn)[J]. 李俊娥.  微計算機信息. 2009(18)
[3]特征建模方法研究[J]. 曹曉蘭,彭佳紅.  計算機工程與設(shè)計. 2008(11)
[4]元建模技術(shù)研究進展[J]. 劉輝,麻志毅,邵維忠.  軟件學報. 2008(06)
[5]鐵路車站計算機聯(lián)鎖系統(tǒng)的現(xiàn)狀和發(fā)展趨勢[J]. 方亞非.  鐵路通信信號工程技術(shù). 2007(04)
[6]模型驅(qū)動架構(gòu)中的模型轉(zhuǎn)換方法[J]. 王學斌,吳泉源,史殿習.  計算機工程與科學. 2006(11)
[7]基于UML和Petri網(wǎng)的鐵路聯(lián)鎖軟件建模[J]. 楊晉輝,酈萌.  計算機工程. 2006(11)
[8]計算機聯(lián)鎖進一步發(fā)展的探索[J]. 傅世善.  鐵路通信信號工程技術(shù). 2006(02)
[9]客運專線SEI系統(tǒng)聯(lián)鎖邏輯實現(xiàn)方式的研究[J]. 聶影,王海忠.  鐵道標準設(shè)計. 2005(06)
[10]一種面向特征的領(lǐng)域模型及其建模過程[J]. 張偉,梅宏.  軟件學報. 2003(08)

碩士論文
[1]領(lǐng)域工程研究及其在水運編案領(lǐng)域的應(yīng)用[D]. 李鑫.大連理工大學 2009
[2]基于UPPAAL的聯(lián)鎖進路控制流程建模與驗證[D]. 王觀寧.北京交通大學 2009
[3]鐵路信號系統(tǒng)中聯(lián)鎖軟件形式化描述方法的研究[D]. 張華.合肥工業(yè)大學 2007
[4]基于時間有色Petri網(wǎng)的聯(lián)鎖軟件的形式化建模與分析[D]. 韓福榮.同濟大學 2007



本文編號：3646222