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

1、從機(jī)器語言誕生到各種軟件開發(fā)方法的提出，軟件模型不斷更新，軟件系統(tǒng)的靈活性和可伸縮性不斷提升。軟件系統(tǒng)開發(fā)的復(fù)雜程度越來越高，軟件的生產(chǎn)率也需要極大的提升。傳統(tǒng)的軟件開發(fā)通常采用文本和UML圖表的方式描述需求分析和設(shè)計(jì)過程，產(chǎn)生大量的文本文檔，給維護(hù)造成極大的困難，加上文檔與代碼存在不同步的問題，軟件的可靠性越來越難以保證，傳統(tǒng)的軟件開發(fā)已經(jīng)不能滿足實(shí)際開發(fā)的需要。隨著軟件工程概念的逐漸普及，MDA開發(fā)思想被日漸提出。MDA軟件開發(fā)思想

2、以模型為中心，系統(tǒng)建模驅(qū)動(dòng)整個(gè)開發(fā)過程，軟件開發(fā)者只需要專注于建立平臺(tái)獨(dú)立模型，并通過特定的自動(dòng)轉(zhuǎn)換工具就可以將模型轉(zhuǎn)換為代碼，減少了開發(fā)者的工作量。MDA提高了軟件系統(tǒng)的靈活性與可伸縮性，成為面向模型的軟件開發(fā)思想力推的新型軟件開發(fā)方法學(xué)。
　　查詢/視圖/轉(zhuǎn)換(QVT)是由OMG提出的用于實(shí)現(xiàn)MOF模型相互轉(zhuǎn)換的標(biāo)準(zhǔn)，QVT標(biāo)準(zhǔn)的核心是對模型轉(zhuǎn)換語言的定義，其核心語言Relations是一種用來描述轉(zhuǎn)換規(guī)則的標(biāo)準(zhǔn)語言，它基于關(guān)

3、聯(lián)/映射的QVT模型轉(zhuǎn)換規(guī)則，對抽象語法與具體語法進(jìn)行比較完整的定義，并對具體語法進(jìn)行語義的映射。然而模型之間常常存在相互嵌套甚至遞歸嵌套的情況，造成流程模型之間轉(zhuǎn)換規(guī)則的困難性與復(fù)雜性。QVT關(guān)系語言雖然是已發(fā)布的規(guī)范化描述轉(zhuǎn)換規(guī)則語言，但卻無法描述相互嵌套或遞歸嵌套的模式，影響了QVT的適用性。
　　論文首先探討了MDA模型驅(qū)動(dòng)開發(fā)的研究現(xiàn)狀與存在的問題，詳細(xì)分析QVT提案，比較了模型轉(zhuǎn)換常用的幾種方法的優(yōu)缺點(diǎn)。研究了模型轉(zhuǎn)換

4、的原理與步驟，論述了關(guān)聯(lián)/映射的模型轉(zhuǎn)換規(guī)則的抽象語法及具體語法，并對具體語法的語義進(jìn)行了定義，同時(shí)指出關(guān)聯(lián)/映射轉(zhuǎn)換規(guī)則中存在的不足，給出一種基于擴(kuò)展QVTRelations語言的模型轉(zhuǎn)換方法，詳細(xì)描述了嵌套關(guān)系表達(dá)式及關(guān)聯(lián)端點(diǎn)約束的語法及語義，對轉(zhuǎn)換規(guī)則進(jìn)行重新定義，使其更精確的描述流程模型之間的轉(zhuǎn)換規(guī)則，增強(qiáng)QVT的適用性。最后通過一個(gè)典型的實(shí)例，使用本文的轉(zhuǎn)換方法進(jìn)行模型轉(zhuǎn)換，實(shí)現(xiàn)模型從源模型到目標(biāo)模型的轉(zhuǎn)換，證明了該方法的可用