軟件演化是指在軟件系統(tǒng)的生命周期中軟件維護(hù)和軟件更新的動(dòng)態(tài)行為。隨著軟件系統(tǒng)規(guī)模的不斷擴(kuò)大以及需求的不斷變化,對(duì)軟件模型演化能力的要求也越來(lái)越高。目前,軟件模型的演化方法主要采用圖形的方式來(lái)處理。這種描述方式比較復(fù)雜,表達(dá)能力有限。特別是當(dāng)軟件系統(tǒng)規(guī)模增大時(shí),圖變換方式的表達(dá)和處理能力明顯不足,速度和效率也明顯下降。論文通過(guò)分析軟件模型演化的圖變換技術(shù),提出一種基于帶屬性類(lèi)型圖的軟件結(jié)構(gòu)形式化描述方法,并進(jìn)一步將其轉(zhuǎn)化成謂詞描述,給出兩者互轉(zhuǎn)化機(jī)制。這種方式既保證圖形化特征又降低邏輯表達(dá)式描述的復(fù)雜度,提高了演化效率。在謂詞邏輯的基礎(chǔ)上,提出了軟件演化操作語(yǔ)言SEOL,以描述軟件演化操作。同時(shí)構(gòu)建了SEOL語(yǔ)言的執(zhí)行機(jī)制,從而最終達(dá)到軟件模型演化的目的。論文針對(duì)SEOL語(yǔ)言,在Eclipse平臺(tái)下以插件的形式設(shè)計(jì)并實(shí)現(xiàn)了一個(gè)針對(duì)軟件演化的執(zhí)行引擎工具。該工具采用三層模型設(shè)計(jì)思想,使整個(gè)系統(tǒng)結(jié)構(gòu)清晰并具有良好的擴(kuò)展性。最后,論文通過(guò)分析軟件重構(gòu)經(jīng)典案例郵件系統(tǒng)的演化,論述了郵件系統(tǒng)演化的執(zhí)行過(guò)程。從實(shí)踐上證明了基于邏輯的軟件演化方法的可行性和正確性。 

【文章來(lái)源】：中南大學(xué)湖南省 211工程院校 985工程院校 教育部直屬院校

【文章頁(yè)數(shù)】：60 頁(yè)

【學(xué)位級(jí)別】：碩士

【部分圖文】：

圖產(chǎn)

演化操作沙節(jié)柯轉(zhuǎn)“十些掣_戶(hù)逆轉(zhuǎn)化轉(zhuǎn)化圖1一2軟件演化過(guò)程2)在EcliPse平臺(tái)下以插件的形式設(shè)計(jì)和實(shí)現(xiàn)一個(gè)基于SEOL語(yǔ)言的軟件演化執(zhí)行引擎工具。3)利用軟件演化執(zhí)行引擎分析并實(shí)現(xiàn)郵件系統(tǒng)的演化過(guò)程。以實(shí)例證明基于邏輯的軟件演化理論的正確性和可行性。.4論文的組織木文共分為六章，各部分安排如下:第一章為緒論部分，主要介紹了軟件模型演化方面的國(guó)內(nèi)外研究水平與現(xiàn)狀、論文的選題和研究意義以及本文的主要工作和研究重點(diǎn)。第二章介紹了帶屬性的類(lèi)型圖的基本概念和基于帶屬性類(lèi)型圖的軟件模型描述，以及軟件模型的謂詞邏輯描述形式，并建立了帶屬性的類(lèi)型圖和謂詞邏輯描述之間的互轉(zhuǎn)換機(jī)制。第三章重點(diǎn)介紹了軟件演化操作語(yǔ)言SEOL的基本概念和處理機(jī)制。論述了基于SEOL語(yǔ)言的基本圖變換操作和復(fù)雜圖變化操作。以軟件結(jié)構(gòu)圖的演化為例，給出了一些復(fù)雜圖變換操作的組合定義。第四章在討論SEOL語(yǔ)言的基礎(chǔ)上，設(shè)計(jì)并實(shí)現(xiàn)了一個(gè)基于SEOL語(yǔ)言的軟件演化執(zhí)行引擎，對(duì)并對(duì)該引擎的設(shè)計(jì)思想，系統(tǒng)結(jié)構(gòu)、實(shí)現(xiàn)方法和技術(shù)進(jìn)行了論述。第五章通過(guò)軟件重構(gòu)的經(jīng)典案例郵件系統(tǒng)的演化過(guò)程，講解了基于SEOL語(yǔ)言的軟件演化執(zhí)行引擎的使用過(guò)程與步驟

3)ATG圖中節(jié)點(diǎn)與邊的映射集則用來(lái)確定節(jié)點(diǎn)與邊之間的對(duì)應(yīng)關(guān)系，如邊描述的是哪兩個(gè)節(jié)點(diǎn)之問(wèn)的關(guān)系等。由上述二點(diǎn)可以得到軟件結(jié)構(gòu)ATG的抽象語(yǔ)法示意圖，如圖2一l所示。圖中comPonentNode表示軟件組件節(jié)點(diǎn)，它帶有兩個(gè)屬性type和name，分別用來(lái)表示組件的名稱(chēng)和組件類(lèi)型。RNode表示資源節(jié)點(diǎn)，用來(lái)描述軟件結(jié)構(gòu)中組件與組件直接的共享資源。componentLink和RLink分別表示組件與組件和組件與資源之間的連接關(guān)系。在圖2一l中，對(duì)于節(jié)點(diǎn) (Node)和連接(Link)都只給出了必要的屬性，由于具體軟件系統(tǒng)的組件、資源和關(guān)系可能存在多種復(fù)雜的情況，所以節(jié)點(diǎn)和連

【參考文獻(xiàn)】：
期刊論文
[1]基于MVC模式的STRUTS框架的研究[J]. 章彪,姜良華,肖劍,張沫.  微計(jì)算機(jī)信息. 2007(33)
[2]基于Eclipse插件的軟件演化操作語(yǔ)言編輯器設(shè)計(jì)[J]. 余瑩,任勝兵,段成戈.  信息技術(shù). 2007(10)
[3]模型轉(zhuǎn)換中特性保持的描述與驗(yàn)證[J]. 劉輝,麻志毅,邵維忠.  軟件學(xué)報(bào). 2007(10)
[4]基于邏輯的軟件演化操作語(yǔ)言及結(jié)構(gòu)化操作語(yǔ)義[J]. 任勝兵,喻壽益,陳松喬,余瑩.  小型微型計(jì)算機(jī)系統(tǒng). 2007(06)
[5]軟件體系結(jié)構(gòu)研究進(jìn)展[J]. 梅宏,申峻嶸.  軟件學(xué)報(bào). 2006(06)
[6]軟件體系結(jié)構(gòu)演化模型[J]. 王映輝,王立福.  電子學(xué)報(bào). 2005(08)
[7]面向?qū)ο蟮能浖貥?gòu)[J]. 許文波,華奇兵,費(fèi)娜.  計(jì)算機(jī)工程. 2005(05)
[8]軟件工程技術(shù)發(fā)展思索[J]. 楊芙清.  軟件學(xué)報(bào). 2005(01)
[9]XML編程中的DOM與SAX技術(shù)[J]. 趙俊嵐.  計(jì)算機(jī)工程. 2004(24)
[10]構(gòu)件運(yùn)算與軟件演化研究[J]. 張友生.  計(jì)算機(jī)應(yīng)用. 2004(04)

博士論文
[1]基于圖變換的可視化層次用例建模及演化方法研究[D]. 任勝兵.中南大學(xué) 2007



本文編號(hào)：3377298