基于動(dòng)態(tài)邏輯的語(yǔ)義Web服務(wù)組合研究.pdf

1、隨著Web服務(wù)技術(shù)的迅速發(fā)展，越來(lái)越多的Web服務(wù)運(yùn)行在Internet上，但單個(gè)Web服務(wù)功能有限，難以滿足日益增長(zhǎng)和不斷變化的用戶需求。因此，如何將已有的、運(yùn)行在異構(gòu)平臺(tái)上的Web服務(wù)組合起來(lái)，提供給用戶更為強(qiáng)大和增值的功能，成為Web服務(wù)研究領(lǐng)域中的一個(gè)熱點(diǎn)。目前，Web服務(wù)組合還面臨著一些問(wèn)題：如何確定Web服務(wù)之間的邏輯及時(shí)序關(guān)系，以實(shí)現(xiàn)Web服務(wù)組合的自動(dòng)化；如何測(cè)試和驗(yàn)證Web服務(wù)組合，以保證組合后Web服務(wù)執(zhí)行結(jié)果的正確

2、性。針對(duì)上述問(wèn)題，文本提出了基于動(dòng)態(tài)邏輯的Web服務(wù)組合方法，將OWL-S描述的語(yǔ)義Web服務(wù)映射為動(dòng)態(tài)邏輯中的動(dòng)作和公式，利用動(dòng)態(tài)邏輯的形式化推理來(lái)產(chǎn)生滿足用戶需求的服務(wù)組合，從而實(shí)現(xiàn)了Web服務(wù)組合的自動(dòng)化，并保證了服務(wù)組合結(jié)果的正確性和完整性。
　　 本文的主要工作包括：
　　 1.從OWL-S中的過(guò)程模型出發(fā)，利用動(dòng)態(tài)邏輯對(duì)語(yǔ)義Web服務(wù)進(jìn)行形式化描述。對(duì)應(yīng)于過(guò)程模型中的原子過(guò)程，可以對(duì)變量、變量綁定、輸入、輸出

3、、前提條件和結(jié)果等多個(gè)方面進(jìn)行刻畫；對(duì)應(yīng)于過(guò)程模型中的組合過(guò)程，可以相應(yīng)地對(duì)順序、條件、選擇、循環(huán)等控制結(jié)構(gòu)進(jìn)行描述。
　　 2.在Web服務(wù)組合過(guò)程中，將Web服務(wù)組合問(wèn)題看成基于動(dòng)態(tài)邏輯的規(guī)劃問(wèn)題，給出了Web服務(wù)組合的形式化定義。用戶所有的輸入被表示為規(guī)劃的初始狀態(tài)，用戶的輸出被表示為規(guī)劃的目標(biāo)狀態(tài)，而服務(wù)組合序列就是從初始狀態(tài)到目標(biāo)狀態(tài)的一個(gè)規(guī)劃。
　　 3.給出了基于動(dòng)態(tài)邏輯的語(yǔ)義Web服務(wù)組合框架，用以實(shí)現(xiàn)自