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