1、MDA是國際對象管理組織(OMG)為應(yīng)對業(yè)務(wù)和技術(shù)的快速變化提出的一種開放、中立的系統(tǒng)開發(fā)方法和一組建模語言標準的集合。MDA以模型作為系統(tǒng)開發(fā)活動的主要制品，將一個應(yīng)用或集成系統(tǒng)分離為表示商業(yè)和應(yīng)用邏輯的平臺無關(guān)的模型(PIMs)和表示平臺技術(shù)的平臺相關(guān)的模型(PSMs)，通過模型轉(zhuǎn)換實現(xiàn)PIMs到PSMs并最終到代碼的(半)自動化生成，從而為解決各種互不兼容平臺和中間件技術(shù)在系統(tǒng)集成和互操作方面存在的不足提供了新思路?！　閷崿F(xiàn)M

2、DA環(huán)境下以模型為中心的系統(tǒng)開發(fā)方法，元建模是極需研究的主題。元建模類似建?；顒樱鼈冎g的區(qū)別之一是建模的主題不同，元建模是對建模語言進行建模，以描述或定義建模語言的語法、語義和語用，為在MDA環(huán)境下定義和使用建模語言提供了理論和應(yīng)用框架。元建模主要可分為兩個刻面：元模型定義、模型組合與轉(zhuǎn)換。元模型定義為模型組合與轉(zhuǎn)換提供了詞匯、結(jié)構(gòu)和假設(shè)；模型組合使得來自相同或不同的元模型下的現(xiàn)有模型可通過組合方式構(gòu)造出新的模型，它提供了一種領(lǐng)域知

3、識設(shè)計件的重用途徑；模型轉(zhuǎn)換使得抽象模型可以被轉(zhuǎn)換為更具體的模型、提供了構(gòu)造新模型的另一種方式和為模型提供操作語義。但從目前的MDA幾個重要標準如元對象設(shè)施(MOF)、統(tǒng)一建模語言(UML)、MOF查詢/視圖/轉(zhuǎn)換(QVT)等來看，建模語言的定義和使用方面仍然存在一些問題，突出表現(xiàn)在：元模型定義的含糊性和循環(huán)定義、模型實例化術(shù)語的至少兩種含義、多種元模型定義的交叉點問題、模型組合與轉(zhuǎn)換缺乏統(tǒng)一考慮等?！　”疚恼J為僅使用圖形、對象約束語

4、言(OCL)和自然語言，不足以作為元建?；顒拥耐陚涠x工具，沒有具有良好語義基礎(chǔ)、支持面向?qū)ο蟮闹虚g文本語言作為元模型的定義、解釋、推理、模型的組合與轉(zhuǎn)換等活動的基準是導(dǎo)致上述問題的重要原因之一。具有良好語義基礎(chǔ)的中間文本語言不僅僅提供了元模型的文本表示，更重要的是它的底層數(shù)學(xué)模型為元建模活動提供了堅實的理論基礎(chǔ)。當元建模者帶著該數(shù)學(xué)模型的意識進行元建模時，將有利于創(chuàng)建具有更清晰語義、更易推理和評價的建模語言?！　≡谘芯吭＠碚?、代

5、數(shù)語義學(xué)的可執(zhí)行代數(shù)規(guī)范基礎(chǔ)上，本文提出了元建模的對象消息并發(fā)重寫(OMCR)的方法。該方法以面向?qū)ο蟮目蓤?zhí)行代數(shù)規(guī)范作為底層語義基礎(chǔ)，為元模型形式化表示、模型檢查、模型組合與轉(zhuǎn)換等元建?；顒犹峁┝饲逦?、具有可執(zhí)行性的語義模型。　　根植于代數(shù)項基礎(chǔ)的值模型和類別基礎(chǔ)的型模型，OMCR方法為元模型、元模型實例化和模型間的關(guān)系提供了更加準確、與實現(xiàn)無關(guān)的參照系。對MDA環(huán)境下的模型實例化關(guān)系術(shù)語的至少兩種語義進行了劃分，具體分為同層實例

6、化關(guān)系和異層實例化關(guān)系，而不是籠統(tǒng)的實例化關(guān)系，這使得基于實例化關(guān)系的元模型定義技術(shù)具有了更明確的語義。通過重寫邏輯的自反特性，對象級模型可被反射到上一元級并以元表示的形式而存在，由于重寫邏輯的反射機制是無限的，因而為MOF、UML的元模型的循環(huán)定義提供了第二個參照系。通過觀察和實例基礎(chǔ)的證明顯示出MDA4級元層次構(gòu)架所存在的非完全反射和信息丟失問題，這為MDA4級元層次構(gòu)架的未來改進提供了一種思路。　　在等式邏輯和重寫邏輯的基礎(chǔ)上，

7、OMCR方法統(tǒng)一模型組合與轉(zhuǎn)換為模型操作。代數(shù)項重寫系統(tǒng)對重寫規(guī)則中變量綁定和傳遞等原則的規(guī)定，為模型操作中的模式變量的綁定原則提供了理論依據(jù)，有利于編寫行為正確的重寫規(guī)則。通過結(jié)合律與交換律(AC)并發(fā)重寫，將模型操作表示為在模型的值空間中對象和消息兩種代數(shù)項的對象配置(OC)重寫和對象消息(OM)重寫，兩種重寫規(guī)則間的協(xié)調(diào)通過消息傳遞實現(xiàn)。該計算模型即是OMCR計算模型的核心，它為結(jié)合規(guī)則基礎(chǔ)的計算和對象/消息基礎(chǔ)的計算提供了新的設(shè)

8、計思路，使得OC和OM重寫規(guī)則的可視化設(shè)計較容易通過UMLProfile或MOF領(lǐng)域的專用擴展實現(xiàn)，如擴展對象圖以支持重寫規(guī)則的定義?！　≡诮y(tǒng)一模型組合與轉(zhuǎn)換為模型操作的基礎(chǔ)上，OMCR方法將模型操作分為設(shè)計時模型操作和運行時模型操作，并指出運行時模型操作本質(zhì)上是對模型的運行或模擬。以模型操作時是否存在相應(yīng)的元模型為判定基準，運行時模型操作進一步分為模型模擬執(zhí)行基礎(chǔ)的級別和動態(tài)元建?；A(chǔ)的級別，并設(shè)計了相應(yīng)的并發(fā)對象重寫模型以定義這兩