题名:
服务计算应用开发技术   / 王红兵主编 ,
ISBN:
978-7-111-28041-5 价格: CNY31.00
语种:
chi
载体形态:
x, 273页 图 26cm
出版发行:
出版地: 北京 出版社: 机械工业出版社 出版日期: 2009
内容提要:
木书从服务计算的基本概念和主要技术问题入手, 分别介绍了Web服务的选择与组合方法, 提出了一种基于服务质量 (QoS) 的服务选择方式 (根据不同用户对服务质量的属性需求不同, 对请求者需要的QoS属性与提供者提供的QoS属性进行比较, 来为用户选择最佳的、最匹配的服务)。在讲述服务组合时, 引入了动作时序逻辑 (TLA) 的概念, 提出了用TLA形式化描述、组合及验证Web服务的思想, 并对Web服务描述语言 (WSDL) 进行了动态扩展, 给出了从WSDL到TLA规范的转换算法和具体的实现, 并使用TLA的模型检验器TLC对组合服务流程进行验证, 以保证系统的安全性、活性与公甲性。 
主题词:
电子计算机   算法理论
中图分类法:
TP301.5 版次: 4
主要责任者:
王红兵 主编