| 基于π演算的BPEL组合服务的形式化描述及验证 | |
| 所屬分類：技术论文 | |
| 上傳者：aet | |
| 文檔大?。?span>249 K | |
| 所需積分：0分積分不夠怎么辦？ | |
| 文檔介紹：BPEL是实现SOA组合服务和服务编制的重要技术.重点论述了π演算的语法定义和Π演算建模Web服务的算法,然后以一个典型的银行借贷服务系统为例,利用π演算进行了形式化描述和验证. | |
| 現(xiàn)在下載 | |
| VIP會(huì)員，AET專家下載不扣分；重復(fù)下載不扣分，本人上傳資源不扣分。 | |
Copyright ? 2005-2024 華北計(jì)算機(jī)系統(tǒng)工程研究所版權(quán)所有 京ICP備10017138號(hào)-2