語義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 研究目標(biāo)、思路及主要內(nèi)容
1.2.1 研究目標(biāo)
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進(jìn)程
2.2.1 0WL-S原子進(jìn)程的Petri網(wǎng)描述
2.2.2 0WL-S復(fù)合進(jìn)程的Petri網(wǎng)描述
2.3 基于顏色標(biāo)簽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ù)組合的形式化驗(yàn)證
4.1 Web服務(wù)組合的行為特性驗(yàn)證
4.2 Web服務(wù)組合的可靠性驗(yàn)證
4.3 實(shí)驗(yàn)結(jié)果與分析
4.4 本章小結(jié)
第5章 Web服務(wù)組合事務(wù)模型及異?；謴?fù)
5.1 Web服務(wù)組合中Web服務(wù)的活動(dòng)特性及事務(wù)模型
5.1.1 Web服務(wù)的活動(dòng)特性
5.1.2 Web服務(wù)組合的事務(wù)模型
5.2 Web服務(wù)組合異?；謴?fù)的基本概念
5.3 基于ECA規(guī)則的Web服務(wù)組合異常恢復(fù)
5.3.1 基于ECA規(guī)則的Web服務(wù)組合異?；謴?fù)模型
5.3.2 基于ECA規(guī)則的Web服務(wù)組合異?；謴?fù)實(shí)例
5.4 基于層次式恢復(fù)算法WSCRecovery的Web服務(wù)組合異?；謴?fù)
5.4.1 基于層次Petri網(wǎng)的WSCRecovery異常處理補(bǔ)償模型
5.4.2 Web服務(wù)組合異常處理恢復(fù)的WSCRecovery算法
5.4.3 WSCRecovery算法正確性分析
……
第6章 Web服務(wù)組合輔助工具CPN4WSC原型
第7章 結(jié)束語
參考文獻(xiàn)