轉(zhuǎn)換規(guī)則建模與規(guī)則代碼生成的研究.pdf

1、模型驅(qū)動(dòng)軟件開(kāi)發(fā)(MDSD)關(guān)注的焦點(diǎn)是模型驅(qū)動(dòng)架構(gòu)(MDA)在軟件工程中的運(yùn)用。MDSD的主要目標(biāo)是提高軟件開(kāi)發(fā)效率，并通過(guò)提高模型的抽象層次來(lái)提高軟件復(fù)雜度的易處理性。隨著建模的復(fù)雜度不斷提高，定義不同模型之間的轉(zhuǎn)換規(guī)則變得越來(lái)越復(fù)雜，并且不同MDSD平臺(tái)都有一套相對(duì)獨(dú)立的開(kāi)發(fā)技術(shù)和模型轉(zhuǎn)換語(yǔ)言，這使得平臺(tái)之間缺乏兼容性。
　　 針對(duì)以上問(wèn)題，本文提出了一種為轉(zhuǎn)換規(guī)則建模的方法，其基本思路是：定義一種平臺(tái)無(wú)關(guān)的轉(zhuǎn)換規(guī)則元模型

2、來(lái)描述轉(zhuǎn)換規(guī)則模型。通過(guò)轉(zhuǎn)換規(guī)則模型可以描述模型之間的轉(zhuǎn)換關(guān)系。利用模型轉(zhuǎn)換技術(shù)，將建立的轉(zhuǎn)換規(guī)則模型轉(zhuǎn)換為具體平臺(tái)的轉(zhuǎn)換語(yǔ)言模型。然后設(shè)計(jì)轉(zhuǎn)換規(guī)則代碼的模板，實(shí)現(xiàn)轉(zhuǎn)換語(yǔ)言模型到轉(zhuǎn)換規(guī)則代碼的自動(dòng)生成。最后生成的轉(zhuǎn)換規(guī)則代碼可作為模型轉(zhuǎn)換引擎的輸入，實(shí)現(xiàn)不同模型之間的轉(zhuǎn)換。以上方法的步驟和具體實(shí)現(xiàn)過(guò)程分為：
　　 首先，分析模型轉(zhuǎn)換的基本需求，設(shè)計(jì)一種與具體轉(zhuǎn)換語(yǔ)言無(wú)關(guān)的轉(zhuǎn)換規(guī)則元模型來(lái)定義模型轉(zhuǎn)換的基本要素。其次，采用Ecli

3、pse插件技術(shù)實(shí)現(xiàn)轉(zhuǎn)換規(guī)則模型的建模插件，該插件可以構(gòu)造轉(zhuǎn)換規(guī)則模型，并自動(dòng)生成相應(yīng)的XML文件。為了實(shí)現(xiàn)轉(zhuǎn)換規(guī)則模型到具體轉(zhuǎn)換語(yǔ)言模型的轉(zhuǎn)換，本文以ATL模型轉(zhuǎn)換語(yǔ)言為例，從KM3語(yǔ)言中提取并設(shè)計(jì)ATL的Ecore元模型。然后，在Eclipse平臺(tái)下定義轉(zhuǎn)換規(guī)則元模型及ATL元模型，以及轉(zhuǎn)換規(guī)則元模型與ATL元模型之間的映射關(guān)系。基于該映射關(guān)系，可實(shí)現(xiàn)轉(zhuǎn)換規(guī)則模型到ATL模型的自動(dòng)轉(zhuǎn)換。最后，利用模板技術(shù)編寫ATL語(yǔ)言的轉(zhuǎn)換模板，實(shí)現(xiàn)

4、了ATL模型到ATL代碼的自動(dòng)轉(zhuǎn)換。
　　 本文提出的轉(zhuǎn)換規(guī)則元模型與具體轉(zhuǎn)換語(yǔ)言無(wú)關(guān)，增強(qiáng)了轉(zhuǎn)換規(guī)則模型往不同轉(zhuǎn)換語(yǔ)言擴(kuò)展的能力。在模型轉(zhuǎn)換過(guò)程中加入一層平臺(tái)無(wú)關(guān)的轉(zhuǎn)換規(guī)則模型，能使開(kāi)發(fā)人員復(fù)用模型轉(zhuǎn)換代碼，更直觀了解整個(gè)模型轉(zhuǎn)換過(guò)程，提高了開(kāi)發(fā)和維護(hù)的效率，增強(qiáng)了轉(zhuǎn)換規(guī)則模型的可管理性。在Eclipse平臺(tái)下對(duì)提出的方法和過(guò)程進(jìn)行了實(shí)現(xiàn)，實(shí)驗(yàn)表明所提出的方法和實(shí)現(xiàn)過(guò)程能是可行有效的，為MDSD的軟件開(kāi)發(fā)和模型轉(zhuǎn)換過(guò)程提供了一