基于MDP和DT-Golog的Web服務(wù)集成.pdf

1、所謂Web服務(wù)集成是將幾個(gè)Web服務(wù)結(jié)合起來以滿足用戶的請求，這種結(jié)合彌補(bǔ)了一個(gè)Web服務(wù)無法滿足用戶請求的情況。同時(shí)，計(jì)算機(jī)網(wǎng)絡(luò)技術(shù)的迅猛發(fā)展和全球經(jīng)濟(jì)一體化進(jìn)程的加快，使得企業(yè)的內(nèi)外形勢都發(fā)生了巨大的變化，越來越多的企業(yè)和公司都通過Internet來處理業(yè)務(wù)和外購服務(wù)。因此在Web上如何有效、實(shí)時(shí)地選擇和集成企業(yè)內(nèi)部和不同企業(yè)的服務(wù)，對于Web服務(wù)的應(yīng)用發(fā)展而言是很重要的。
　　 在經(jīng)典的Web服務(wù)集成規(guī)劃過程中，存在這樣一

2、個(gè)悖論：Web服務(wù)事先被看成是確定性動作，另一方面又對這些動作的不確定性進(jìn)行監(jiān)測。利用馬爾可夫決策過程理論可以解決Web服務(wù)集成的不確定性問題。Web服務(wù)的不確定性體現(xiàn)在兩個(gè)方面：業(yè)務(wù)邏輯的不確定性和服務(wù)質(zhì)量的不確定性。到目前為止，很多研究人員都分別針對這兩種不確定性提出了各自的模型或方法。然而在這些方法中很少有人使用邏輯編程語言，如Golog、DT-Golog，來處理Web服務(wù)集成問題中的Web服務(wù)不確定性，而且也很少有人同時(shí)針對兩種

3、不確定性提出一個(gè)完整的解決方案。
　　 DT-Golog是將馬爾可夫決策過程引入Golog邏輯編程語言的擴(kuò)展，它無縫結(jié)合了Agent編程和決策理論規(guī)劃，并且繼承了Golog語言的優(yōu)點(diǎn)：同時(shí)具有編程的優(yōu)點(diǎn)――可控制性與規(guī)劃的優(yōu)點(diǎn)――靈活性和一般性。因此本文利用DT-Golog語言對Web服務(wù)集成問題進(jìn)行建模，通過DT-Golog的邏輯編程來表達(dá)Web服務(wù)之間應(yīng)滿足的邏輯約束關(guān)系――對Web服務(wù)集成可達(dá)狀態(tài)空間的約束，DT-Golo