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

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

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

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