123,123

內(nèi)容簡(jiǎn)介

　　Web服務(wù)組合作為一種嶄新的分布式計(jì)算模型，已成為面向服務(wù)的計(jì)算的核心技術(shù)?！墩Z(yǔ)義Web服務(wù)組合若干關(guān)鍵技術(shù)研究》根據(jù)Web服務(wù)組合的生命周期，展開(kāi)了對(duì)語(yǔ)義WebaR務(wù)組合關(guān)鍵技術(shù)的研究，重點(diǎn)在Web服務(wù)和Web服務(wù)組合的形式化模型、Web服務(wù)自動(dòng)組合的推理算法、Web服務(wù)組合的正確性驗(yàn)證、Web服務(wù)組合的異常處理四個(gè)方面進(jìn)行了有效的探索與嘗試。同時(shí)開(kāi)發(fā)了一個(gè)基于顏色Petri網(wǎng)的Web服務(wù)組合原型系統(tǒng)CPN4WSC，對(duì)于推進(jìn)動(dòng)態(tài)服務(wù)組合技術(shù)的理論研究和實(shí)用化具有一定的理論價(jià)值與應(yīng)用價(jià)值?！墩Z(yǔ)義Web服務(wù)組合若干關(guān)鍵技術(shù)研究》可作為理工科院校計(jì)算機(jī)專業(yè)研究生的參考書(shū)，也可作為Web服務(wù)組合研究和應(yīng)用開(kāi)發(fā)人員較快地了解相關(guān)領(lǐng)域知識(shí)及技術(shù)的參考資料。

作者簡(jiǎn)介

暫缺《語(yǔ)義Web服務(wù)組合若干關(guān)鍵技術(shù)研究》作者簡(jiǎn)介

圖書(shū)目錄

前言
第1章緒論
1.1 研究背景
1.1.1 Web服務(wù)
1.1.2 語(yǔ)義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 本書(shū)結(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)的語(yǔ)義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é)束語(yǔ)
參考文獻(xiàn)