基于圖文法的作戰(zhàn)系統(tǒng)模型一致性研究與實現(xiàn).pdf

1、隨著計算機軟件技術(shù)的不斷發(fā)展，計算機軟件已廣泛應(yīng)用于國防建設(shè)的各個領(lǐng)域中。然而，很小的軟件錯誤也可能導(dǎo)致整個系統(tǒng)的崩潰。在作戰(zhàn)系統(tǒng)中，模型的不一致將導(dǎo)致執(zhí)行過程中產(chǎn)生錯誤，所以對作戰(zhàn)系統(tǒng)模型一致性研究意義重大。
　　作戰(zhàn)系統(tǒng)領(lǐng)域模型包括作戰(zhàn)使命和作戰(zhàn)任務(wù)，由于多個需求分析人員分析不同的任務(wù)需求，導(dǎo)致需求模型間可能存在語義的不一致。為了保證系統(tǒng)建模的可靠性和穩(wěn)定性，對需求模型進(jìn)行一致性檢測已顯得十分必要。
　　首先，本文結(jié)合作

2、戰(zhàn)系統(tǒng)的模型特點和已有的模型一致性檢測方法，提出基于屬性圖文法的作戰(zhàn)系統(tǒng)模型一致性檢測方法：把作戰(zhàn)系統(tǒng)模型轉(zhuǎn)換成屬性圖文法并檢測功能需求間的沖突和依賴，同時提出依賴檢測算法來驗證依賴關(guān)系的正確性。作戰(zhàn)系統(tǒng)靜態(tài)需求用類圖表示，轉(zhuǎn)換成屬性圖文法的類型圖，類轉(zhuǎn)換成類型圖中的結(jié)點，類之間的二元聯(lián)系用類型圖中的邊來表示。功能需求用對象圖對活動圖中的活動的前置和后置條件建模，轉(zhuǎn)換成屬性圖文法的圖轉(zhuǎn)換規(guī)則，把前置條件轉(zhuǎn)換成圖轉(zhuǎn)換規(guī)則的左部圖，后置條件

3、轉(zhuǎn)換成圖轉(zhuǎn)換規(guī)則的右部圖。再調(diào)用屬性圖文法分析工具AGG通過關(guān)鍵對分析技術(shù)得到功能需求間的沖突、依賴關(guān)系。循環(huán)依賴將導(dǎo)致模型無法執(zhí)行，錯誤依賴則表示功能需求與動態(tài)模型的執(zhí)行流程不一致。本文對此提出相應(yīng)的依賴檢測算法，循環(huán)依賴檢測算法通過深度優(yōu)先搜索找到依賴關(guān)系中的環(huán)，錯誤依賴檢測算法通過遍歷活動圖來檢測依賴關(guān)系與活動圖的執(zhí)行流程是否一致。
　　接著，基于該檢測方法設(shè)計并實現(xiàn)了作戰(zhàn)系統(tǒng)需求分析工具。通過該工具可以檢測作戰(zhàn)系統(tǒng)需求模型