服務(wù)計算應(yīng)用開發(fā)技術(shù)

前言

　　近年來，Web服務(wù)的理論和技術(shù)取得了長足的發(fā)，除了既成的標準（如SOAP，WSDL，BPEL）外，工業(yè)界還開發(fā)了很多與Web服務(wù)相關(guān)的技術(shù)（如IBM公司的Web Sphere Toolkit，Sun公司的Open Net Environment和Jini TM Network，Microsoft公司的．Net，Novell公司的One Net initiatives以及HP公司的e．speak等）。同時，相關(guān)的課題正處于研究之中，例如，DAMLS／OWL-S，SWSI（Semantic Web Services Initiative）的成果，基于自動機模型的Web服務(wù)，WSMO（Web Set-vice Modeling Ontology）等。如何使Web服務(wù)真正進入實用階段，使之實現(xiàn)跨組織，跨管理域的系統(tǒng)集成和自動交互，還面臨很多問題。這些問題有些已經(jīng)解決，另一些則是新問題，例如，’Web服務(wù)如何組合，能否自動組合及組合的正確性驗證，以及是否與期望中的服務(wù)匹配等問題。解決服務(wù)組合中的這些問題，有兩類思路。一類是流程組合的思想，如BPEL4WS描述語言，這類方法的建模和驗證常使用時序邏輯、Petri網(wǎng)和進程代數(shù)等形式化方法；另一類是借助人工智能的思想，如語義Web。

內(nèi)容概要

木書從服務(wù)計算的基本概念和主要技術(shù)問題入手，分別介紹了Web服務(wù)的選擇與組合方法，提出了一種基于服務(wù)質(zhì)量（QoS）的服務(wù)選擇方式（根據(jù)不同用戶對服務(wù)質(zhì)量的屬性需求不同，對請求者需要的QoS屬性與提供者提供的QoS屬性進行比較，來為用戶選擇最佳的、最匹配的服務(wù)）。在講述服務(wù)組合時，引入了動作時序邏輯（TLA）的概念，提出了用TLA形式化描述、組合及驗證Web服務(wù)的思想，并對Web服務(wù)描述語言（WSDL）進行了動態(tài)擴展，給出了從WSDL到TLA規(guī)范的轉(zhuǎn)換算法和具體的實現(xiàn)，并使用TLA的模型檢驗器TLC對組合服務(wù)流程進行驗證，以保證系統(tǒng)的安全性、活性與公甲性。    本書面向初學(xué)者，為讀者了解服務(wù)組合提供了捷徑，可作為高等院校計算機專業(yè)本科生和研究生的教材，也可作為相關(guān)專業(yè)的技術(shù)人員了解服務(wù)組合的參考書。

書籍目錄

