針對體系需求建模中使命模型在分解時無法引入屬性參考,不便于檢查分解的合理性,影響模型分析效果等問題,提出了基于本體的體系使命建模及分析方法。根據(jù)使命在體系需求建模中的關(guān)鍵作用,定義了使命的若干屬性參數(shù),并構(gòu)建了體系的使命概念模型。為了使使命分解更加科學(xué)嚴(yán)謹(jǐn),設(shè)計了使命分解算法,在分解過程中引入了使命的相關(guān)屬性值。采用網(wǎng)站網(wǎng)站本體語言描述邏輯（web ontology language description logic,OWL DL）本體推理及查詢技術(shù),借助本體推理引擎Pellet對構(gòu)建的使命模型進(jìn)行形式化分析驗證,檢查使命分解過程中是否遵守了定義的分解原則,從而檢查使命分解的合理性。 

【文章來源】：系統(tǒng)工程與電子技術(shù). 2018,40(09)北大核心EICSCD

【文章頁數(shù)】：6 頁

【部分圖文】：

圖２區(qū)域防空指揮系統(tǒng)使命模型Ｆｉｇ．２Ｍｉｓｓｉｏｎｍｏｄｅｌｏｆｒｅｇｉｏｎａｌａｉｒｄｅｆｅｎｓｅｃｏｍｍａｎｄｓｙｓｔｅｍ


本文編號：3367153