基于邏輯的軟件演化執(zhí)行引擎研究.pdf

1、軟件演化是指在軟件系統(tǒng)的生命周期中軟件維護(hù)和軟件更新的動態(tài)行為。隨著軟件系統(tǒng)規(guī)模的不斷擴(kuò)大以及需求的不斷變化，對軟件模型演化能力的要求也越來越高。目前，軟件模型的演化方法主要采用圖形的方式來處理。這種描述方式比較復(fù)雜，表達(dá)能力有限。特別是當(dāng)軟件系統(tǒng)規(guī)模增大時，圖變換方式的表達(dá)和處理能力明顯不足，速度和效率也明顯下降。 論文通過分析軟件模型演化的圖變換技術(shù)，提出一種基于帶屬性類型圖的軟件結(jié)構(gòu)形式化描述方法，并進(jìn)一步將其轉(zhuǎn)化成謂詞描

2、述，給出兩者互轉(zhuǎn)化機(jī)制。這種方式既保證圖形化特征又降低邏輯表達(dá)式描述的復(fù)雜度，提高了演化效率。在謂詞邏輯的基礎(chǔ)上，提出了軟件演化操作語言SEOL，以描述軟件演化操作。同時構(gòu)建了SEOL語言的執(zhí)行機(jī)制，從而最終達(dá)到軟件模型演化的目的。論文針對SEOL語言，在Eclipse平臺下以插件的形式設(shè)計并實現(xiàn)了一個針對軟件演化的執(zhí)行引擎工具。該工具采用三層模型設(shè)計思想，使整個系統(tǒng)結(jié)構(gòu)清晰并具有良好的擴(kuò)展性。 最后，論文通過分析軟件重構(gòu)經(jīng)典案