基于Pi-演算的Web服務形式化描述模型

web服務組合使得開發者可以基于面向服務的計算(servjce－oriented computing，soc)無縫地訪問眾多分布式服務，組合在一起解決復雜問題。大多數web服務是獨立開發的，運行在異構平臺上。為了能夠實現web服務組合，需要解決如下問題。如何描述web服務的動態行為、交互的邏輯順序關系；如何對組合的web服務進行驗證和測試，以保證執行結果的正確。