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

內容簡介

何豐著的《語義Web服務組合若干關鍵技術研究》目標是使用Petri網形式化方法，對Web服務自動組合研究領域中的幾個關鍵技術問題進行探索與嘗試，希望對推進Web服務組合技術的理論與套用研究具有一定的參考價值。
本書可作為理工科院校計算機專業研究生的參考書，也可作為Web服
務組合研究和套用開發人員較快地了解相關領域知識及技術的參考資料。

本書根據Web服務組合的生命周期，展開語義Web服務組合關鍵技術研究，重點在：Web服務和Web服務組合的形式化模型，Web服務自動組合的推理算法，Web服務組合的正確性驗證，Web服務組合的異常處理等四個方面進行了有效的探索與嘗試，使用Petri網形式化技術提出了具體的解決方法，同時開發了一個基於顏色Petri網的Web服務組合原型系統CPN4WSC。

圖書目錄

前言
第1章緒論
1.1研究背景
1.1.1Web服務
1.1.2語義Web服務
1.1.3Web服務組合
1.2研究目標、思路及主要內容
1.2.1研究目標
1.2.2研究思路及主要內容
1.3本書結構
第2章基於Petri網的Web服務及服務組合建模
2.1Petri網的基本概念
2.2OWLS進程
2.2.1OWL-S原子進程的Petri網描述
2.2.2OWL-S複合進程的Petri網描述
2.3基於顏色標籤Petri網的Web服務組合模型
2.4本章小結
第3章基於Petri網的語義Web服務組合
3.1Web服務組合中的依賴關係
3.2基於模糊推理Petri網的Web服務Pet“網描述
3.3基於Petri網的Web服務依賴關係圖
3.4基於模糊推理Petri網的Web服務組合
3.4.1基於推理Petri網推理的基本概念
3.4.2基於推理Petri網的Web服務組合兩階段算法
3.5基於推理Petri網的Web服務組合兩階段算法示例
3.6本章小結
第4章可信Web服務組合的形式化驗證
4.1Web服務組合的行為特性驗證
4.2web服務組合的可靠性驗證
4.3實驗結果與分析
4.4本章小結
第5章Web服務組合事務模型及異常恢復
5.1Web服務組合中Web服務的活動特性及事務模型
5.1.1Web服務的活動特性
5.1.2Web服務組合的事務模型
5.2Web服務組合異常恢復的基本概念
5.3基於ECA規則的Web服務組合異常恢復
5.3.1基於ECA規則的web服務組合異常恢復模型
5.3.2基於ECA規則的Web服務組合異常恢復實例
5.4基於層次式恢復算法WSC Recovery的Web服務組合異常恢復
5.4.1基於層次Petri網的WSC Recovery異常處理補償模型
5.4.2Web服務組合異常處理恢復的WSC Recovery算法
5.4.3WSC Recovery算法正確性分析
5.5本章小結
第6章Web服務組合輔助工具CPN4WSC原型
6.1基於CPN4WSC的Web服務組合系統模型
6.2Web服務組合輔助工具CPN4WSC原型系統
6.2.1CPN4WSC的設計
6.2.2CPN4WSC的功能模組
6.3本章小結
第7章結束語
7.1主要工作和創新點
7.2工作展望
參考文獻

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

基本介紹

內容簡介

圖書目錄

相關詞條

熱門詞條