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

打開文本圖片集

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