技術特征：

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

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