滿額折
語義Web服務組合若干關鍵技術研究（簡體書）
商品資訊
相關商品
商品簡介
名人/編輯推薦
目次
商品簡介
本書根據Web服務組合的生命周期，展開語義Web服務組合關鍵技術研究，重點在：Web服務和Web服務組合的形式化模型，Web服務自動組合的推理算法，Web服務組合的正確性驗證，Web服務組合的異常處理等四個方面進行了有效的探索與嘗試，使用Petri網形式化技術提出了具體的解決方法，同時開發了一個基于顏色Petri網的Web服務組合原型系統CPN4WSC。
名人/編輯推薦
何豐著的《語義Web服務組合若干關鍵技術研究》目標是使用Petri網形式化方法，對Web服務自動組合研究領域中的幾個關鍵技術問題進行探索與嘗試，希望對推進Web服務組合技術的理論與應用研究具有一定的參考價值。
本書可作為理工科院校計算機專業研究生的參考書，也可作為Web服
務組合研究和應用開發人員較快地了解相關領域知識及技術的參考資料。
本書可作為理工科院校計算機專業研究生的參考書，也可作為Web服
務組合研究和應用開發人員較快地了解相關領域知識及技術的參考資料。
目次
前言
第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工作展望
參考文獻
第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工作展望
參考文獻
您曾經瀏覽過的商品
購物須知
大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大，除封面破損、內頁脫落等較嚴重的狀態，其餘商品將正常出貨。
特別提醒：部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供，需以QR CODE 連結至當地網站註冊“並通過驗證程序”，方可下載使用。
無現貨庫存之簡體書，將向海外調貨：
海外有庫存之書籍，等候約45個工作天;
海外無庫存之書籍，平均作業時間約60個工作天，然不保證確定可調到貨，尚請見諒。
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。
優惠價：87
183
海外經銷商無庫存，到貨日平均30天至45天