出版說明前言　第1章　概論　1.1  服務(wù)計算　1.2　服務(wù)組合的動機　1.3　服務(wù)組合的挑戰(zhàn)　　1.3.1　描述邏輯　　1.3.2　線性邏輯　1.3.3　人工智能規(guī)劃　1.4　進程代數(shù)　1.5　約束滿足問題　1.6　Petri網(wǎng)　1.7　有限狀態(tài)自動機和模型檢驗　1.8　存在的問題　1.9　思考題第2章　Web服務(wù)架構(gòu)和標準　2.1  基本概念　　2.1.1  Web服務(wù)的定義　　2.1.2  Web服務(wù)的體系結(jié)構(gòu)　　2.1.3  Web服務(wù)架構(gòu)協(xié)議?！　?.1.4  Web服務(wù)的實現(xiàn)　2.2  目錄服務(wù)　　2.2.1　目錄的概念　　2.2.2　目錄服務(wù)的概念　　2.2.3  目錄服務(wù)的訪問協(xié)議　　2.2.4　目錄服務(wù)的結(jié)構(gòu)　　2.2.5　目錄服務(wù)的應(yīng)用  2.3　簡單對象訪問協(xié)議(SOAP)  　　2.3.1  SOAP消息結(jié)構(gòu)　　2.3.2  SOAP編碼　　2.3.3  SOAP消息交換模型　　2.3.4  SOAP與傳輸協(xié)議的綁定  2.4  Web服務(wù)描述語言(WSDL)　　2.4.1  WSDL文檔結(jié)構(gòu)　　2.4.2  WSDL聲明　　2.4.3  WSDL抽象描述　　2.4.4  WSDL實現(xiàn)方法　2.5　通用發(fā)現(xiàn)、描述和集成(UDDI)  　　2.5.1　概述　　2.5.2  UDDI數(shù)據(jù)結(jié)構(gòu)　　2.5.3  UDDI查詢API　　2.5.4  UDDI發(fā)布API　2.6　思考題第3章　企業(yè)架構(gòu)  3.1　集成與交互　　3.1.1　企業(yè)應(yīng)用集成　　3.1.2　互用性　　3.1.3　安全性　3.2　J2EE　　3.2.1  J2EE介紹　　3.2.2  J2EE平臺　　3.2.3  J2EE Web服務(wù)　3.3  .NET  　　3.3.1　.NET介紹　　3.3.2　.NET平臺　　3.3.3　.NET框架　　3.3.4　.NETWeb服務(wù)  3.4　遺留系統(tǒng)　　3.4.1　遺留系統(tǒng)　　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的公司和它們的開發(fā)工具　　4.1.6　前景  4.2　概念模型　　4.2.1　建模概念　　4 2 2　概余模型和信自系統(tǒng)　……第5章　過程第6章　服務(wù)的選擇第7章　Web服務(wù)組合第8章　服務(wù)組合驗證第9章　多Agent系統(tǒng)在服務(wù)計算中的應(yīng)用參考文獻　

章節(jié)摘錄

　　第1章　概論　　重點內(nèi)容　　本章介紹服務(wù)計算的基本概念和服務(wù)計算的主要技術(shù)問題?！　?.1　服務(wù)計算　　服務(wù)計算（Services Computin9，SC）被認為是下一代分布式計算的發(fā)展方向，目前是一個仍未解決的，但關(guān)系到下一代分布式計算成功與否的關(guān)鍵問題。為了創(chuàng)建真正的應(yīng)用，開發(fā)者往往要將系統(tǒng)提供的現(xiàn)有簡單服務(wù)組合起來，才能解決復(fù)雜的用戶問題，這一新型計算模式稱為面向服務(wù)的計算（Service Oriented Computing，SOC）。要使面向服務(wù)的計算成功發(fā)展為下一代分布式計算的主要模式，必須解決服務(wù)組合（Service Composition）這個關(guān)鍵問題，這已成為計算機科學(xué)界的廣泛共識。然而，目前的狀況是，雖然這個問題引起了人們的極大關(guān)注，并且有一些初步的研究探索，但離問題的真正解決還有很遠的距離。其根本原因在于，未能從理論基礎(chǔ)上展開研究并尋求徹底的解決方案。為此，本書對服務(wù)計算的理論基礎(chǔ)及應(yīng)用進行研究分析，總結(jié)其中存在的關(guān)鍵問題，希望對該領(lǐng)域的研究有所助益?！　?.2　服務(wù)組合的動機　　服務(wù)是平臺和網(wǎng)絡(luò)獨立、可供客戶端和其他服務(wù)調(diào)用的操作（Operation）。一個服務(wù)一般只有相對簡單的操作功能，如數(shù)學(xué)的乘法運算。應(yīng)用開發(fā)者使用服務(wù)作為其應(yīng)用開發(fā)的基本元素。為完成復(fù)雜的任務(wù)，開發(fā)者需組合已有的簡單服務(wù)，形成一個新的服務(wù)，稱為組合服務(wù)（Composite Service）。下面將給出服務(wù)組合的定義（標記和術(shù)語引用自Leslie Lamport編寫的（Specifying Systems》）?！　　　?/pre>








圖書封面






評論、評分、閱讀與下載



還沒讀過(63)
勉強可看(462)
一般般(788)
內(nèi)容豐富(3269)
強力推薦(268)


 


    服務(wù)計算應(yīng)用開發(fā)技術(shù) PDF格式下載