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

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

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

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