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