語義Web服務組合若干關鍵技術研究

定　價：￥35.00

作　者：	何豐著
出版社：	科學出版社
叢編項：
標　簽：	暫缺

購買這本書可以去

ISBN：	9787030339836	出版時間：	2013-09-01	包裝：	平裝
開本：	大32開	頁數(shù)：	153	字數(shù)：

內(nèi)容簡介

　　Web服務組合作為一種嶄新的分布式計算模型，已成為面向服務的計算的核心技術?！墩Z義Web服務組合若干關鍵技術研究》根據(jù)Web服務組合的生命周期，展開了對語義WebaR務組合關鍵技術的研究，重點在Web服務和Web服務組合的形式化模型、Web服務自動組合的推理算法、Web服務組合的正確性驗證、Web服務組合的異常處理四個方面進行了有效的探索與嘗試。同時開發(fā)了一個基于顏色Petri網(wǎng)的Web服務組合原型系統(tǒng)CPN4WSC，對于推進動態(tài)服務組合技術的理論研究和實用化具有一定的理論價值與應用價值?！墩Z義Web服務組合若干關鍵技術研究》可作為理工科院校計算機專業(yè)研究生的參考書，也可作為Web服務組合研究和應用開發(fā)人員較快地了解相關領域知識及技術的參考資料。

作者簡介

暫缺《語義Web服務組合若干關鍵技術研究》作者簡介

圖書目錄

前言
第1章緒論
1.1 研究背景
1.1.1 Web服務
1.1.2 語義Web服務
1.1.3 Web服務組合
1.2 研究目標、思路及主要內(nèi)容
1.2.1 研究目標
1.2.2 研究思路及主要內(nèi)容
1.3 本書結構
第2章基于Petri網(wǎng)的Web服務及服務組合建模
2.1 Petri網(wǎng)的基本概念
2.2 0WL-S進程
2.2.1 0WL-S原子進程的Petri網(wǎng)描述
2.2.2 0WL-S復合進程的Petri網(wǎng)描述
2.3 基于顏色標簽Petri網(wǎng)的Web服務組合模型
2.4 本章小結
第3章基于Petri網(wǎng)的語義Web服務組合
3.1 Web服務組合中的依賴關系
3.2 基于模糊推理Petri網(wǎng)的Web服務Petri網(wǎng)描述
3.3 基于Petri網(wǎng)的Web服務依賴關系圖
3.4 基于模糊推理Petri網(wǎng)的Web服務組合
3.4.1 基于推理Petri網(wǎng)推理的基本概念
3.4.2 基于推理Petri網(wǎng)的Web服務組合兩階段算法
3.5 基于推理Petri網(wǎng)的Web服務組合兩階段算法示例
3.6 本章小結
第4章可信Web服務組合的形式化驗證
4.1 Web服務組合的行為特性驗證
4.2 Web服務組合的可靠性驗證
4.3 實驗結果與分析
4.4 本章小結
第5章 Web服務組合事務模型及異常恢復
5.1 Web服務組合中Web服務的活動特性及事務模型
5.1.1 Web服務的活動特性
5.1.2 Web服務組合的事務模型
5.2 Web服務組合異?；謴偷幕靖拍?br />5.3 基于ECA規(guī)則的Web服務組合異?；謴?br />5.3.1 基于ECA規(guī)則的Web服務組合異?；謴湍Ｐ?br />5.3.2 基于ECA規(guī)則的Web服務組合異?；謴蛯嵗?br />5.4 基于層次式恢復算法WSCRecovery的Web服務組合異?；謴?br />5.4.1 基于層次Petri網(wǎng)的WSCRecovery異常處理補償模型
5.4.2 Web服務組合異常處理恢復的WSCRecovery算法
5.4.3 WSCRecovery算法正確性分析
……
第6章 Web服務組合輔助工具CPN4WSC原型
第7章結束語
參考文獻