基于SOA的MDA中元模型與模型的設(shè)計與實現(xiàn).pdf

1、目前，面向服務的架構(gòu)SOA（Service-OrientedArchitecture，SOA）在軟件開發(fā)架構(gòu)中已經(jīng)占有重要的地位。但是，當前面向服務架構(gòu)的的開發(fā)流程還沒有統(tǒng)一的理論基礎(chǔ)，而模型驅(qū)動架構(gòu)MDA（Model-DrivenArchitecture，MDA）是一種快速有效的軟件開發(fā)方法。面向服務的架構(gòu)可用來解決異構(gòu)系統(tǒng)之間的相互通訊，而模型驅(qū)動架構(gòu)可以從模型驅(qū)動的角度構(gòu)建SOA，二者的結(jié)合可以較好地解決模型復用及異構(gòu)系統(tǒng)復用的問

2、題。本文對基于SOA的MDA中元模型與模型的設(shè)計展開研究，給出了一種基于SOA的模型驅(qū)動框架，并初步應用于質(zhì)量管理系統(tǒng)，論文主要的研究內(nèi)容包括：
　?。?）給出了一種基于SOA的模型驅(qū)動開發(fā)架構(gòu)。該架構(gòu)結(jié)合SOA和MDA，將面向服務架構(gòu)與模型驅(qū)動開發(fā)方法相融合，重點對面向服務的模型驅(qū)動開發(fā)流程中的CIM建模、PIM建模、PIM到PSM的轉(zhuǎn)換以及PSM到代碼的轉(zhuǎn)換這四方面進行介紹。
　?。?）提出一種先驗證后診斷并采用圖分解技

3、術(shù)的UML活動模型正確性診斷方法。該方法從活動模型形式化表示出發(fā)，重點對活動模型診斷的流程中模型標識、模型分解、模型驗證以及模型診斷這四方面進行介紹。
　?。?）提出一種基于有色Petri網(wǎng)的服務組合優(yōu)化方法。該方法使用有色Petri網(wǎng)的服務網(wǎng)模型，分別對順序組合服務、并發(fā)組合服務、循環(huán)組合服務以及選擇組合服務這四種組合服務模型進行有效地優(yōu)化。
　　（4）將基于SOA的模型驅(qū)動架構(gòu)應用到質(zhì)量管理系統(tǒng)中。首先，使用CIM的用例