資源描述:
《基于語義一致性模型轉(zhuǎn)換方法及應用》由會員上傳分享,免費在線閱讀,更多相關內(nèi)容在學術論文-天天文庫。
1、山東大學碩士學位論文摘要近年來,隨著IIltemet和IIltr鋤e佃xtr柚et的快速發(fā)展,w曲應用被廣泛應用到各個領域,W曲應用的開發(fā)效率及質(zhì)量要求不斷提高,開發(fā)工作的難度不斷增加。如何快速有效的開發(fā)出W曲應用成為業(yè)界研究的焦點之一。OMG提出并倡導的MDA(ModelDriv朗AfchitectIlre),通過可視化建模將業(yè)務邏輯從具體的平臺中分離出來,建立起平臺無關模型(Platformhld印脅dentModel,PIM),在模型映射規(guī)則支持下,建立起包含特定平臺信息的平臺相關模型(PlatformhId印∞demModd,PsM)
2、,最終由代碼生成器生成可執(zhí)行代碼?;贛DA的軟件開發(fā)在應用開發(fā)層次、開發(fā)效率、模型復用程度、可移植性、代碼一致性和可維護性上都有很大提高。當前基于MDA的模型轉(zhuǎn)換方法大都依賴源模型和目標模型的語法結構,這要求源模型和目標模型在結構上具有較高的相似度。但在實際的模型轉(zhuǎn)換中,源模型和目標模型在建模語言、建模側重點以及建模者主觀因素等方面的差異,使得源模型和目標模型之間在語法結構上具有較低的相似度,因而難以直接建立二者之間的轉(zhuǎn)換關系。針對以上問題,本文在對模型轉(zhuǎn)換中的語義要求進行深入研究的基礎上,提出了一種基于語義一致性的模型轉(zhuǎn)換方法,并將此模型
3、轉(zhuǎn)換方法應用于實際模型轉(zhuǎn)換的研究開發(fā)中。具體如下:首先,本文深入分析課題的研究背景和研究現(xiàn)狀,對模型相似度、模型語義和模型轉(zhuǎn)換的語義要求進行歸納和總結,提出語義一致性和語義一致性的模型轉(zhuǎn)換等概念。在此基礎上,創(chuàng)新性的提出基于語義一致性的模型轉(zhuǎn)換方法。其次,從宏觀語義一致性和元語義一致性兩個層面說明基于語義一致性的模型轉(zhuǎn)換方法。通過語義約束概括抽象目標語義模型,建立源模型與目標語義模型的轉(zhuǎn)換關系以及目標語義模型與目標模型的轉(zhuǎn)換關系,從而以目標語義模型為橋梁,建立源模型與目標模型之間的宏觀轉(zhuǎn)換關系;分析MDA模型轉(zhuǎn)換框架結構,提出應用形式化語言擴
4、展機制重構語言概念集的方法,建立元語義級的轉(zhuǎn)換關系。山東大學碩士學位論文第三,借助具體源模型(FMP模型)與目標模型(基于JavaSeⅣerFaces平臺)的轉(zhuǎn)換,從理論上對該方法進行說明。在此基礎上,將該方法應用于基于FMP模型的代碼自動生成工具AUI的開發(fā)實踐中,建立起AUIJavaservefFaces代碼生成器,從實際應用角度說明該方法并驗證可用性和實用性。除此之外,本文還對當前研究狀況進行了總結,并指出了未來需要完成的工作。基于語義一致性的模型轉(zhuǎn)換方法,將模型轉(zhuǎn)換從單純依靠語法指導下的轉(zhuǎn)換提高到語法和語義相結合下的轉(zhuǎn)換,在語義的約束
5、下建立模型之間的轉(zhuǎn)換,從而為模型轉(zhuǎn)換提供語義層面的指導。這些研究將有力地推動模型轉(zhuǎn)換方法和代碼自動生成的研究與發(fā)展,有著重要的理論意義和實用價值。關鍵詞:模型轉(zhuǎn)換:語義一致性;模型驅(qū)動架構;模型驅(qū)動開發(fā)n山東大學碩士學位論文ABSTRACTwiththerapiddevelopmentsofIIltemet姐dIIItr粕et/E)【t啪鴨W曲applicati∞shavebe鋤appliedinmanyfields.Becauseofthat,I∞r(nóng)e鋤dmoredifficllltiesoftheW曲developm即ts盯einduce
6、dby1llecons伽npmductivityimprovem鋤ts粕dhi曲qualily佗quirementsofW曲印plications’developments.HowtodeVelopW曲印plicationsrapidly鋤de虢cdvelyhavebecomemekeyfieldinrrindus吼皿eorg鋤izationOMGhadbe∞pro“dingandadVocatingmeMDA(ModelDriv∞ArchitectIIre)project.Theprojecth鵲tllebusin郫slo百cisolate
7、dfromspecmcplatformsbyvisualmodeling鋤dconstrIIc協(xié)tllepla響mind印朗dentmodels唧岣.AccordingtllePIMs肌d啪delmappingmles,也epla怕mspecificmodels(PSM),whichcontaininform撕onofspecmcplatfb加s,a聆g∞erated.Th鋤血e∞deg饑er卸【orbaseonPSMspmducestheexec砸Vecodesaboutspecificpl礎b啪s.Thesoft咄d“elopm鋤tsb鵝
8、edonMDAprovidemanyadV鋤tagesonmanyfields,鯽ch勰abs仃actlevelofdevelopment,emci髓cy,刪)de