在MDA中的模型轉(zhuǎn)換方法研究.pdf

1、在傳統(tǒng)軟件開發(fā)中，隨著項目的進展，設(shè)計階段產(chǎn)生的模型和代碼間的同步變得越來越困難，代碼隨著實現(xiàn)技術(shù)和用戶需求的變化而不斷變換，這就造成了軟件生產(chǎn)效率低、可移植性差、互操作性差、以及維護代價高等問題。整個軟件行業(yè)正企盼一種新技術(shù)的出現(xiàn)來改變軟件開發(fā)的現(xiàn)狀。為了推動軟件技術(shù)的不斷發(fā)展，OMG提出了模型驅(qū)動架構(gòu)MDA(Model Driven Architecture)，一種軟件開發(fā)的新方法。 本文在學(xué)習(xí)MDA基本概念和模型轉(zhuǎn)換理論基

2、礎(chǔ)上，分析了ATL和OCL語言的數(shù)據(jù)類型和語法，論述了MDA中各種現(xiàn)有模型轉(zhuǎn)換技術(shù)的優(yōu)缺點。本文核心工作是提出以ATL和OCL相結(jié)合的模型轉(zhuǎn)換方法。 這種方法結(jié)合了ATL和OCL的特點和長處，用OCL對模型進行約束和補充定義，用ATL來實現(xiàn)模型的轉(zhuǎn)換，即能彌補ATL不能體現(xiàn)系統(tǒng)動態(tài)特性和保證數(shù)據(jù)一致性的不足，又能彌補OCL轉(zhuǎn)換效率低下的不足。 在本文的最后，通過一個開發(fā)實例來說明了在開發(fā)系統(tǒng)當(dāng)中如何使用所提出的方法，在一