基于Pi演算的Web服務(wù)組合技術(shù)研究.pdf

1、面對服務(wù)的體系架構(gòu)（Service-Oriented Architecture，SOA）是分布式計算和軟件開發(fā)的最新發(fā)展方向，Web服務(wù)作為SOA的實現(xiàn)方式之一，其價值在于解決與客戶無關(guān)的服務(wù)重用，Web服務(wù)組合技術(shù)具有松散耦合性，可以很好的解決復(fù)雜服務(wù)的集成問題。為了確保Web服務(wù)組合技術(shù)的正確性。我們可以用形式化方法來對Web服務(wù)組合技術(shù)進(jìn)行檢驗。形式化描述Web服務(wù)組合并驗證服務(wù)組合的正確性是Web服務(wù)組合研究領(lǐng)域的一個重要問題。

2、Web服務(wù)組合的形式化模型可以用來檢查、驗證Web服務(wù)組合以保證組合的邏輯正確性。Web服務(wù)的執(zhí)行在隨時間變化而不斷變化的網(wǎng)絡(luò)環(huán)境中，因此Web服務(wù)組合需要在動態(tài)變化的過程中由多個簡單Web服務(wù)集成，所以使得Web服務(wù)組合的驗證比簡單Web服務(wù)的驗證的難度更大。
　　Pi演算是一種移動進(jìn)程代數(shù)規(guī)范,可用于對并發(fā)和動態(tài)變化的系統(tǒng)進(jìn)行建模并進(jìn)行形式化描述，所以用在對Web服務(wù)組合的形式化描述方面非常合適。文中說明了Pi演算與以前形式化

3、方法的不同之處,Pi演算對動態(tài)系統(tǒng)的描述的優(yōu)越性，分析了Pi演算應(yīng)用于Web服務(wù)組合需要解決的問題.最后針對目前最主要的兩種規(guī)范Web本體論語言（Ontology Web Langage-Semantic,簡稱OWL-S）及Web服務(wù)商業(yè)流程執(zhí)行語言WS-BPEL(Web Services Business Process Execution Language),給出了在OWL-S與WS-BPEL框架下的基于Pi演算的形式化描述并建立了