基于本體的特征模型一致性檢測的研究與應(yīng)用.pdf

1、對同一領(lǐng)域軟件的復(fù)用開發(fā)被認(rèn)為是實現(xiàn)工業(yè)化生產(chǎn)方式的重要途徑，而需求的精確分析驗證則是軟件高品質(zhì)復(fù)用開發(fā)的基礎(chǔ)，當(dāng)前主流的生產(chǎn)線驅(qū)動方法是采用特征模型的方式捕獲領(lǐng)域需求的。但由于特征模型目前主要采取非形式化的方式描述，所以在一定程度上，各種方法對刻畫特征模型以及特征之間約束關(guān)系存在語義上的冗余和混亂，不能有效對特征模型進(jìn)行驗證。針對以上問題，本文提出了一種可在代碼級實現(xiàn)的基于本體的特征建模及一致性檢測方法。本文采用本體刻畫特征模型，既能

2、對特征模型進(jìn)行形式化描述，避免二義性，增強信息共享，又可以借助本體系統(tǒng)強大的推理能力對模型進(jìn)行驗證，從而在需求階段就保證軟件的質(zhì)量。此研究對于領(lǐng)域特征模型的語義建模與驗證，支持領(lǐng)域模型共享具有一定的指導(dǎo)作用。
　　首先，本文歸納了傳統(tǒng)特征模型存在的問題，分析了基于本體的特征模型的特點以及本體在其中發(fā)揮的作用，總結(jié)了特征模型國內(nèi)外研究現(xiàn)狀。
　　其次，本文研究了基于本體的特征建模方法，刻畫了特征模型中的特征類、特征間關(guān)系與約束