基于π演算的BPEL組合服務的形式化描述及驗證
所屬分類：技術論文
上傳者：aet
文檔大?。?span>249 K
所需積分：0分積分不夠怎么辦？
文檔介紹：BPEL是實現(xiàn)SOA組合服務和服務編制的重要技術.重點論述了π演算的語法定義和Π演算建模Web服務的算法,然后以一個典型的銀行借貸服務系統(tǒng)為例,利用π演算進行了形式化描述和驗證.
現(xiàn)在下載
VIP會員，AET專家下載不扣分；重復下載不扣分，本人上傳資源不扣分。