服务计算应用开发技术

图书信息

书 名: 服务计算应用开发技术

作者：王红兵

出版社：机械工业出版社

出版时间： 2009年09月

ISBN: 9787111280415

开本： 16开

定价: 31.00 元

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

图书目录出版说明

前言

第1章 概论

1.1 服务计算

1.2 服务组合的动机

1.3 服务组合的挑战

1.3.1 描述逻辑

1.3.2 线性逻辑

1.3.3 人工智能规划

1.4 进程代数

1.5 约束满足问题

1.6 Petri网

1.7 有限状态自动机和模型检验

1.8 存在的问题

1.9 思考题

……