 書單推薦 新書推薦 |
服務(wù)組合驗(yàn)證與可視化 
定 價(jià)：50 元
當(dāng)前圖書已被 7 所學(xué)校薦購過！
查看明細(xì)
9 7 9 8 6 7 6 5 3 6 2 2 6 讀者對象:本書適用于網(wǎng)絡(luò)服務(wù)器研究者
本書從基于行為描述語言的建模方法、基于BIM的Web服務(wù)組合建模方法、轉(zhuǎn)換的正確性證明與特性分析驗(yàn)證、基于模型驅(qū)動的可視化方法研究等方面著手, 研究探索了服務(wù)組合的形式化建模、驗(yàn)證以及模型驅(qū)動的可視化技術(shù)。本書建立了基于BPEL4WS的形式化服務(wù)組合行為模型, 構(gòu)造出了形式化服務(wù)組合行為模型WSBM的模擬執(zhí)行過程, 進(jìn)行了Web服務(wù)組合形式化模型的特性分析驗(yàn)證, 并以Web服務(wù)組合的行為模型驅(qū)動的組合行為交互表達(dá)的可視化方法。本書中對于組合服務(wù)的研究, 不僅可以促使實(shí)現(xiàn)行業(yè)內(nèi)服務(wù)的有效使用, 還可以幫助行cation_date desc,id d
你還可能感興趣
我要評論
|
