基于π演算的BPEL组合服务的形式化描述及验证AET-电子技术应用-最丰富的电子设计资源平台

基于π演算的BPEL组合服务的形式化描述及验证
所属分类：技术论文
上传者：aet
文档大小：249 K

所需积分：0分积分不够怎么办？
文档介绍：BPEL是实现SOA组合服务和服务编制的重要技术.重点论述了π演算的语法定义和Π演算建模Web服务的算法,然后以一个典型的银行借贷服务系统为例,利用π演算进行了形式化描述和验证.
现在下载
VIP会员，AET专家下载不扣分；重复下载不扣分，本人上传资源不扣分。