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

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

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

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