基于π演算的BPEL组合服务的形式化描述及验证
所屬分類：技术论文
上傳者：aet
文檔大小：249 K
所需積分：0分積分不夠怎么辦？
文檔介紹：BPEL是实现SOA组合服务和服务编制的重要技术.重点论述了π演算的语法定义和Π演算建模Web服务的算法,然后以一个典型的银行借贷服务系统为例,利用π演算进行了形式化描述和验证.
現(xiàn)在下載
VIP會員，AET專家下載不扣分；重復下載不扣分，本人上傳資源不扣分。