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

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

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

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