智能web服務(wù)組合的建模與分析.pdf

1、隨著網(wǎng)絡(luò)的快速發(fā)展,單個(gè)web服務(wù)功能已經(jīng)不能滿足用戶需求,需要將多個(gè)web服務(wù)組合起來,以提供更為強(qiáng)大的功能。目前web服務(wù)組合的研究已經(jīng)取得一定的進(jìn)展,但還缺乏一個(gè)通用的實(shí)現(xiàn)框架對web服務(wù)的自動操作、自主交互及動態(tài)組合進(jìn)行規(guī)范。作為分布式技術(shù)和人工智能技術(shù)相結(jié)合的產(chǎn)物,移動agent技術(shù)具有自主行為和動態(tài)建模的優(yōu)勢,能夠在異構(gòu)網(wǎng)絡(luò)中自主地遷移。本文將移動agent技術(shù)應(yīng)用于web服務(wù)組合領(lǐng)域,為實(shí)現(xiàn)動態(tài)web服務(wù)組合和異構(gòu)的互聯(lián)網(wǎng)

2、軟件系統(tǒng)開發(fā)提供了一種新的技術(shù)途徑。
　　 結(jié)合web服務(wù)組合和移動agent技術(shù),本文提出基于移動agent的層次化服務(wù)組合模型。主要工作如下:
　　 (1)采用高級Petri網(wǎng)建立web服務(wù)組合形式化模型
　　 文中將整個(gè)系統(tǒng)模型分為系統(tǒng)層、agent層以及安全機(jī)制層,首先采用高級Petri網(wǎng)對系統(tǒng)層和agent層進(jìn)行形式化的建模,然后對模型的安全性問題進(jìn)行討論,并建立了保護(hù)主機(jī)的安全機(jī)制模型。系統(tǒng)模型清晰表

3、達(dá)各個(gè)層之間的交互和連接關(guān)系,體現(xiàn)移動agent的移動性、智能性和系統(tǒng)層的控制性、靈活性。
　　 (2)為了保證模型的正確性,采用形式化的模型驗(yàn)證方法。
　　 文中采用主流的模型檢測工具SPIN對建立的形式化模型進(jìn)行驗(yàn)證,具體過程是提出高級Petri網(wǎng)模型到Promela目標(biāo)模型的具體轉(zhuǎn)換規(guī)則,實(shí)現(xiàn)模型轉(zhuǎn)換,利用線性時(shí)序邏輯公式(LTL)對系統(tǒng)性質(zhì)進(jìn)行描述,完成系統(tǒng)的服務(wù)交互過程和安全性驗(yàn)證。這種方法可以有效地減小系統(tǒng)驗(yàn)