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

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

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

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