基于xUML與DODAF的指揮信息系統(tǒng)可執(zhí)行體系結(jié)構(gòu)建模研究

打開文本圖片集

摘  要：針對體系結(jié)構(gòu)視圖產(chǎn)品在驗(yàn)證系統(tǒng)動態(tài)行為及狀態(tài)轉(zhuǎn)換等方面存在的不足，難以有效保證所建模型與具體軍事需求的一致性，提出了基于xUML與DODAF的可執(zhí)行體系結(jié)構(gòu)建模及驗(yàn)證方法，分析了該方法的可行性與適用性，及其在驗(yàn)證系統(tǒng)動態(tài)行為方面的優(yōu)勢，給出了利用該方法進(jìn)行建模的具體步驟。最后結(jié)合區(qū)域防空指揮信息系統(tǒng)開發(fā)實(shí)例，通過建模對該系統(tǒng)的部分動態(tài)行為進(jìn)行了驗(yàn)證和分析，進(jìn)一步證明了該方法的有效性。（剩余10961字）