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

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

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

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