服务计算应用开发技术(21世纪重点大学规划教材)
点此进入淘宝搜索页搜索分類: 图书,教材教辅与参考书,大学,法律专业,
品牌: 王红兵
基本信息·出版社：机械工业出版社
·页码：273 页
·出版日期：2009年09月
·ISBN：7111280415/9787111280415
·条形码：9787111280415
·包装版本：第1版
·装帧：平装
·开本：16
·正文语种：中文
·丛书名：21世纪重点大学规划教材
产品信息有问题吗？请帮我们更新产品信息。
内容简介《服务计算应用开发技术》从服务计算的基本概念和主要技术问题入手，分别介绍了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 思考题
第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服务的理论和技术取得了长足的发，除了既成的标准（如SOAP，WSDL，BPEL）外，工业界还开发了很多与Web服务相关的技术（如IBM公司的Web Sphere Toolkit，Sun公司的Open Net Environment和Jini TM Network，Microsoft公司的．Net，Novell公司的One Net initiatives以及HP公司的e．speak等）。同时，相关的课题正处于研究之中，例如，DAMLS／OWL-S，SWSI（Semantic Web Services Initiative）的成果，基于自动机模型的Web服务，WSMO（Web Set-vice Modeling Ontology）等。
如何使Web服务真正进入实用阶段，使之实现跨组织，跨管理域的系统集成和自动交互，还面临很多问题。这些问题有些已经解决，另一些则是新问题，例如，’Web服务如何组合，能否自动组合及组合的正确性验证，以及是否与期望中的服务匹配等问题。解决服务组合中的这些问题，有两类思路。一类是流程组合的思想，如BPEL4WS描述语言，这类方法的建模和验证常使用时序逻辑、Petri网和进程代数等形式化方法；另一类是借助人工智能的思想，如语义Web。
文摘插图：
第1章概论
重点内容
本章介绍服务计算的基本概念和服务计算的主要技术问题。
1.1 服务计算
服务计算（Services Computin9，SC）被认为是下一代分布式计算的发展方向，目前是一个仍未解决的，但关系到下一代分布式计算成功与否的关键问题。为了创建真正的应用，开发者往往要将系统提供的现有简单服务组合起来，才能解决复杂的用户问题，这一新型计算模式称为面向服务的计算（Service Oriented Computing，SOC）。要使面向服务的计算成功发展为下一代分布式计算的主要模式，必须解决服务组合（Service Composition）这个关键问题，这已成为计算机科学界的广泛共识。然而，目前的状况是，虽然这个问题引起了人们的极大关注，并且有一些初步的研究探索，但离问题的真正解决还有很远的距离。其根本原因在于，未能从理论基础上展开研究并寻求彻底的解决方案。为此，本书对服务计算的理论基础及应用进行研究分析，总结其中存在的关键问题，希望对该领域的研究有所助益。
1.2服务组合的动机
服务是平台和网络独立、可供客户端和其他服务调用的操作（Operation）。一个服务一般只有相对简单的操作功能，如数学的乘法运算。应用开发者使用服务作为其应用开发的基本元素。为完成复杂的任务，开发者需组合已有的简单服务，形成一个新的服务，称为组合服务（Composite Service）。下面将给出服务组合的定义（标记和术语引用自Leslie Lamport编写的（Specifying Systems》）。
