本书从基于行为描述语言的建模方法、基于BIM的Web服务组合建模方法、转换的正确性证明与特性分析验证、基于模型驱动的可视化方法研究等方面着手, 研究探索了服务组合的形式化建模、验证以及模型驱动的可视化技术。本书建立了基于BPEL4WS的形式化服务组合行为模型, 构造出了形式化服务组合行为模型WSBM的模拟执行过程, 进行了Web服务组合形式化模型的特性分析验证, 并以Web服务组合的行为模型驱动的组合行为交互表达的可视化方法。本书中对于组合服务的研究, 不仅可以促使实现行业内服务的有效使用, 还可以帮助行cation_date desc,id d

第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 展望

参考文献