基于MDA的模型轉(zhuǎn)換研究與應(yīng)用.pdf

1、MDA是國(guó)際對(duì)象管理組織(OMG)為應(yīng)對(duì)業(yè)務(wù)和技術(shù)的快速變化提出的一種開放、中立的系統(tǒng)開發(fā)方法和一組建模語(yǔ)言標(biāo)準(zhǔn)的集合。MDA以模型作為系統(tǒng)開發(fā)活動(dòng)的主要制品，將一個(gè)應(yīng)用或集成系統(tǒng)分離為表示商業(yè)和應(yīng)用邏輯的平臺(tái)無關(guān)的模型(PIMs)和表示平臺(tái)技術(shù)的平臺(tái)相關(guān)的模型(PSMs)，通過模型轉(zhuǎn)換實(shí)現(xiàn)PIMs到PSMs并最終到代碼的(半)自動(dòng)化生成，從而為解決各種互不兼容平臺(tái)和中間件技術(shù)在系統(tǒng)集成和互操作方面存在的不足提供了新思路。 為實(shí)

2、現(xiàn)MDA環(huán)境下以模型為中心的系統(tǒng)開發(fā)方法，模型轉(zhuǎn)換是極需研究的課題。模型轉(zhuǎn)換是一個(gè)或多個(gè)的源模型作為輸入，通過執(zhí)行轉(zhuǎn)換規(guī)則產(chǎn)生一個(gè)或多個(gè)的目標(biāo)模型作為輸出的過程。模型轉(zhuǎn)換依賴于某些程序轉(zhuǎn)換和元建模已確立的領(lǐng)域元模型。 本文剖析了MDA軟件開發(fā)方法，指出了MDA開發(fā)的實(shí)質(zhì)：1)抽象、模型復(fù)用和模型產(chǎn)品化；2)元建模、模型精確化；3)模型轉(zhuǎn)換自動(dòng)化、轉(zhuǎn)換規(guī)則資產(chǎn)化。在結(jié)合領(lǐng)域元模型及決策模型理論的基礎(chǔ)上，本文給出了一種PIM精確建模

3、方法，保證了有效的實(shí)現(xiàn)模型轉(zhuǎn)換。 本文對(duì)模型轉(zhuǎn)換理論和方法進(jìn)行了深入的研究，特別是從PIM到PSM的轉(zhuǎn)換。從PIM到PSM的轉(zhuǎn)換是通過模型轉(zhuǎn)換引擎執(zhí)行模型轉(zhuǎn)換規(guī)則實(shí)現(xiàn)的，轉(zhuǎn)換規(guī)則是對(duì)元模型中的每一個(gè)元素進(jìn)行映射的規(guī)則，轉(zhuǎn)換規(guī)則定義了如何從源模型(如PIM)輸入轉(zhuǎn)換引擎產(chǎn)生目標(biāo)模型(如PSM)。在轉(zhuǎn)換規(guī)則還沒有標(biāo)準(zhǔn)化的情況下，本文研究了轉(zhuǎn)換規(guī)則的組織結(jié)構(gòu)，提出了轉(zhuǎn)換規(guī)則書寫規(guī)范即轉(zhuǎn)換定義，為實(shí)現(xiàn)模型轉(zhuǎn)換提供了理論基礎(chǔ)。同時(shí)，給出了

4、模型轉(zhuǎn)換過程控制方法。在此基礎(chǔ)上，結(jié)合本文提出了精確PIM建模方法，通過MDA開發(fā)示例，展現(xiàn)模型驅(qū)動(dòng)開發(fā)的優(yōu)勢(shì)和實(shí)踐了MDA開發(fā)思想。 本文研究了基于GReAT的模型轉(zhuǎn)換方法，并對(duì)該方法的各個(gè)部分進(jìn)行了詳細(xì)的分析，提出一種有效的基于GReAT的實(shí)現(xiàn)模型轉(zhuǎn)換的一般框架。在該框架內(nèi)，改進(jìn)了模型轉(zhuǎn)換引擎，提出了轉(zhuǎn)換規(guī)則庫(kù)等概念，彌補(bǔ)了該轉(zhuǎn)換方法的不足，從而完善了模型轉(zhuǎn)換理論。 本文的研究只是拋磚引玉，在模型轉(zhuǎn)換領(lǐng)域還有很多有意