亚洲无码色网站,国精品无码一区二区三区在免费

內(nèi)容簡介

　　本書從基于行為描述語言的建模方法、基于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ù)的有效使用，還可以幫助行業(yè)服務(wù)擁有者將業(yè)務(wù)擴大化，提升業(yè)務(wù)價值。

作者簡介

暫缺《服務(wù)組合驗證與可視化研究》作者簡介

圖書目錄

第1章緒論
1.1 Web服務(wù)及其組合
1.2 形式化方法
1.3 需求町視化方法
1.4 基于Petri網(wǎng)的Web服務(wù)組合驗證概況
1.5 基于自動機理論的Web服務(wù)組合驗證概況
1.6 基于進程代數(shù)的Web服務(wù)組合驗證概況
1.7 本書內(nèi)容
第2章基于行為描述語言的建模方法
2.1 構(gòu)建行為模型的方法及步驟
2.2 行為描述語言
2.3 行為模型實例
2.4 本章小結(jié)
第3章基于BDL的Web服務(wù)組合建模方法
3.1 BPEL4WS的巴克斯范式
3.2 Web服務(wù)組合的行為模型WSBM的生成
3.3 語法樹構(gòu)建與訪問方法
3.4 BPEL4WS與BDL間的行為映射庫
3.5 Web服務(wù)行為模型的動態(tài)執(zhí)行模型WSEM
3.6 案例研究
3.7 本章小結(jié)
第4章模型的語義正確性證明與特性分析驗證
4.1 模型動態(tài)語義的一致性證明
4.2 部分特性分析
4.3 實例研究
4.4 本章小結(jié)
第5章基于模型驅(qū)動的可視化方法研究
5.1 模型可視化建模方法
5.2 行為模型到狀態(tài)模型的轉(zhuǎn)換規(guī)則
5.3 Web服務(wù)組合可視化案例研究
5.4 本章小結(jié)
第6章總結(jié)與展望
6.1 總結(jié)
6.2 展望
參考文獻