特征模型是一種管理軟件產(chǎn)品線中可復(fù)用需求的方法。領(lǐng)域軟件產(chǎn)品線通�；诔墒斓念I(lǐng)域建立。將領(lǐng)域中任意一個(gè)特征模型作為基礎(chǔ)特征模型,根據(jù)其余特征模型提供的重構(gòu)元素,對(duì)基礎(chǔ)特征模型進(jìn)行重構(gòu)的方法,可以提高建立領(lǐng)域特征模型的效率。在當(dāng)前的特征模型重構(gòu)方法中存在以下問題:（1）特征模型重構(gòu)時(shí),使用不同特征名標(biāo)識(shí)相同特征,導(dǎo)致重構(gòu)中將相同特征判斷為不同特征,進(jìn)而將相同關(guān)系判斷為不同關(guān)系,不能得到預(yù)期的重構(gòu)結(jié)果;（2）每一次特征模型重構(gòu)會(huì)出現(xiàn)新的特征模型,導(dǎo)致追溯和規(guī)劃特征模型重構(gòu)版本困難。為了解決以上問題,本文的主要研究工作如下:1.為了解決待重構(gòu)的特征模型集合中使用不同特征名標(biāo)識(shí)相同特征的問題,基于描述邏輯解釋函數(shù)的思想,使用語義術(shù)語統(tǒng)一標(biāo)識(shí)特征語義,根據(jù)特征名與語義術(shù)語的映射關(guān)系,得到一種基于語義擴(kuò)展特征模型的方法。2.根據(jù)擴(kuò)展的特征模型,提出一種基于語義的特征模型重構(gòu)方法。使用描述邏輯表示特征模型,并根據(jù)擴(kuò)展的特征模型中的映射關(guān)系表改進(jìn)特征模型重構(gòu)算法。利用描述邏輯支持自動(dòng)推理的性質(zhì),使用自動(dòng)推理機(jī)對(duì)重構(gòu)得到的描述邏輯知識(shí)庫(kù)進(jìn)行一致性檢測(cè),建模人員根據(jù)檢測(cè)結(jié)果修改當(dāng)中的不一致,得到最終的描述... 

【文章來源】：重慶郵電大學(xué)重慶市

【文章頁數(shù)】：74 頁

【學(xué)位級(jí)別】：碩士

【部分圖文】：

添加TBox的角色

Feature(? x ) Feature(? y ) Feature(? z )Xor(? x,? y ) Xor(? x,? z ) BindState(? x,bound )BindState(? y,undecided ) BindState(? z,undecided )(3.17)將公式(3.12)表示的或關(guān)系語義轉(zhuǎn)換為 SRWL 形式的規(guī)則，如公式(3.18)所示。 Feature(? x ) Feature(? y ) Feature(? z )Or(? x,? y ) Or(? x,? z ) BindState(? x,bound )BindState(? y,undecided ) BindState(? z,undecided )(3.18)將公式(3.13)表示的依賴關(guān)系語義轉(zhuǎn)換為SRWL形式的規(guī)則，如公式(3.19)所示。 Feature(? x ) Feature(? y ) Re quires(? x,? y ) BindState(? x,bound )BindState(? y,bound )(3.19)將公式(3.14)表示的互斥關(guān)系語義轉(zhuǎn)換為SRWL形式的規(guī)則，如公式(3.19)所示。 Feature(? x ) Feature(? y ) Excludes(? x,? y ) BindState(? x,bound )BindState(? y,removed )(3.20)將定義的 6 種 SRWL 形式的規(guī)則存入插件 SWRL Tab 中，如圖 3.7 所示。

Graph-ManipulateDeleteSelectSelect-ModeAddEntity-AddConnector-AddCompose MoveDimThree-DimTwo-Dim圖 3.9 待一致性檢測(cè)的特征模型3.5.3 一致性檢測(cè)借助描述邏輯支持推理的特點(diǎn)，使用工具 Protégé 自動(dòng)檢測(cè)第二次約束關(guān)系重構(gòu)得到的知識(shí)庫(kù) Krefactor的一致性。在 Protégé 的 Individuals 中，輸入 Krefactor中的特征實(shí)例，如圖 3.10 所示。


本文編號(hào)：2964101