基于語義一致性的模型轉(zhuǎn)換方法及應(yīng)用.pdf

1、近年來，隨著Internet和Intranet/Extranet的快速發(fā)展，Web應(yīng)用被廣泛應(yīng)用到各個領(lǐng)域，Web應(yīng)用的開發(fā)效率及質(zhì)量要求不斷提高，開發(fā)工作的難度不斷增加。如何快速有效的開發(fā)出Web應(yīng)用成為業(yè)界研究的焦點之一。 OMG提出并倡導(dǎo)的MDA(Model Driven Architecture)，通過可視化建模將業(yè)務(wù)邏輯從具體的平臺中分離出來，建立起平臺無關(guān)模型(Platform IndependentModel，PI

2、M)，在模型映射規(guī)則支持下，建立起包含特定平臺信息的平臺相關(guān)模型(Platform Independent Model，PSM)，最終由代碼生成器生成可執(zhí)行代碼?；贛DA的軟件開發(fā)在應(yīng)用開發(fā)層次、開發(fā)效率、模型復(fù)用程度、可移植性、代碼一致性和可維護性上都有很大提高。當(dāng)前基于MDA的模型轉(zhuǎn)換方法大都依賴源模型和目標(biāo)模型的語法結(jié)構(gòu)，這要求源模型和目標(biāo)模型在結(jié)構(gòu)上具有較高的相似度。但在實際的模型轉(zhuǎn)換中，源模型和目標(biāo)模型在建模語言、建模側(cè)重點

3、以及建模者主觀因素等方面的差異，使得源模型和目標(biāo)模型之間在語法結(jié)構(gòu)上具有較低的相似度，因而難以直接建立二者之間的轉(zhuǎn)換關(guān)系。 針對以上問題，本文在對模型轉(zhuǎn)換中的語義要求進行深入研究的基礎(chǔ)上，提出了一種基于語義一致性的模型轉(zhuǎn)換方法，并將此模型轉(zhuǎn)換方法應(yīng)用于實際模型轉(zhuǎn)換的研究開發(fā)中。具體如下： 首先，本文深入分析課題的研究背景和研究現(xiàn)狀，對模型相似度、模型語義和模型轉(zhuǎn)換的語義要求進行歸納和總結(jié)，提出語義一致性和語義一致性的模

4、型轉(zhuǎn)換等概念。在此基礎(chǔ)上，創(chuàng)新性的提出基于語義一致性的模型轉(zhuǎn)換方法。 其次，從宏觀語義一致性和元語義一致性兩個層面說明基于語義一致性的模型轉(zhuǎn)換方法。通過語義約束概括抽象目標(biāo)語義模型，建立源模型與目標(biāo)語義模型的轉(zhuǎn)換關(guān)系以及目標(biāo)語義模型與目標(biāo)模型的轉(zhuǎn)換關(guān)系，從而以目標(biāo)語義模型為橋梁，建立源模型與目標(biāo)模型之間的宏觀轉(zhuǎn)換關(guān)系；分析MDA模型轉(zhuǎn)換框架結(jié)構(gòu)，提出應(yīng)用形式化語言擴展機制重構(gòu)語言概念集的方法，建立元語義級的轉(zhuǎn)換關(guān)系。 第

5、三，借助具體源模型(FMP模型)與目標(biāo)模型(基于JavaServer Faces平臺)的轉(zhuǎn)換，從理論上對該方法進行說明。在此基礎(chǔ)上，將該方法應(yīng)用于基于。FMP模型的代碼自動生成工具AUI的開發(fā)實踐中，建立起AU JavaServer Faces代碼生成器，從實際應(yīng)用角度說明該方法并驗證可用性和實用性。除此之外，本文還對當(dāng)前研究狀況進行了總結(jié)，并指出了未來需要完成的工作。 基于語義一致性的模型轉(zhuǎn)換方法，將模型轉(zhuǎn)換從單純依靠語法指