MDA框架下基于語義保持的大粒度模型轉換方法研究.pdf

1、市場飛速發(fā)展使得企業(yè)之間的競爭越來越激烈，不斷變化的市場需求迫使企業(yè)不斷地調(diào)整自身的業(yè)務，而這些不斷變化的業(yè)務信息，即軟件需求對企業(yè)應用軟件的開發(fā)也提出了更高的要求。因此，企業(yè)應用軟件如何快速適應不斷變化的軟件需求已成為軟件開發(fā)領域的一個重要挑戰(zhàn)。
　　針對這個挑戰(zhàn)，采用模型驅動架構(Model-Driven Architecture)的方法實現(xiàn)企業(yè)應用軟件的開發(fā)已取得了較為突出的成績。MDA是由不同抽象層次的模型以及這些模型的轉

2、換所構成的一個體系結構?；贛DA的企業(yè)應用軟件開發(fā)是一個以業(yè)務模型和軟件模型為載體并由它們之間的模型轉換來驅動的過程，將企業(yè)需求的變化以模型變化的形式表現(xiàn)出來，通過模型轉換將這些變化傳遞給軟件模型，直到軟件系統(tǒng)，以提高企業(yè)應用軟件快速響應不斷變化的市場需求。本文重點研究 MDA框架下模型轉換的關鍵技術，在傳統(tǒng)轉換規(guī)則基礎上，引入數(shù)據(jù)挖掘思想構造大粒度的轉換規(guī)則，通過這些大粒度的轉換規(guī)則實現(xiàn)大粒度的模型轉換，以提高模型轉換的效率和精度。

3、具體研究內(nèi)容包括：
　　(1)針對轉換規(guī)則中模型語義表示形式復雜、語義證明困難等問題，著重研究了轉換規(guī)則的抽象語法和具體語法，包括原子轉換規(guī)則和復合(大粒度)轉換規(guī)則。針對已構造的轉換規(guī)則，分析轉換規(guī)則的結構以及它們之間的語義關系，研究了轉換規(guī)則的組織形式。為了支持轉換規(guī)則重用，研究了轉換規(guī)則的復合運算，為構造復合(大粒度)轉換規(guī)則提供理論依據(jù)。
　　(2)針對轉換規(guī)則構造過程中模型語義信息的提取等困難，分析了已有轉換規(guī)則的

4、構造方法，以及粗集理論提取語義技術，研究了基于粗集的轉換規(guī)則構造方法。針對參與模型轉換的模型元素變化，建模語言進化等原因，分析了影響構造轉換規(guī)則的情況，研究了轉換規(guī)則的增量式更新方法。針對轉換規(guī)則的評價及度量復雜等問題，研究了轉換規(guī)則的度量指標，為轉換規(guī)則的選取提供依據(jù)。
　　(3)針對僅使用原子轉換規(guī)則進行的模型轉換可能出現(xiàn)(不支持的)模型元素轉換失敗、須反復確定轉換規(guī)則執(zhí)行順序等問題，研究了利用復合轉換規(guī)則實現(xiàn)模型轉換的方法。

5、首先，從企業(yè)相似的業(yè)務模型和軟件模型存在相似的業(yè)務模式和軟件模式角度，分析這些相似的模式在轉換規(guī)則中的體現(xiàn)形式，提出了轉換模式的概念，并研究了復合轉換規(guī)則的構造方法。針對復合轉換規(guī)則參與的模型轉換，研究了復合轉換規(guī)則對應的可轉換子模型的檢測方法。分析可轉換子模型集合與源模型的語義關系，研究了劃分可轉換子模型的語義一致性保持方法，為模型轉換的語義一致性提供理論依據(jù)。
　　(4)針對應用多粒度轉換規(guī)則進行模型轉換出現(xiàn)轉換方案多（可轉換