服务计算应用开发技术

　　出版说明
　　前言
　　第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 思考题
　　第2章 Web服务架构和标准
　　2.1 基本概念
　　2.1.1 Web服务的定义
　　2.1.2 Web服务的体系结构
　　2.1.3 Web服务架构协议栈
　　2.1.4 Web服务的实现
　　2.2 目录服务
　　2.2.1 目录的概念
　　2.2.2 目录服务的概念
　　2.2.3 目录服务的访问协议
　　2.2.4 目录服务的结构
　　2.2.5 目录服务的应用
　　2.3 简单对象访问协议(SOAP)
　　2.3.1 SOAP消息结构
　　2.3.2 SOAP编码
　　2.3.3 SOAP消息交换模型
　　2.3.4 SOAP与传输协议的绑定
　　2.4 Web服务描述语言(WSDL)
　　2.4.1 WSDL文档结构
　　2.4.2 WSDL声明
　　2.4.3 WSDL抽象描述
　　2.4.4 WSDL实现方法
　　2.5 通用发现、描述和集成(UDDI)
　　2.5.1 概述
　　2.5.2 UDDI数据结构
　　2.5.3 UDDI查询API
　　2.5.4 UDDI发布API
　　2.6 思考题
　　第3章 企业架构
　　3.1 集成与交互
　　3.1.1 企业应用集成
　　3.1.2 互用性
　　3.1.3 安全性
　　3.2 J2EE
　　3.2.1 J2EE介绍
　　3.2.2 J2EE平台
　　3.2.3 J2EEWeb服务
　　3.3.NET
　　3.3.1.NET介绍
　　3.3.2.NET平台
　　3.3.3.NET框架
　　3.3.4.NETWeb服务
　　3.4 遗留系统
　　3.4.1 遗留系统
　　3.4.2 SOA
　　3.5 思考题
　　第4章 描述：建模和表示
　　4.1 XML入门
　　4.1.1 为什么使用XML
　　4.1.2 什么是XML
　　4.1.3 XML文档
　　4.1.4 XML描述
　　4.1.5 支持XML的公司和它们的开发工具
　　4.1.6 前景
　　4.2 概念模型
　　4.2.1 建模概念
　　4.2.2 概余模型和信自系统
　　4.3 本体和知识共享
　　4.3.1 本体的介绍
　　4.3.2 知识共享
　　4.4 相关的标准
　　4.4.1 RDF和RDFS
　　4.4.2 OWL
　　4.4.3 OWL.S
　　4.5 推理和工具
　　4.5.1 本体语言的分析
　　4.5.2 基于案例推理的技术
　　4.6 匹配
　　4.6.1 服务匹配的背景
　　4.6.2 服务匹配的应用
　　4.7 思考题
　　第5章 过程
　　5.1 点对点计算
　　5.1.1 超越于客户一服务器之上
　　5.1.2 P2P计算模型
　　5.2 消息
　　5.2.1 消息路径
　　5.2.2 消息交互模式
　　5.2.3 关联
　　5.3 事务
　　5.3.1 ACID属性
　　5.3.2 调度
　　5.3.3 锁——封锁
　　5.3.4 分布式事务
　　5.4 流程规约
　　5.4.1 流程
　　5.4.2 工作流
　　5.5 相关标准：BPEL4wS，ebXML，WSCI，WS.C等业务流程语言
　　5.5.1 BPELAWS
　　5.5.2 ebXML
　　5.5.3 WSCL
　　5.5.4 WS.Coordination
　　5.6 思考题
　　第6章 服务的选择
　　6.1 服务质量
　　6.1.1 服务质量的概念引入
　　6.1.2 什么是QoS的属性?
　　6.2 建立应用层上的信任
　　6.2.1 信任概念的引入
　　6.2.2 3种Web服务安全机制
　　6.2.3 应用层的新威胁
　　6.2.4 如何建立信任机制
　　6.3 信誉度机制
　　6.3.1 什么是Web服务信誉度
　　6.3.2 什么是SLA
　　6.3.3 如何建立信誉度机制
　　6.3.4 举例：在P2P网络中如何计算信誉度
　　6.3.5 语义Web服务信誉度模型
　　6.4 推荐系统
　　6.4.1 5种推荐系统的模型
　　6.4.2 关于模型一的实例
　　6.4.3 关于模型二的实例
　　6.4.4 关于模型四的实例
　　6.5 思考题
　　第7章 Web服务组合
　　7.1 绪论
　　7.1.1 研究背景
　　7.1.2 问题的提出
　　7.1.3 国内外研究现状
　　7.1.4 主要内容
　　7.1.5 本章的结构安排
　　7.2 研究基础
　　7.2.1 Web服务
　　7.2.2 Web服务相关规范
　　7.2.3 Web服务小结
　　7.2.4 Web服务组合
　　7.2.5 小结
　　7.3 TLA介绍
　　7.3.1 概述
　　7.3.2 TLA公式
　　7.3.3 举例
　　7.3.4 执行和停顿
　　7.3.5 公平性
　　7.3.6 组合
　　7.3.7 TLC
　　……
　　第8章 服务组合验证
　　第9章 多Agent系统在服务计算中的应用
　　参考文献

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