服務組合驗證與可視化研究 李琳 9787562966326 【台灣高等教育出版社】

*完成訂單後正常情形下約兩周可抵台。
*本賣場提供之資訊僅供參考，以到貨標的為正確資訊。
印行年月：202301*若逾兩年請先於客服中心或Line洽詢存貨情況，謝謝。
台灣(台北市)在地出版社，每筆交易均開具統一發票，祝您中獎最高1000萬元。
書名：服務組合驗證與可視化研究
ISBN：9787562966326
出版社：武漢理工大學
著編譯者：李琳
頁數：130
所在地：中國大陸 *此為代購商品
書號：1527948
可大量預訂，請先連絡。

內容簡介

本書從理論研究和實踐結合兩個方面著手，研究探索了服務組合的形式化建模、驗證以及模型驅動的可視化技術。採用基於行為描述語言的建模方法，可以抽象化流程中的服務行為，這些行為是關係著不同的Web服務之間的通信和交互的，對建立的行為模型可以進一步進行相關特性的驗證，這對後續組合服務能否正確執行並成功實現用戶既定的目標提供了理論依據。在此基礎之上進行的模型驅動的行為模型可視化研究，可以使不同知識背景的用戶更直觀、準確地掌握行為模型中複雜的行為交互，以保證後續開發過程的高效性和表達的準確性。

目錄

第1章 緒論
1 1 Web服務及其組合
1 2 形式化方法
1 3 需求町視化方法
1 4 基於Petri網的Web服務組合驗證概況
1 5 基於自動機理論的Web服務組合驗證概況
1 6 基於進程代數的Web服務組合驗證概況
1 7 本書內容
第2章 基於行為描述語言的建模方法
2 1 構建行為模型的方法及步驟
2 2 行為描述語言
2 3 行為模型實例
2 4 本章小結
第3章 基於BDL的Web服務組合建模方法
3 1 BPEL4WS的巴克斯範式
3 2 Web服務組合的行為模型WSBM的生成
3 3 語法樹構建與訪問方法
3 4 BPEL4WS與BDL間的行為映射庫
3 5 Web服務行為模型的動態執行模型WSEM
3 6 案例研究
3 7 本章小結
第4章 模型的語義正確性證明與特性分析驗證
4 1 模型動態語義的一致性證明
4 2 部分特性分析
4 3 實例研究
4 4 本章小結
第5章 基於模型驅動的可視化方法研究
5 1 模型可視化建模方法
5 2 行為模型到狀態模型的轉換規則
5 3 Web服務組合可視化案例研究
5 4 本章小結
第6章 總結與展望
6 1 總結
6 2 展望
參考文獻

詳細資料或其他書籍請至台灣高等教育出版社查詢，查後請於客服中心或Line或本社留言板留言，我們即儘速上架。

大陸簡體正版圖書，訂購後正常情形下約兩周可抵台。