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

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

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

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