模型驅(qū)動系統(tǒng)中模型轉(zhuǎn)換技術(shù)的研究.pdf

1、2001年,OMG(國際對象管理組織)提出了MDA(模型驅(qū)動構(gòu)架)。MDA的關(guān)鍵之處就是軟件開發(fā)過程是由對軟件系統(tǒng)的建模行為驅(qū)動的。MDA的目標(biāo)是把業(yè)務(wù)和應(yīng)用邏輯與底層的平臺技術(shù)分離。目前雖然構(gòu)建平臺模型方面業(yè)內(nèi)己經(jīng)建立了相關(guān)標(biāo)準(zhǔn),并提出了很多轉(zhuǎn)換方法和提案,卻沒有形成統(tǒng)一的標(biāo)準(zhǔn),因此,只能說模型間的相互轉(zhuǎn)換技術(shù)尚處在探索階段,還需進(jìn)一步研究和討論。所以本文將以MDA整體框架為起點,對MDA中的模型轉(zhuǎn)換技術(shù)進(jìn)行深入研究。
　　

2、首先,全面的介紹MDA的相關(guān)理論及技術(shù),深入的闡述OMG定義的MDA的四個核心標(biāo)準(zhǔn):UML,MOF,CWM,XMI。然后對現(xiàn)階段PIM到PSM模型轉(zhuǎn)換的各種方法進(jìn)行討論,包括它們的優(yōu)點和不足。
　　 其次,對UML標(biāo)準(zhǔn)的子標(biāo)準(zhǔn)對象約束語言(OCL)進(jìn)行詳細(xì)介紹,包括OCL元模型與其在MDA中的主要用途等。由于OCL不但可以用于模型約束、查詢,還可以用于定義模型轉(zhuǎn)換規(guī)則和定義建模語言等,所以本文將結(jié)合OCL的特性分析其在MDA框架

3、中的應(yīng)用,然后提出一種基于UML和OCL的模型轉(zhuǎn)換方法。
　　 然后,重點闡述基于UML和OCL的模型轉(zhuǎn)換方法。包括定義轉(zhuǎn)換原理和轉(zhuǎn)換規(guī)則,利用元模型和對象約束語言分別去定義具體轉(zhuǎn)換規(guī)則,以及給出相應(yīng)的完整的模型轉(zhuǎn)換框架,并給予詳細(xì)說明。
　　 最后,通過一個高校排課系統(tǒng)對研究成果進(jìn)行應(yīng)用和驗證。詳細(xì)介紹了系統(tǒng)需求分析和總體設(shè)計,并基于Web的三層模式給出了此種方法從PIM到PSM模型轉(zhuǎn)換的具體過程,說明了基于UML和O