基于形式化的語(yǔ)義Web服務(wù)自動(dòng)組合方法研究.pdf

1、語(yǔ)義Web和Web服務(wù)是WWW發(fā)展的兩個(gè)重要趨勢(shì)，這兩種技術(shù)的結(jié)合產(chǎn)生了另一個(gè)新興的研究課題——語(yǔ)義Web服務(wù)。語(yǔ)義Web服務(wù)是指用語(yǔ)義Web標(biāo)記語(yǔ)言來(lái)描述服務(wù)的語(yǔ)義，使Web服務(wù)成為計(jì)算機(jī)可以理解的實(shí)體，從而支持服務(wù)的自動(dòng)發(fā)現(xiàn)、執(zhí)行和組合等?；谡Z(yǔ)義Web的服務(wù)自動(dòng)組合技術(shù)，目標(biāo)是使軟件Agent能根據(jù)用戶的需求將各種已有的Web服務(wù)自動(dòng)地組合起來(lái)、協(xié)同工作完成用戶的任務(wù)，使服務(wù)可以靈活地滿足用戶的需求，實(shí)現(xiàn)“按需服務(wù)”。
　　

2、 語(yǔ)義Web服務(wù)組合研究領(lǐng)域的一個(gè)重要的問(wèn)題是如何形式化描述語(yǔ)義Web服務(wù)組合，如何驗(yàn)證服務(wù)組合的正確性。語(yǔ)義Web服務(wù)組合涉及多個(gè)Web服務(wù)通信協(xié)作，以及推理，這些特點(diǎn)使得語(yǔ)義Web服務(wù)組合的驗(yàn)證更加困難。而且，語(yǔ)義Web服務(wù)的組合語(yǔ)言作為一種基于本體標(biāo)記語(yǔ)言O(shè)WL的服務(wù)組合方法，建模理論基礎(chǔ)比較薄弱，組合正確性的保證較弱。而錯(cuò)誤的模型會(huì)導(dǎo)致運(yùn)行的失敗，運(yùn)行失敗就會(huì)給開(kāi)發(fā)帶來(lái)不必要的損失，因此模型的正確性、無(wú)死鎖性等問(wèn)題，在它正式被

3、實(shí)施前必須得到形式上的模擬與檢驗(yàn)。
　　 本文針對(duì)上述問(wèn)題，研究AI規(guī)劃、有色Petri網(wǎng)如何形式化及其驗(yàn)證語(yǔ)義Web服務(wù)的自動(dòng)組合，并提出了一種基于Pi演算的語(yǔ)義Web服務(wù)組合的建模方法，利用Pi演算的并發(fā)計(jì)算操作符，將語(yǔ)義Web服務(wù)組合建模為一組并發(fā)執(zhí)行的服務(wù)組合，在此基礎(chǔ)上驗(yàn)證Web服務(wù)組合的正確性。主要研究?jī)?nèi)容包括以下五個(gè)方面：
　　 (1)研究AI規(guī)劃、有色Petri網(wǎng)如何實(shí)現(xiàn)對(duì)語(yǔ)義Web服務(wù)的形式化描述及其驗(yàn)

4、證方法，得出利用有色Petri網(wǎng)驗(yàn)證語(yǔ)義Web服務(wù)組合的優(yōu)點(diǎn)和缺點(diǎn)。
　　 (2)在對(duì)語(yǔ)義Web服務(wù)組合的模型及其描述語(yǔ)言O(shè)WL-S和Pi演算研究的基礎(chǔ)上，提出了一種基于Pi演算形式化、驗(yàn)證語(yǔ)義Web服務(wù)的自動(dòng)組合的方法。該方法可以保證語(yǔ)義Web服務(wù)自動(dòng)組合的正確性以降低由于Web服務(wù)執(zhí)行的失敗帶來(lái)的開(kāi)銷(xiāo)。
　　 (3)對(duì)于用Pi演算形式化描述和建模的語(yǔ)義Web服務(wù)組合進(jìn)行正確性的驗(yàn)證，對(duì)于驗(yàn)證后的Web服務(wù)組合給出反饋