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

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

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