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