基于本體的領(lǐng)域需求建模過(guò)程研究.pdf

1、軟件復(fù)用的研究和實(shí)踐表明，特定領(lǐng)域的軟件復(fù)用活動(dòng)相對(duì)容易取得成功。領(lǐng)域工程是軟件復(fù)用的關(guān)鍵，即可復(fù)用軟件資產(chǎn)(包括體系結(jié)構(gòu)和構(gòu)件等)的生產(chǎn)階段，主要包括領(lǐng)域分析、領(lǐng)域設(shè)計(jì)和領(lǐng)域?qū)崿F(xiàn)這三個(gè)活動(dòng)。領(lǐng)域分析是對(duì)特定的領(lǐng)域進(jìn)行需求工程的活動(dòng)。 領(lǐng)域分析中最早提出面向特征的領(lǐng)域分析的方法是FODA(面向特征的領(lǐng)域分析方法Feature—Oriented Domain Analysis)，并且由FODA方法逐漸演化成基于產(chǎn)品線(Produc

2、t Line)的軟件復(fù)用方法。較早的面向?qū)ο蟮念I(lǐng)域工程方法是EDLC方法?；萜諏?shí)驗(yàn)室將．FODA方法與RSEB方法(Reuse—Driven Software Engineering Business)結(jié)合提出的FeatuRSEB方法。韓國(guó)釜山國(guó)家大學(xué)在研究了FODA、FORM、 FeatuRSEB等方法后，總結(jié)了這些方法的之后，提出了一種產(chǎn)品線核心基于可變性和不變性的領(lǐng)域需求分析方法。 本文在分析了比較成熟領(lǐng)域分析方法之后，總

3、結(jié)了現(xiàn)有方法的7點(diǎn)不足：(1)對(duì)于可變性和不變性的確定比較機(jī)械；(2)區(qū)分領(lǐng)域內(nèi)的建模角色不明確；(3)沒(méi)有采用專家分析法和自動(dòng)分析法相結(jié)合；(4)模型演化和應(yīng)用性不強(qiáng)：(5)難以進(jìn)行領(lǐng)域模型檢驗(yàn)：(6)缺少領(lǐng)域詞典；(7)缺少特有的工具支持。 我們針對(duì)以上的不足提出結(jié)合本體和特征趨動(dòng)的領(lǐng)域分析過(guò)程OBDA(Ontology Based software Domain Analysis)。建模過(guò)程有6個(gè)步驟：領(lǐng)域建模準(zhǔn)備工作、建

4、立領(lǐng)域業(yè)務(wù)動(dòng)作分解關(guān)系、識(shí)別領(lǐng)域業(yè)務(wù)動(dòng)作刻面、識(shí)別領(lǐng)域泛化關(guān)系、建立領(lǐng)域依賴關(guān)系和模型檢驗(yàn)。 OBDA的主要特點(diǎn)在：(1)OBDA將建模角色分成三類：領(lǐng)域?qū)＜?、領(lǐng)域軟件工程師和領(lǐng)域建模師。并且在領(lǐng)域分析建模的六個(gè)階段按照三類角色分配任務(wù)。(2)OBDA采用本體描述模型，結(jié)合我們提出的基于本體的領(lǐng)域工程，使得基于本體的領(lǐng)域模型能夠在領(lǐng)域工程中得到無(wú)縫重用。(3)OBDA應(yīng)用本體的自動(dòng)推理功能完成領(lǐng)域模型的檢驗(yàn)和模型轉(zhuǎn)換，從而能夠適