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

有效

• 申請?zhí)枺?/td>: 201710366026.1
• 申請日: 2017-05-23
• 公開（公告）號: CN107168762B
• 公開（公告）日: 2020-07-03
• 發(fā)明（設(shè)計）人: 劉超;胡京徽;楊海燕;吳際
• 申請（專利權(quán)）人: 北京航空航天大學(xué)
• 主分類號: G06F8/41
• 分類號: G06F8/41
• 代理公司: 北京天達(dá)知識產(chǎn)權(quán)代理事務(wù)所(普通合伙) 11386
• 代理人: 龐許倩;馬東偉

本發(fā)明涉及一種基于本體的RUCM模型一致性檢查方法，所述方法包括以下步驟：對領(lǐng)域知識進(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è)計了擴(kuò)展支持本體模型檢查的RUCM模型；提供一種基于本體的RUCM模型一致性檢查方法的算法工具。本發(fā)明解決了利用領(lǐng)域知識快速高效地檢查需求中不一致的缺陷；同時可以解決重復(fù)的勞動，提供需求的準(zhǔn)確性和完整性。

技術(shù)領(lǐng)域

本發(fā)明涉及RUCM建模技術(shù)領(lǐng)域，尤其涉及一種基于本體的RUCM模型一致性檢查方法。

背景技術(shù)

大多數(shù)軟件需求規(guī)格說明是通過自然語言撰寫的。在軟件需求規(guī)格說明文檔中，大部分領(lǐng)域概念是通過自然語言定義和描述的，軟件需求的具體需求項(xiàng)也是通過自然語言撰寫的。因此,在這些需求描述中,往往存在模棱兩可或含糊不清的表述，這種不確定的表述往往在不同項(xiàng)目中會出現(xiàn)分歧和誤解，很有可能導(dǎo)致軟件項(xiàng)目的失敗。在撰寫軟件需求規(guī)格說明時，除了使用傳統(tǒng)的純自然語言描述的形式以外，一種基于規(guī)則約束自然語言的結(jié)構(gòu)化用例描述模板(RUCM建模)的方法也被廣泛使用。該方法定義了描述軟件需求用例規(guī)則模板，對特定的規(guī)則描述模板中包含的說明項(xiàng)是自然語言描述的。在RUCM(ReatrictedUse Case Modeling)建模方法中，需求描述采用具有限制的自然語言和用例規(guī)約模板來描述。由于軟件需求分析師在使用RUCM建模方法過程中，缺少對軟件需求的領(lǐng)域知識的了解，最后形成的軟件需求規(guī)格說明往往會出現(xiàn)不一致的領(lǐng)域相關(guān)的錯誤。對于同樣的功能，不同的軟件需求分析師，根據(jù)對軟件需求的領(lǐng)域知識的了解的信息不對等和不完備，最終撰寫的軟件需求文檔可能會存在很大的不一致問題。

發(fā)明內(nèi)容

鑒于上述的分析，本發(fā)明旨在提供一種基于本體的RUCM模型一致性檢查方法，用以解決現(xiàn)有的軟件需求分析師在撰寫軟件需求中存在的需求不一致的問題。

所述方法結(jié)合本體模型表達(dá)的領(lǐng)域知識，分析包含自然語言描述的需求文本和RUCM模型描述的用例需求的軟件需求的一致性、完整性。所述本體是對領(lǐng)域中包含的知識進(jìn)行特定抽象表達(dá)。在計算機(jī)科學(xué)研究領(lǐng)域上，所述本體模型是按照領(lǐng)域中的概念、概念間的關(guān)系、概念屬性抽象出現(xiàn)實(shí)的模型。

本發(fā)明的目的主要是通過以下技術(shù)方案實(shí)現(xiàn)的：

包括如下步驟：

步驟S1、建立用于RCUM模型檢驗(yàn)的本體模型庫；

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

步驟S3、根據(jù)所述步驟S2建立的映射關(guān)系定義相應(yīng)的一致性檢驗(yàn)規(guī)則，通過規(guī)則自動檢測RUCM需求中描述的不一致，從而形成相應(yīng)的評估報告。

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

步驟S101、通過分析領(lǐng)域相關(guān)的背景材料，形成抽象的領(lǐng)域概念，構(gòu)建領(lǐng)域相關(guān)的本體概念庫；

步驟S102、結(jié)合軟件需求所需要實(shí)現(xiàn)的目標(biāo)軟件系統(tǒng)的領(lǐng)域背景分析核心概念之間的關(guān)系，得到本體關(guān)系庫；

步驟S103、根據(jù)領(lǐng)域核心概念之間的關(guān)系，添加領(lǐng)域概念特定屬性得到本體概念屬性庫；

步驟S104、根據(jù)上述的本體概念庫、本體關(guān)系庫和本體概念屬性庫，形成本體模型的模板集合，然后將模板集合整合形成用于RUCM模型檢驗(yàn)的本體模型庫即領(lǐng)域本體庫。

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

步驟S201、確定和標(biāo)注本體的核心概念屬性；

步驟S202、識別和標(biāo)注軟件需求的概念；