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

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

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

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

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

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