語義Web服務(wù)組合若干關(guān)鍵技術(shù)研究

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