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

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

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

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

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