基于MDA的模型轉(zhuǎn)換研究.pdf

1、自從上個(gè)世紀(jì)末以來(lái)，軟件開(kāi)發(fā)技術(shù)取得了快速發(fā)展，尤其引人注目的是面向?qū)ο蠹夹g(shù)中的UML(Unified Modeling Language,統(tǒng)一建模語(yǔ)言)建模技術(shù)，隨著其不斷研究發(fā)展，漸漸被許多公司、企業(yè)所認(rèn)可和接受，然而還存在一些問(wèn)題需要解決：第一，基于當(dāng)前的 UML技術(shù)所創(chuàng)建的系統(tǒng)模型是不可執(zhí)行的，模型正確性及精準(zhǔn)性很難得以保證，這樣就導(dǎo)致前期需求分析以及設(shè)計(jì)中的錯(cuò)誤、紕漏難以被發(fā)現(xiàn)，勢(shì)必會(huì)給后期開(kāi)發(fā)帶來(lái)不可預(yù)知的風(fēng)險(xiǎn)。第二，在不同

2、的平臺(tái)環(huán)境上，針對(duì)相同的系統(tǒng)功能需求，創(chuàng)建模型的細(xì)節(jié)有很大差別，這樣以來(lái)，系統(tǒng)的復(fù)用性就會(huì)在很大程度上降低。為了增強(qiáng)模型的驗(yàn)證能力，同時(shí)提高模型的復(fù)用性以及完成模型與實(shí)現(xiàn)技術(shù)的無(wú)關(guān)性，這就需要一種全新的建模技術(shù)來(lái)解決以上問(wèn)題。
　　MDA(Model DrivenArchitecture,模型驅(qū)動(dòng)構(gòu)架)作為一種模型驅(qū)動(dòng)開(kāi)發(fā)架構(gòu)，通過(guò)建模行為來(lái)驅(qū)動(dòng)軟件開(kāi)發(fā)過(guò)程?；?MDA的軟件開(kāi)發(fā)過(guò)程將需求分析與設(shè)計(jì)擺在了更加突出的位置。從高層次

3、的抽象的平臺(tái)獨(dú)立模型變換到平臺(tái)相關(guān)的模型，再由平臺(tái)相關(guān)模型變換到底層的代碼，都是依靠工具自動(dòng)實(shí)現(xiàn)的。MDA的核心是模型轉(zhuǎn)換，MDA的顯著特點(diǎn)就是變換的自動(dòng)化。當(dāng)前，MDA在發(fā)展過(guò)程中還有一些問(wèn)題，將PIM(Platform Independent Model,平臺(tái)無(wú)關(guān)模型)自動(dòng)變換到PSM(Platform Specific Model,平臺(tái)相關(guān)模型)是當(dāng)今亟待解決的重要問(wèn)題之一。
　　本文在全面介紹MDA的基礎(chǔ)理論與相關(guān)技術(shù)后，

4、分析并研究了基于MDA的軟件開(kāi)發(fā)方法的實(shí)質(zhì)、開(kāi)發(fā)過(guò)程、工作原理以及開(kāi)發(fā)步驟，并在此基礎(chǔ)上，深入研究了當(dāng)前模型轉(zhuǎn)換技術(shù)的定義和分類以及支持模型轉(zhuǎn)換技術(shù)的 MDA工具現(xiàn)狀，并歸納總結(jié)了模型轉(zhuǎn)換的目的及其重要意義，分析了元模型在 MDA開(kāi)發(fā)過(guò)程中的作用，提出了一套元建模方法，并利用該方法設(shè)計(jì)一個(gè)基于元模型的模型轉(zhuǎn)換框架，然后使用由OCL(Object Constraint Language,對(duì)象約束語(yǔ)言)語(yǔ)言編寫(xiě)的模型轉(zhuǎn)換規(guī)則，并將設(shè)計(jì)模式應(yīng)

5、用到PIM到PSM的模型轉(zhuǎn)換中去，用模式在元模型層對(duì)模型轉(zhuǎn)換進(jìn)行定義，提出基于模式的PIM到PSM的模型轉(zhuǎn)換方法。
　　本文利用油料供應(yīng)管理系統(tǒng)下的子系統(tǒng)OCRS(Oil Consume Regulate System,油料消耗調(diào)整系統(tǒng))模塊進(jìn)行了實(shí)例驗(yàn)證，通過(guò)分析 OCRS的業(yè)務(wù)模型，利用OptimalJ工具創(chuàng)建平臺(tái)無(wú)關(guān)的UML模型，即通過(guò)PIM的UML模型圖來(lái)描述系統(tǒng)的域模型，然后在更高的抽象層次上根據(jù)已經(jīng)制定的轉(zhuǎn)換方法，將