基于SAT規(guī)劃的Web Service自動組合系統(tǒng)研究.pdf

1、在網(wǎng)絡(luò)上存在著大量的Web服務(wù)，這些服務(wù)跨越多個(gè)領(lǐng)域，從提供各種信息到提供各種現(xiàn)實(shí)生活中的服務(wù)，包羅萬象，應(yīng)有盡有。由于Web服務(wù)應(yīng)用越來越多，傳統(tǒng)的軟件工程和管理的研究領(lǐng)域發(fā)生了巨大的變化。但是如果沒有任何一個(gè)單一的Web服務(wù)能夠滿足用戶的全部需求，那么應(yīng)該存在一種方法來整合已有的Web服務(wù)來達(dá)到目的。這個(gè)趨勢促使大量關(guān)于Web服務(wù)組合的研究產(chǎn)生出來。
　　 本文利用人工智能領(lǐng)域中最熱門的智能規(guī)劃技術(shù)，將SAT規(guī)劃技術(shù)與Web

2、服務(wù)組合相結(jié)合，對SAT規(guī)劃進(jìn)行了深入細(xì)致的闡述和介紹，并提出了利用SAT規(guī)劃求解技術(shù)來解決Web服務(wù)組合問題的方法。本文對相關(guān)研究文獻(xiàn)進(jìn)行了整理和分類，并對Web服務(wù)進(jìn)行建模，將Web服務(wù)建模成便于規(guī)劃系統(tǒng)理解和處理的形式。由于現(xiàn)實(shí)中的Web服務(wù)組合問題過于復(fù)雜且具有許多的不確定性，為了更好地抽象以及應(yīng)付大部分的情形，本文在假設(shè)信息不丟失且以路徑最短為最優(yōu)的條件下，運(yùn)用基于SAT技術(shù)的規(guī)劃方法來求解Web服務(wù)組合問題，并對線性算法進(jìn)行