第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 展望
参考文献