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

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

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

【部分圖文】：

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


本文編號(hào)：3367153