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

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

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

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

4、型轉(zhuǎn)換等概念。在此基礎(chǔ)上，創(chuàng)新性的提出基于語義一致性的模型轉(zhuǎn)換方法。 其次，從宏觀語義一致性和元語義一致性兩個(gè)層面說明基于語義一致性的模型轉(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)用形式化語言擴(kuò)展機(jī)制重構(gòu)語言概念集的方法，建立元語義級(jí)的轉(zhuǎn)換關(guān)系。 第

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