服務計算應用開發技術（簡體書）

木書從服務計算的基本概念和主要技術問題入手，分別介紹了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 J2EE Web服務
　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　概余模型和信自系統
　……
第5章　過程
第6章　服務的選擇
第7章　Web服務組合
第8章　服務組合驗證
第9章　多Agent系統在服務計算中的應用
參考文獻