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

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

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

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