Web服務(wù)組合形式化驗(yàn)證和服務(wù)選擇算法研究.pdf

1、Web服務(wù)為企業(yè)IT體系結(jié)構(gòu)帶來(lái)互操作性、靈活性和復(fù)用性，改變了商業(yè)伙伴之間的合作方式，使企業(yè)能通過(guò)服務(wù)組合來(lái)共享資源，自動(dòng)化商業(yè)流程。Web服務(wù)組合問(wèn)題近年來(lái)成為研究熱點(diǎn)。
　　 基于服務(wù)編排和編制的組合方法的結(jié)合能夠有效提高服務(wù)流程建模的效率和準(zhǔn)確性，WS—CDL、WS—BPEL分別是基于服務(wù)編排和編制的主要組合規(guī)范。但二者屬于不同層次的技術(shù)規(guī)范體系，其針對(duì)服務(wù)流程描述的一致性需得到保證。二者的一致性驗(yàn)證是個(gè)亟待研究的問(wèn)題。

2、
　　 隨著Web服務(wù)種類和數(shù)量的不斷擴(kuò)大，面向服務(wù)組合規(guī)模較大背景下的服務(wù)選擇立刻凸現(xiàn)，其中服務(wù)選擇的算法是核心問(wèn)題。但目前已有工作很少涉及到此。針對(duì)上述問(wèn)題，本文研究成果體現(xiàn)在以下兩個(gè)方面：
　　 1)基于CSP的Web服務(wù)編排和編制一致性檢查。在設(shè)定的轉(zhuǎn)化規(guī)則下，Web服務(wù)編排語(yǔ)言WS—CDL和Web服務(wù)編制語(yǔ)言WS—BPEL被映射為CSP語(yǔ)言，然后基于CSP的模型檢測(cè)工具PAT將進(jìn)行二者的一致性檢測(cè)。并給出了一個(gè)