基于MDA的EJB模型轉(zhuǎn)換規(guī)則研究.pdf

1、本文主要對(duì)PIM(Platform Independent Model)到EJBPSM(Platform Specific Model)轉(zhuǎn)換進(jìn)行了研究。介紹了模型驅(qū)動(dòng)架構(gòu)MDA的相關(guān)理論及技術(shù)，總結(jié)了對(duì)象約束語言O(shè)CL在MDA應(yīng)用的三個(gè)方面。本文研究?jī)?nèi)容主要有三:第一，深入研究了OCL的語法語義結(jié)構(gòu)，結(jié)合MDA中模型轉(zhuǎn)換的期望特征，給出了一個(gè)擴(kuò)展的OCL元模型OCL-Extension MetaModel，該模型對(duì)OCL表達(dá)式和表達(dá)類型

2、進(jìn)行了擴(kuò)展，補(bǔ)充了OCL體系框架。在此基礎(chǔ)·上，本文總結(jié)了傳統(tǒng)模型轉(zhuǎn)換過程中的不足點(diǎn)，提出了一種基于OCL-Extension的模型轉(zhuǎn)換框架，并給出了具體的一般式表達(dá)描述。第二，通過研究了EJB平臺(tái)的相關(guān)技術(shù)特性，結(jié)合擴(kuò)展OCL定義的模型轉(zhuǎn)換框架，本文定義了平臺(tái)無關(guān)模型PIM到EJB平臺(tái)組件模型的轉(zhuǎn)換規(guī)則，分別給出了規(guī)則的思想描述和形式化表達(dá)。第三，在前兩方面的理論基礎(chǔ)上給出了一個(gè)實(shí)例驗(yàn)證。在MDA規(guī)范的模型轉(zhuǎn)換技術(shù)支持下，借助RSA工