基于軟件體系結(jié)構(gòu)的Web服務(wù)組合研究.pdf

1、面向服務(wù)的體系結(jié)構(gòu)作為近年來(lái)軟件工程領(lǐng)域出現(xiàn)的一個(gè)新興的研究方向，其技術(shù)得到迅速發(fā)展和應(yīng)用。Web服務(wù)組合技術(shù)作為實(shí)現(xiàn)面向服務(wù)體系結(jié)構(gòu)的一項(xiàng)重要技術(shù)，已成為當(dāng)今學(xué)術(shù)界和工業(yè)界共同重視的研究?jī)?nèi)容之一。目前，主流的Web服務(wù)組合描述方法主要分為兩大類(lèi)：形式化的描述方法和工業(yè)化的描述方法，二者在描述Web服務(wù)組合方面有很強(qiáng)的互補(bǔ)性。Web服務(wù)組合其本質(zhì)是Web服務(wù)的復(fù)用，而軟件體系結(jié)構(gòu)是實(shí)現(xiàn)軟件復(fù)用的重要手段之一。 基于上述思想，本文

2、提出了從軟件體系結(jié)構(gòu)角度研究Web服務(wù)組合的方法。研究了基于時(shí)序邏輯的體系結(jié)構(gòu)描述語(yǔ)言XYZ/ADL和基于商務(wù)流程的Web服務(wù)組合語(yǔ)言BPEL4WS相結(jié)合描述Web服務(wù)組合的方法。XYZ/ADL具有嚴(yán)格的形式化語(yǔ)義，便于驗(yàn)證組合的正確性，通過(guò)將XYZ/ADL描述轉(zhuǎn)化為BPEL4WS的描述，從而從側(cè)面驗(yàn)證了BPEL4WS描述的正確性。通過(guò)研究二者之間的轉(zhuǎn)換規(guī)則，實(shí)現(xiàn)形式化和工業(yè)化方法相結(jié)合描述Web服務(wù)組合。本文具體工作如下： 首

3、先，根據(jù)Web服務(wù)及其組合的特點(diǎn)，在原有體系結(jié)構(gòu)模型的基礎(chǔ)上進(jìn)行擴(kuò)展，得到了Web服務(wù)組合體系結(jié)構(gòu)模型。 其次，基于該模型，采用擴(kuò)展的XYZ/ADL描述Web服務(wù)組合，定義Web服務(wù)組件及描述其交互的連接件。 再次，建立了XYZ/ADL至BPEL4WS轉(zhuǎn)換規(guī)則。該轉(zhuǎn)換分為兩步：首先定義了XYZ/ADL的語(yǔ)義基礎(chǔ)——XYZ/E的基本結(jié)構(gòu)到BPEL4WS的轉(zhuǎn)換，然后通過(guò)分析XYZ/ADL的設(shè)計(jì)元素和BPEL4WS元素之間的語(yǔ)