基于語義一致性的模型轉換方法及應用.pdf

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

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

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

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

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