語(yǔ)義Web服務(wù)組合的形式化研究.pdf

1、由于單個(gè)的Web服務(wù)已經(jīng)無(wú)法滿足服務(wù)請(qǐng)求者的復(fù)雜功能需求，因此如何將已有的、運(yùn)行在異構(gòu)平臺(tái)的Web服務(wù)組合起來(lái)，提供給用戶更為強(qiáng)大和增值的功能，成為Web服務(wù)領(lǐng)域研究的一個(gè)熱點(diǎn)。目前語(yǔ)義Web服務(wù)組合的研究中仍存在諸多問(wèn)題，如對(duì)于服務(wù)組合中的各個(gè)服務(wù)，如何定義和描述他們之間的邏輯時(shí)序關(guān)系和動(dòng)態(tài)交互過(guò)程以實(shí)現(xiàn)Web服務(wù)組合的自動(dòng)化執(zhí)行;對(duì)于如何驗(yàn)證和測(cè)試組合后的Web服務(wù)從而保證Web服務(wù)執(zhí)行結(jié)果的正確性等。目前W3C組織推薦的標(biāo)語(yǔ)言是W

2、eb服務(wù)本體語(yǔ)言(Web service ontology language，OWL-S)，然而，OWL-S僅僅從語(yǔ)法角度對(duì)Web服務(wù)組合的過(guò)程模型進(jìn)行描述，因此它對(duì)過(guò)程模型的描述只是停留在概念框架層次，這樣增大了計(jì)算機(jī)對(duì)Web服務(wù)組合過(guò)程模型進(jìn)行自動(dòng)化分析的難度。針對(duì)上述問(wèn)題，本文提出一種基于時(shí)序擴(kuò)展描述邏輯的Web服務(wù)組合的形式化方法，它通過(guò)對(duì)OWL-S過(guò)程模型的形式化的描述，從而得到OWL-S過(guò)程模型的動(dòng)態(tài)語(yǔ)義，最終建立語(yǔ)義Web

3、服務(wù)組合的形式化模型。該方法可以將其置于嚴(yán)格的可判定推理框架之下，討論Web服務(wù)組合的相關(guān)性質(zhì)，不僅在一定程度上提高了對(duì)OWL-S過(guò)程模型描述的精確性和準(zhǔn)確性，而且確保了Web服務(wù)組合結(jié)果的正確性。
　　 本文的主要工作包括:
　　 1.描述邏輯的時(shí)序擴(kuò)展。通過(guò)對(duì)基本描述邏輯進(jìn)行時(shí)序擴(kuò)展，使其既可以表示靜態(tài)知識(shí)，又可以對(duì)動(dòng)態(tài)和時(shí)序特征進(jìn)行描述，從而增強(qiáng)了其描述能力，并給出了擴(kuò)展后描述邏輯相應(yīng)的語(yǔ)法、語(yǔ)義、定義、公理和基本