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