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