基于MDA的軟件建模技術(shù)研究.pdf

1、模型驅(qū)動架構(gòu)（Model Driven Architecture，MDA）是對象管理組織（OMG）定義的軟件開發(fā)方法，是一個可以從系統(tǒng)模型變換為實現(xiàn)代碼的軟件開發(fā)框架，模型在其中扮演了非常重要的角色。MDA核心思想就是將業(yè)務(wù)分析與業(yè)務(wù)實現(xiàn)分離，將軟件開發(fā)者的關(guān)注點轉(zhuǎn)移到業(yè)務(wù)領(lǐng)域和業(yè)務(wù)建模。
　　本文以基于MDA的軟件建模技術(shù)為主要研究內(nèi)容，對MDA的基本原理、體系結(jié)構(gòu)、軟件生命周期、核心技術(shù)、模型轉(zhuǎn)換的技術(shù)進行了深入的研究和探索。

2、將需求建模和面向方面技術(shù)引入MDA軟件開發(fā)框架，豐富了模型驅(qū)動架構(gòu)。
　　如何將軟件需求詳細精確地描述出來，是軟件工程中一個非常重要的研究內(nèi)容。目前，軟件需求中存在著完整性、二義性、不一致性等問題，而現(xiàn)有的MDA框架中對需求描述的能力較為薄弱。為了解決以上問題，本文提出在MDA框架中使用形式化方法B描述軟件需求從而建立軟件需求模型。同時研究了需求模型與PIM之間的相互轉(zhuǎn)換，給出了B方法和類圖的ecore元模型描述，使用JJTree

3、和ATL完成了轉(zhuǎn)換的規(guī)則定義和實現(xiàn)，通過一個實例詳細說明了轉(zhuǎn)換的整個過程。
　　橫切關(guān)注點是指散布在多個單元模塊的功能代碼，傳統(tǒng)的MDA建立的模型中也會存在橫切關(guān)注點。引入面向方面的編程是解決傳統(tǒng)過程中橫切問題的重要方法之一。模型是MDA的核心，因此需要針對面向方面的特性建立通用的面向方面需求模型和PIM。本文提出形式化方法B的AOP擴充形式，在B方法環(huán)境中描述了面向方面編程的核心概念，建立了面向方面需求模型的規(guī)范。同時在遵循UM