基于MDA的SOA服務(wù)協(xié)作模型的研究.pdf

1、面向服務(wù)體系構(gòu)架SOA作為整合已有不同系統(tǒng)的一種構(gòu)架被提出來，主要是解決企業(yè)中信息孤島問題。BPEL是業(yè)務(wù)流程執(zhí)行語言用來描述SOA的服務(wù)協(xié)作模型，實(shí)現(xiàn)對(duì)各個(gè)系統(tǒng)業(yè)務(wù)流程的編排。但其隨著整合遺產(chǎn)系統(tǒng)的增多和業(yè)務(wù)流程復(fù)雜性的增加，BPEL建模也變得異常復(fù)雜，同時(shí)，因其缺乏形式化的語義描述，極易潛藏一些邏輯錯(cuò)誤。簡(jiǎn)化BPEL建模并自動(dòng)驗(yàn)證其邏輯正確性將有利于SOA的普及應(yīng)用。
　　 MDA作為一種模型驅(qū)動(dòng)開發(fā)構(gòu)架，它的核心思想是抽象

2、出與具體實(shí)現(xiàn)技術(shù)無關(guān)的PIM層模型，通過轉(zhuǎn)換工具將PIM層模型自動(dòng)的轉(zhuǎn)換到PSM平臺(tái)相關(guān)層模型。本文給出了一種基于MDA的SOA服務(wù)協(xié)作模型的構(gòu)建方法，首先使用UML活動(dòng)圖描述服務(wù)協(xié)作模型的交互過程，以構(gòu)建SOA服務(wù)協(xié)作的PIM模型；然后，通過建立活動(dòng)圖元模型元素與BPEL元模型元素之間的映射規(guī)則，以XMI作為標(biāo)準(zhǔn)交換文件，利用EMF及MTF模型框架作為模型轉(zhuǎn)換引擎，將SOA服務(wù)協(xié)作模型自動(dòng)轉(zhuǎn)換為BPEL模型即PSM模型。本文還對(duì)BPE

3、L的邏輯正確性的驗(yàn)證方法進(jìn)行了研究，通過將BPEL轉(zhuǎn)換為有色Petri網(wǎng)，利用Petri網(wǎng)工具實(shí)現(xiàn)BPEL模型邏輯正確性的自動(dòng)化驗(yàn)證。由于采用了Petri網(wǎng)工具內(nèi)置的函數(shù)實(shí)現(xiàn)分支的跳過處理，簡(jiǎn)化了BPEL模型到Petri網(wǎng)的轉(zhuǎn)換的復(fù)雜性，使其更有利于BPEL的驗(yàn)證。
　　 本文利用網(wǎng)上購(gòu)書的原型系統(tǒng)進(jìn)行實(shí)例驗(yàn)證，利用活動(dòng)圖對(duì)網(wǎng)上購(gòu)物車、銀行收費(fèi)和物流等服務(wù)進(jìn)行了SOA服務(wù)協(xié)作模型建模，并成功地轉(zhuǎn)換成了BPEL，利用有色Petri