語義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 本書結(jié)構(gòu)
第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 本章小結(jié)
第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 本章小結(jié)
第4章 可信Web服務組合的形式化驗證
4.1 Web服務組合的行為特性驗證
4.2 Web服務組合的可靠性驗證
4.3 實驗結(jié)果與分析
4.4 本章小結(jié)
第5章 Web服務組合事務模型及異?；謴?br />5.1 Web服務組合中Web服務的活動特性及事務模型
5.1.1 Web服務的活動特性
5.1.2 Web服務組合的事務模型
5.2 Web服務組合異?；謴偷幕靖拍?br />5.3 基于ECA規(guī)則的Web服務組合異常恢復
5.3.1 基于ECA規(guī)則的Web服務組合異?；謴湍Ｐ?br />5.3.2 基于ECA規(guī)則的Web服務組合異常恢復實例
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章 結(jié)束語
參考文獻