基于π演算的web service行為交互的建模及死鎖現(xiàn)象的研究.pdf

1、隨著信息時(shí)代的不斷發(fā)展，單個(gè)的web服務(wù)已無法滿足用戶的需求，于是就需要若干個(gè)web服務(wù)之間進(jìn)行交互組合，即把部署于internet上由不同web服務(wù)提供者提供的web服務(wù)根據(jù)特定的需要組合成一個(gè)新的web服務(wù)，使得整合后的web服務(wù)具有更為強(qiáng)大的功能，從而滿足用戶的需要。然而web服務(wù)系統(tǒng)本身的并行性、分布性和高度動(dòng)態(tài)性，僅僅依靠開發(fā)者的直觀認(rèn)識(shí)，將越來越難以把握所開發(fā)系統(tǒng)的行為，也就是說在web服務(wù)進(jìn)行交互的過程中可能會(huì)有死鎖現(xiàn)象的

2、出現(xiàn)，從而影響整個(gè)web服務(wù)的質(zhì)量，因此，在整合后的web服務(wù)實(shí)施前對(duì)web服務(wù)組合進(jìn)行正確性驗(yàn)證是十分必要的。
　　論文針對(duì)描述Web服務(wù)形式化語言多樣性的特點(diǎn)，總結(jié)了BPEL關(guān)鍵元素導(dǎo)π演算的建模理論，提出了WS-CDL關(guān)鍵元素到π演算的建模理論；針對(duì)移動(dòng)工作臺(tái)MWB現(xiàn)有的建模方法的不足，設(shè)計(jì)了可以對(duì)Web服務(wù)的交互行為自動(dòng)建模并把建模過程展示給用戶的建模工具HXML；針對(duì)移動(dòng)工作臺(tái)MWB不能定位異常出現(xiàn)的位置，設(shè)計(jì)了死鎖定位