可信分布式實(shí)時系統(tǒng)的面向方面的MDA方法.pdf

1、模型驅(qū)動架構(gòu)(MDA)是基于一系列工業(yè)標(biāo)準(zhǔn)的軟件開發(fā)框架,模型驅(qū)動整個軟件開發(fā)過程,使用支持工具可以實(shí)現(xiàn)模型之間、模型與代碼之間的自動轉(zhuǎn)換。它的核心思想是建立能夠完整描述系統(tǒng)需求但與具體的平臺實(shí)現(xiàn)技術(shù)無關(guān)的平臺無關(guān)模型(PIM),通過制定模型轉(zhuǎn)換規(guī)則集,將平臺無關(guān)模型轉(zhuǎn)換為能夠完整表述系統(tǒng)需求,與具體實(shí)現(xiàn)技術(shù)相關(guān)的平臺相關(guān)模型(PSM),最后利用MDA工具將平臺相關(guān)模型自動轉(zhuǎn)換為代碼。由于MDA是基于面向?qū)ο蟮?因此,MDA具有面向?qū)ο?/p>

2、對系統(tǒng)非功能性需求開發(fā)存在不足的問題。
　　 面向方面的軟件開發(fā)方法彌補(bǔ)了面向?qū)ο蟮能浖_發(fā)方法對系統(tǒng)非功能特性需求開發(fā)存在的局限性問題。通過關(guān)注點(diǎn)分離技術(shù)分離出系統(tǒng)所有橫切關(guān)注點(diǎn),然后對每個橫切關(guān)注點(diǎn)進(jìn)行分析、設(shè)計(jì)、模塊化,以解決橫切關(guān)注點(diǎn)在面向?qū)ο筌浖_發(fā)中出現(xiàn)的代碼纏繞和散射問題,增強(qiáng)系統(tǒng)的模塊化程度,降低模塊間的耦合度。
　　 本文通過深入研究模型驅(qū)動架構(gòu)和面向方面技術(shù),選用基于Java擴(kuò)展的面向方面語言.Asp

3、ectJ作為具體的平臺實(shí)現(xiàn)技術(shù),在MDA中引入面向方面的思想,在現(xiàn)有三階段的MDA開發(fā)過程中增加一個方面計(jì)算無關(guān)模型階段(ACIM),提出四階段面向方面的MDA方法對系統(tǒng)非功能性需求進(jìn)行開發(fā),利用關(guān)注點(diǎn)分離技術(shù)分離出系統(tǒng)的非功能性需求,再用方面模板技術(shù)對每個橫切關(guān)注點(diǎn)單獨(dú)設(shè)計(jì)、模塊化。四階段分別為:ACIM階段、APIM階段、APSM階段、方面代碼模型階段。ACIM階段使用UML用例建模技術(shù)建立方面計(jì)算無關(guān)模型,即方面業(yè)務(wù)模型,它是與業(yè)

4、務(wù)人員進(jìn)行有效溝通的工具,更加明確表述系統(tǒng)非功能特性,降低建立APIM的復(fù)雜性；通過深入研究UML的擴(kuò)展機(jī)制,提出一種基于UML的雙擴(kuò)展方法,并定義了方面建模語言AOUML和AJUML,它們結(jié)合了對象約束語言O(shè)CL分別用于建立APIM、APSM,由于兩階段模型描述語言是在元模型層次對UML進(jìn)行擴(kuò)展,建模語言之間存在映射關(guān)系,因此,模型之間的轉(zhuǎn)換使用元模型轉(zhuǎn)換方法；方面代碼模型階段可以利用輔助工具將APSM轉(zhuǎn)換為代碼,也可以實(shí)現(xiàn)APSM與