基于π演算的BPEL組合服務(wù)的形式化描述及驗證
所屬分類：技術(shù)論文
上傳者：aet
文檔大?。?span>249 K
所需積分：0分積分不夠怎么辦？
文檔介紹：BPEL是實現(xiàn)SOA組合服務(wù)和服務(wù)編制的重要技術(shù).重點論述了π演算的語法定義和Π演算建模Web服務(wù)的算法,然后以一個典型的銀行借貸服務(wù)系統(tǒng)為例,利用π演算進行了形式化描述和驗證.
現(xiàn)在下載
VIP會員，AET專家下載不扣分；重復(fù)下載不扣分，本人上傳資源不扣分。
主站蜘蛛池模板： 欧美片能看的一级毛片 | 国产欧美日韩在线视频 | 国产亚洲一区呦系列 | 欧美变态一级毛片 | 拍拍拍又黄又爽无挡视频免费 | 国产精品亚洲综合天堂夜夜 | 免费高清特级毛片 | 国产成人小视频 | 免费一级毛片无毒不卡 | 日韩国产中文字幕 | 国产精品日韩专区 | 天堂一区二区三区在线观看 | 毛片a级三毛片免费播放 | 精品国产一二三区在线影院 | 国产日韩欧美视频在线 | 性欧美成人依依影院 | 91久久国产露脸精品免费 | 最新毛片久热97免费精品视频 | 精品国产区 | 日韩午夜免费视频 | 男女福利社 | 免费观看成人久久网免费观看 | 成人毛片免费播放 | 91亚洲最新精品 | 日韩a无吗一区二区三区 | 久久国产三级精品 | 日本特级淫片免费看 | 亚洲国产精品久久久久久 | 国产精品久久久久久久hd | 久久合| 中国农村一级毛片 | 日本www视频在线观看 | 国产精品嘿咻嘿咻在线播放 | 色综合久久久久久 | 国产伦久视频免费观看 视频 | 国产成人精品女人不卡在线 | 日本黄网在线观看 | 欧美日韩日本国产 | 免费精品久久久久久中文字幕 | 7m视频精品凹凸在线播放 | 国产精品99久久久 |