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

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

2、出現，從而影響整個web服務的質量，因此，在整合后的web服務實施前對web服務組合進行正確性驗證是十分必要的。
　　論文針對描述Web服務形式化語言多樣性的特點，總結了BPEL關鍵元素導π演算的建模理論，提出了WS-CDL關鍵元素到π演算的建模理論；針對移動工作臺MWB現有的建模方法的不足，設計了可以對Web服務的交互行為自動建模并把建模過程展示給用戶的建模工具HXML；針對移動工作臺MWB不能定位異常出現的位置，設計了死鎖定位