基于協(xié)同的服務(wù)組合與驗(yàn)證.pdf

1、語(yǔ)義Web服務(wù)（SemanticWebServices，SWS）是用語(yǔ)義Web標(biāo)記語(yǔ)言來(lái)描述服務(wù)的技術(shù)，它使Web服務(wù)成為計(jì)算機(jī)可以理解的實(shí)體，從而支持服務(wù)的自動(dòng)發(fā)現(xiàn)、執(zhí)行和組合等。本文研究的是基于協(xié)同的服務(wù)組合與驗(yàn)證，主要目標(biāo)是在Agent系統(tǒng)上實(shí)現(xiàn)Web服務(wù)的協(xié)同工作，完成自動(dòng)組合，生成相應(yīng)的組合序列。本文主要成果有以下四個(gè)方面:
　　(1)深入研究了語(yǔ)義Web本體語(yǔ)言O(shè)WL及語(yǔ)義Web服務(wù)描述語(yǔ)言O(shè)WL-S，并通過(guò)本體開(kāi)發(fā)工

2、具Protégé來(lái)開(kāi)發(fā)本體，運(yùn)用OWL-SEditor插件同Protégé開(kāi)發(fā)工具來(lái)開(kāi)發(fā)OWL-S，并通過(guò)購(gòu)書(shū)服務(wù)的實(shí)例實(shí)現(xiàn)了OWL本體的開(kāi)發(fā)和實(shí)現(xiàn)了OWL-S的服務(wù)描述。
　　(2)采用將OWL-S模型和狀態(tài)演算相結(jié)合的一種服務(wù)自動(dòng)組合方法，用狀態(tài)演算描述語(yǔ)言Golog語(yǔ)言描述OWL-S服務(wù)，以電子商務(wù)中購(gòu)書(shū)為例進(jìn)行分析，分析出所涉及的原子服務(wù)，然后根據(jù)原子服務(wù)的協(xié)同交互運(yùn)用Golog語(yǔ)言進(jìn)行描述組合，并生成了相應(yīng)的序列。