题名:
|
服务计算应用开发技术 / 王红兵主编 , |
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 |
主要责任者:
|
王红兵 主编 |