服务计算应用开发技术

本书从服务计算的基本概念和主要技术问题入手，分别介绍了Web服务的选择与组合方法，提出了一种基于QoS的服务选择方式。在讲述服务组合时，引入了动作时序逻辑TLA的概念，提出了用TLA形式化描述、组合及验证Web服务的思想，并对WSDL进行了动态扩展，给出了从WSDL到TLA规范的转换算法和具体的实现，并使用TLC对组合服务流程进行验证，以保证系统的安全性、活性与公平性。