[發明專利]一種基于本體的RUCM模型一致性檢查方法

有效

• 申請號: 201710366026.1
• 申請日: 2017-05-23
• 公開（公告）號: CN107168762B
• 公開（公告）日: 2020-07-03
• 發明（設計）人: 劉超;胡京徽;楊海燕;吳際
• 申請（專利權）人: 北京航空航天大學
• 主分類號: G06F8/41
• 分類號: G06F8/41
• 代理公司: 北京天達知識產權代理事務所(普通合伙) 11386
• 代理人: 龐許倩;馬東偉

1.一種基于本體的RUCM模型一致性檢查方法，其特征在于，包括如下步驟：

步驟S1、建立用于RCUM模型檢驗的本體模型庫；

本體模型庫中的本體概念元素模板包括概念節點，用于描述領域中的相關概念；概念之間的關系，用于描述概念之間的關系；概念節點屬性，描述概念節點的其它屬性，起到對概念的解釋和補充作用，用于軟件需求分析推導，為檢驗一致性提供附加的信息和標準；

步驟S2、建立步驟S1中的本體模型庫到RUCM模型的概念映射關系，形成關系映射模板；

所述步驟S2包括如下子步驟：

步驟S201、確定和標注本體的核心概念屬性；

步驟S202、識別和標注軟件需求的概念；

針對概念、概念之間的關系和概念屬性這三類元素分別設計了擴展支持本體模型檢查的RUCM模型，即OntoRUCM模型；模型中包含對本體中概念識別的支持，針對本體中概念擴展了附件模板的附屬模板，附屬模板包含RUCM模型中具體使用的概念的名字、概念的描述、概念的依賴和概念對于本體的節點引用；將RUCM模型中使用的領域概念和本體模型關聯起來，包含對本體模型中概念之間的關系識別的支持，并將概念識別的關系進行標注；

步驟S203、在標注好本體的核心概念屬性和軟件需求的概念的基礎上，得到兩者之間的對應規則；

步驟S3、根據所述步驟S2建立的映射關系定義相應的一致性檢驗規則，通過規則自動檢測RUCM需求中描述的不一致，從而形成相應的評估報告；

所述步驟S3包括如下子步驟：

步驟S301、根據所述步驟S2建立的映射關系定義相應的軟件需求一致性檢驗規則和完整性檢驗規則；

所述軟件需求一致性檢驗規則包括：

本體模型的同一概念，RUCM模型在使用時不能出現不一致詞匯；

本體模型的概念關系，RUCM模型在使用時不能誤用；

RUCM模型中對本體模型中同一概念的引用必須完全規約到一類；

所述軟件需求完整性檢驗規則包括：

RUCM模型中引用的領域概念，都應在領域本體中有定義；

本體模型中概念的關系流，RUCM模型中概念在使用時必須要完整引用；

步驟S302、設計相應的分析需求的算法，自動形成相應的評估報告；

所述分析需求的算法，在建立好的領域本體和需求信息庫中做分析，自動檢測RUCM需求中描述的不一致，從而形成相應的評估報告；所述需求信息庫是包括對自由文本需求和RUCM需求模型這兩類軟件需求提取生成的需求信息的集合；

所述分析需求的算法采用以下三步：

對需求信息庫進行遍歷，查找不符合規則的需求；

對領域本體進行遍歷，查找需求信息庫中不完整的需求；

統計查找到的需求并生成相應的分析需求的報告。

2.根據權利要求1所述的基于本體的RUCM模型一致性檢查方法，其特征在于，

所述步驟S1包括如下子步驟：

步驟S101、通過分析領域相關的背景材料，形成抽象的領域核心概念，構建領域相關的本體概念庫；

步驟S102、結合軟件需求所需要實現的目標軟件系統的領域背景分析核心概念之間的關系，得到本體關系庫；

步驟S103、根據領域核心概念之間的關系，添加領域核心概念特定屬性得到本體概念屬性庫；

步驟S104、根據上述的本體概念庫、本體關系庫和本體概念屬性庫，形成本體模型的模板集合，然后將模板集合整合形成用于RUCM模型檢驗的本體模型庫即領域本體庫。

3.根據權利要求1所述的基于本體的RUCM模型一致性檢查方法，其特征在于，所述OntoRUCM模型的建模工具框架在基礎層復用了Eclipse的工作臺、Eclipse的插件開發環境PDE、Eclipse建模框架EMF的部分功能，在擴展層提供了擴展類庫，在編輯器層使用了編輯器和插件相互獨立的架構方式；所述Eclipse的工作臺提供基本圖形界面元素和文件資源管理功能，所述Eclipse的插件開發環境PDE實現元模型層面和編輯器層面的動態擴展功能，所述Eclipse建模框架EMF用以實現模型文件與其他工具的兼容性，所述擴展類庫用于增加一致性檢查的擴展點。