基于有色Petri網(wǎng)的語(yǔ)義Web服務(wù)組合形式化描述與驗(yàn)證.pdf

1、隨著互聯(lián)網(wǎng)技術(shù)與應(yīng)用的迅速發(fā)展，Web服務(wù)作為一種新興的Web應(yīng)用模式及遠(yuǎn)程訪問(wèn)標(biāo)準(zhǔn)，很好地解決了異構(gòu)平臺(tái)上的數(shù)據(jù)和應(yīng)用的整合與共享問(wèn)題。但是，傳統(tǒng)的Web服務(wù)缺乏語(yǔ)義信息，語(yǔ)義Web使得網(wǎng)絡(luò)中的所有信息都是有語(yǔ)義的，使計(jì)算機(jī)能夠理解和處理。語(yǔ)義Web技術(shù)和Web服務(wù)的結(jié)合產(chǎn)生了語(yǔ)義Web服務(wù)。語(yǔ)義Web服務(wù)使用無(wú)二義性、且計(jì)算機(jī)可以理解的語(yǔ)言來(lái)描述Web服務(wù)，對(duì)Web服務(wù)的自動(dòng)發(fā)現(xiàn)、組合和調(diào)用提供了支持。
　　 對(duì)語(yǔ)義Web服

2、務(wù)組合進(jìn)行形式化描述、分析和驗(yàn)證是檢測(cè)Web服務(wù)的自動(dòng)發(fā)現(xiàn)、組合和執(zhí)行等問(wèn)題的有效手段。本文在對(duì)現(xiàn)有的Web服務(wù)組合方法分析之后，依據(jù)語(yǔ)義Web服務(wù)的特點(diǎn)，提出了有色Petri網(wǎng)的語(yǔ)義Web服務(wù)組合形式化模型，形式化描述OWL-S中ServiceModel的6種基本的Web服務(wù)組合單元，并利用可達(dá)圖及CTLMC工具對(duì)構(gòu)造出的組合網(wǎng)模型進(jìn)行正確性(可達(dá)性、活性、有效性和安全性等方面)驗(yàn)證。最后，通過(guò)具體實(shí)例演示語(yǔ)義Web服務(wù)組合的Petr