| 词条 | 服务计算应用开发技术 |
| 释义 | 图书信息书 名: 服务计算应用开发技术 作 者：王红兵 出版社： 机械工业出版社 出版时间： 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 思考题 …… |
| 随便看 |
百科全书收录4421916条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。