基于OCL的MDA模型轉(zhuǎn)換方法與規(guī)則庫(kù)應(yīng)用研究.pdf

1、模型驅(qū)動(dòng)架構(gòu)(MDA)提供了一種使用模型來(lái)指導(dǎo)系統(tǒng)的設(shè)計(jì)、開發(fā)和維護(hù)的方法，它特別關(guān)注與技術(shù)是否相關(guān)的概念間的分離，以提高軟件的可重用性和可移植性。對(duì)象約束語(yǔ)言(OCL)被定義為UML標(biāo)準(zhǔn)韻子標(biāo)準(zhǔn)，不僅可用于模型約束、查詢，還可以用于定義模型轉(zhuǎn)換規(guī)則和定義建模語(yǔ)言。 本文以MDA整體框架為起點(diǎn)，分類研究了現(xiàn)階段各種模型轉(zhuǎn)換方法和模型轉(zhuǎn)換語(yǔ)言，結(jié)合OCL的特性分析了其在MDA框架中的應(yīng)用，并在此基礎(chǔ)上重點(diǎn)研究了以下三方面內(nèi)容：

2、 首先，根據(jù)OCL聲明式語(yǔ)言的特點(diǎn)，選取三個(gè)角度對(duì)其進(jìn)行擴(kuò)展，從而設(shè)計(jì)產(chǎn)生了混合式模型轉(zhuǎn)換語(yǔ)言Hybrid-OCL，詳細(xì)定義了其語(yǔ)法和語(yǔ)義，并通過(guò)具體轉(zhuǎn)換實(shí)例驗(yàn)證了這種擴(kuò)展的可行性。Hybrid-OCL具備表述動(dòng)態(tài)語(yǔ)義的能力；能夠存儲(chǔ)轉(zhuǎn)換信息，實(shí)現(xiàn)對(duì)轉(zhuǎn)換同步性的支持：Hybrid-OCL還支持完整轉(zhuǎn)換程序框架的定義。 然后，把復(fù)用的思想融入到模型轉(zhuǎn)換過(guò)程中，結(jié)合模式和領(lǐng)域工程理論，提出了轉(zhuǎn)換規(guī)則庫(kù)的概念，并針對(duì)可復(fù)用規(guī)則的領(lǐng)