木书从服务计算的基本概念和主要技术问题入手,分别介绍了Web服务的选择与组合方法,提出了一种基于服务质量(QoS)的服务选择方式(根据不同用户对服务质量的属性需求不同,对请求者需要的QoS属性与提供者提供的QoS属性进行比较,来为用户选择最佳的、最匹配的服务)。在讲述服务组合时,引入了动作时序逻辑(TLA)的概念,提出了用TLA形式化描述、组合及验证Web服务的思想,并对Web服务描述语言(WSDL)进行了动态扩展,给出了从WSDL到TLA规范的转换算法和具体的实现,并使用TLA的模型检验器TLC对组合服务流程进行验证,以保证系统的安全性、活性与公甲性。 本书面向初学者,为读者了解服务组合提供了捷径,可作为高等院校计算机专业本科生和研究生的教材,也可作为相关专业的技术人员了解服务组合的参考书。

提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。