基于模糊推理的即時(shí)服務(wù)組合與驗(yàn)證.pdf

1、隨著Web服務(wù)技術(shù)的發(fā)展，服務(wù)的數(shù)量不斷增加，然而網(wǎng)絡(luò)上注冊(cè)的大部分Web服務(wù)都是功能單一、結(jié)構(gòu)簡單的服務(wù)，當(dāng)面對(duì)用戶提出復(fù)雜的服務(wù)需求時(shí)，這些簡單的服務(wù)便顯得無能為力。因此如何將網(wǎng)絡(luò)中獨(dú)立存在的Web服務(wù)在盡可能節(jié)省成本的前提下以最高的效率組合在一起具有重要意義。
　　本文以Petri網(wǎng)理論為基礎(chǔ)，針對(duì)Web服務(wù)自動(dòng)組合以及組合服務(wù)的形式化驗(yàn)證進(jìn)行了深入的研究，本文的主要工作如下:第一，在OWL-S語義Web服務(wù)描述的基礎(chǔ)上進(jìn)行

2、了動(dòng)態(tài)QoS擴(kuò)展的研究，利用事例推理(CBR)方法對(duì)動(dòng)態(tài)QoS預(yù)測，使得服務(wù)描述具有動(dòng)態(tài)性，為服務(wù)查找、服務(wù)匹配和服務(wù)組合奠定了良好的基礎(chǔ)。第二，利用模糊推理Petri網(wǎng)(FRPN)方法對(duì)OWL-S描述的語義Web服務(wù)的原子進(jìn)程與復(fù)合進(jìn)程進(jìn)行形式化建模，然后借助服務(wù)匹配思想，分析了服務(wù)組合中可能出現(xiàn)的所有依賴關(guān)系，建立了服務(wù)發(fā)布圖，采用基于模糊推理Petri網(wǎng)的推理方法，通過反向、正向推理算法從服務(wù)發(fā)布圖中提取出滿足用戶需求的Web服務(wù)