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

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

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

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