技術(shù)特征：

技術(shù)總結(jié)
本發(fā)明涉及一種基于本體的RUCM模型一致性檢查方法，所述方法包括以下步驟：對(duì)領(lǐng)域知識(shí)進(jìn)行建模，形成的包含領(lǐng)域概念、領(lǐng)域概念之間關(guān)系和領(lǐng)域概念的相關(guān)屬性的領(lǐng)域本體模型；結(jié)合本體庫中的核心概念，建立和分析本體庫的相關(guān)概念到RUCM模型概念之間的映射關(guān)系；最后根據(jù)定義的一致性規(guī)則來檢驗(yàn)RUCM模型中存在的不一致的缺陷。本發(fā)明設(shè)計(jì)了擴(kuò)展支持本體模型檢查的RUCM模型；提供一種基于本體的RUCM模型一致性檢查方法的算法工具。本發(fā)明解決了利用領(lǐng)域知識(shí)快速高效地檢查需求中不一致的缺陷；同時(shí)可以解決重復(fù)的勞動(dòng)，提供需求的準(zhǔn)確性和完整性。

技術(shù)研發(fā)人員：劉超;胡京徽;楊海燕;吳際
受保護(hù)的技術(shù)使用者：北京航空航天大學(xué)
技術(shù)研發(fā)日：2017.05.23
技術(shù)公布日：2017.09.15