基于Petri網(wǎng)的語義Web服務(wù)自動(dòng)組合方法

基于Petri網(wǎng)的語義Web服務(wù)自動(dòng)組合方法利用Web服務(wù)，開發(fā)人員可以進(jìn)行應(yīng)用程序的快速創(chuàng)建。而在Web服務(wù)數(shù)目逐漸增多的情況下，Web服務(wù)的組合就變得相對(duì)復(fù)雜。所以，有必要進(jìn)行一種語義Web服務(wù)的自動(dòng)組合方法的研究，從而解決Web服務(wù)組合困難的問題。因此，本文在利用Petri網(wǎng)的基礎(chǔ)之上，對(duì)語義Web服務(wù)自動(dòng)組合方法進(jìn)行了研究，從而提出了一種算法來滿足用戶的請(qǐng)求的同時(shí)，進(jìn)行用戶行為的約束，進(jìn)而為關(guān)注這一話題的人們提供一些參考。【關(guān)鍵詞】Petri網(wǎng)語義Web服務(wù)自動(dòng)組合方法由于Web服務(wù)具有松散耦合、語言重力和開放性等多種優(yōu)勢，所以利用Web服務(wù)可以進(jìn)行平臺(tái)異構(gòu)和互操作等問題的解決。但是，為了保證服務(wù)的可用性，單個(gè)Web服務(wù)一般不會(huì)太復(fù)雜。所以，想要進(jìn)行復(fù)雜應(yīng)用的時(shí)間，就要使多個(gè)Web服務(wù)組合起來。而通過語義Web服務(wù)組合建模，可以使服務(wù)以Horn子句形規(guī)則表示，從而將合成服務(wù)問題轉(zhuǎn)化成Horn子句推理問題來進(jìn)行解決。1Petri網(wǎng)與語義Web服務(wù)1.1Petri網(wǎng)Petri網(wǎng)常常被當(dāng)做工作流、Web服務(wù)等不確定的形式化模型，因?yàn)槠渚哂辛己玫牟僮髡Z義。而在Petri網(wǎng)的理論中，有效的結(jié)構(gòu)分析法為T-不變量。而在進(jìn)行服務(wù)組合相比時(shí)，利用此方法較有效。而所謂的Petri網(wǎng)，則可以利用一個(gè)五元式來表示，既。其中，P指的是庫的有限集合，T為變遷有限集合，F(xiàn)則為弧的集合，Mo為初始標(biāo)識(shí)，而W為弧的關(guān)聯(lián)權(quán)函數(shù)。1.2語義Web服務(wù)所謂的語義Web服務(wù)，其實(shí)就是一個(gè)原子Web服務(wù)。從本質(zhì)上來講，其實(shí)Web服務(wù)是SAWSDL中的一個(gè)操作，可以利用四元組來表示。而該四元組為。其中，I指的是服務(wù)的輸入?yún)?shù)的語義概念的集合，O指的是服務(wù)輸出參數(shù)的語義概念的集合，BC指的是服務(wù)行為約束集合，而QoS則指的是服務(wù)質(zhì)量參數(shù)集合。2基于Petri網(wǎng)的語義Web服務(wù)自動(dòng)組合方法2.1組合建模進(jìn)行語義Web服務(wù)的組合問題的解決時(shí)，可以利一組Horn子句形進(jìn)行用戶請(qǐng)求和Web服務(wù)的表示。而使用的Horn子句形規(guī)則為：利用一組命題Horn子句及其附屬子句參數(shù)進(jìn)行一個(gè)原子服務(wù)的表示。其中，可以將服務(wù)的輸入/輸出（I，O）以這樣一條命題規(guī)則表示。而由于該服務(wù)的名字、行為約束和質(zhì)量都是每條規(guī)則的附屬參數(shù)，所以可以將這樣的規(guī)則稱之為服務(wù)規(guī)則。而按照標(biāo)準(zhǔn)的Horn子句形的規(guī)則來表714-716+723.[2]林躍東.語義Web服務(wù)組合關(guān)鍵技術(shù)研究及其在物聯(lián)網(wǎng)中的應(yīng)用[D].華南理工大學(xué)，2013.[3]吳洪越，杜玉越.一種基于邏輯Petri網(wǎng)的Web服務(wù)簇組合方法[J].計(jì)算機(jī)