服務組合驗證與可視化研究

第1章 緒論
1.1 Web服務及其組合
1.2 形式化方法
1.3 需求町視化方法
1.4 基于Petri網的Web服務組合驗證概況
1.5 基于自動機理論的Web服務組合驗證概況
1.6 基于進程代數(shù)的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服務行為模型的動態(tài)執(zhí)行模型WSEM
3.6 案例研究
3.7 本章小結
第4章 模型的語義正確性證明與特性分析驗證
4.1 模型動態(tài)語義的一致性證明
4.2 部分特性分析
4.3 實例研究
4.4 本章小結
第5章 基于模型驅動的可視化方法研究
5.1 模型可視化建模方法
5.2 行為模型到狀態(tài)模型的轉換規(guī)則
5.3 Web服務組合可視化案例研究
5.4 本章小結
第6章 總結與展望
6.1 總結
6.2 展望
參考文獻