MDA框架下基于語(yǔ)義保持的大粒度模型轉(zhuǎn)換方法研究.pdf

1、市場(chǎng)飛速發(fā)展使得企業(yè)之間的競(jìng)爭(zhēng)越來越激烈，不斷變化的市場(chǎng)需求迫使企業(yè)不斷地調(diào)整自身的業(yè)務(wù)，而這些不斷變化的業(yè)務(wù)信息，即軟件需求對(duì)企業(yè)應(yīng)用軟件的開發(fā)也提出了更高的要求。因此，企業(yè)應(yīng)用軟件如何快速適應(yīng)不斷變化的軟件需求已成為軟件開發(fā)領(lǐng)域的一個(gè)重要挑戰(zhàn)。
　　針對(duì)這個(gè)挑戰(zhàn)，采用模型驅(qū)動(dòng)架構(gòu)(Model-Driven Architecture)的方法實(shí)現(xiàn)企業(yè)應(yīng)用軟件的開發(fā)已取得了較為突出的成績(jī)。MDA是由不同抽象層次的模型以及這些模型的轉(zhuǎn)

2、換所構(gòu)成的一個(gè)體系結(jié)構(gòu)?；贛DA的企業(yè)應(yīng)用軟件開發(fā)是一個(gè)以業(yè)務(wù)模型和軟件模型為載體并由它們之間的模型轉(zhuǎn)換來驅(qū)動(dòng)的過程，將企業(yè)需求的變化以模型變化的形式表現(xiàn)出來，通過模型轉(zhuǎn)換將這些變化傳遞給軟件模型，直到軟件系統(tǒng)，以提高企業(yè)應(yīng)用軟件快速響應(yīng)不斷變化的市場(chǎng)需求。本文重點(diǎn)研究 MDA框架下模型轉(zhuǎn)換的關(guān)鍵技術(shù)，在傳統(tǒng)轉(zhuǎn)換規(guī)則基礎(chǔ)上，引入數(shù)據(jù)挖掘思想構(gòu)造大粒度的轉(zhuǎn)換規(guī)則，通過這些大粒度的轉(zhuǎn)換規(guī)則實(shí)現(xiàn)大粒度的模型轉(zhuǎn)換，以提高模型轉(zhuǎn)換的效率和精度。

3、具體研究?jī)?nèi)容包括：
　　(1)針對(duì)轉(zhuǎn)換規(guī)則中模型語(yǔ)義表示形式復(fù)雜、語(yǔ)義證明困難等問題，著重研究了轉(zhuǎn)換規(guī)則的抽象語(yǔ)法和具體語(yǔ)法，包括原子轉(zhuǎn)換規(guī)則和復(fù)合(大粒度)轉(zhuǎn)換規(guī)則。針對(duì)已構(gòu)造的轉(zhuǎn)換規(guī)則，分析轉(zhuǎn)換規(guī)則的結(jié)構(gòu)以及它們之間的語(yǔ)義關(guān)系，研究了轉(zhuǎn)換規(guī)則的組織形式。為了支持轉(zhuǎn)換規(guī)則重用，研究了轉(zhuǎn)換規(guī)則的復(fù)合運(yùn)算，為構(gòu)造復(fù)合(大粒度)轉(zhuǎn)換規(guī)則提供理論依據(jù)。
　　(2)針對(duì)轉(zhuǎn)換規(guī)則構(gòu)造過程中模型語(yǔ)義信息的提取等困難，分析了已有轉(zhuǎn)換規(guī)則的

4、構(gòu)造方法，以及粗集理論提取語(yǔ)義技術(shù)，研究了基于粗集的轉(zhuǎn)換規(guī)則構(gòu)造方法。針對(duì)參與模型轉(zhuǎn)換的模型元素變化，建模語(yǔ)言進(jìn)化等原因，分析了影響構(gòu)造轉(zhuǎn)換規(guī)則的情況，研究了轉(zhuǎn)換規(guī)則的增量式更新方法。針對(duì)轉(zhuǎn)換規(guī)則的評(píng)價(jià)及度量復(fù)雜等問題，研究了轉(zhuǎn)換規(guī)則的度量指標(biāo)，為轉(zhuǎn)換規(guī)則的選取提供依據(jù)。
　　(3)針對(duì)僅使用原子轉(zhuǎn)換規(guī)則進(jìn)行的模型轉(zhuǎn)換可能出現(xiàn)(不支持的)模型元素轉(zhuǎn)換失敗、須反復(fù)確定轉(zhuǎn)換規(guī)則執(zhí)行順序等問題，研究了利用復(fù)合轉(zhuǎn)換規(guī)則實(shí)現(xiàn)模型轉(zhuǎn)換的方法。

5、首先，從企業(yè)相似的業(yè)務(wù)模型和軟件模型存在相似的業(yè)務(wù)模式和軟件模式角度，分析這些相似的模式在轉(zhuǎn)換規(guī)則中的體現(xiàn)形式，提出了轉(zhuǎn)換模式的概念，并研究了復(fù)合轉(zhuǎn)換規(guī)則的構(gòu)造方法。針對(duì)復(fù)合轉(zhuǎn)換規(guī)則參與的模型轉(zhuǎn)換，研究了復(fù)合轉(zhuǎn)換規(guī)則對(duì)應(yīng)的可轉(zhuǎn)換子模型的檢測(cè)方法。分析可轉(zhuǎn)換子模型集合與源模型的語(yǔ)義關(guān)系，研究了劃分可轉(zhuǎn)換子模型的語(yǔ)義一致性保持方法，為模型轉(zhuǎn)換的語(yǔ)義一致性提供理論依據(jù)。
　　(4)針對(duì)應(yīng)用多粒度轉(zhuǎn)換規(guī)則進(jìn)行模型轉(zhuǎn)換出現(xiàn)轉(zhuǎn)換方案多（可轉(zhuǎn)換