本發明公開了一種Web服務組合的在線失效預測方法,對事務流程執行語言引擎進行面向方面擴展,記錄Web服務組合過程中交互的消息和各個服務的規約;觀察器,分別獲得交互消息和服務的規約;根據觀察器得到當前的消息和預測步驟K,執行將來K步模塊,得到初始化K步將來模型,根據攔截到的當前消息進行重構,得到重構后K步將來模型;用戶需求使用屬性序列圖來描述,然后將其轉換成Büchi自動機;分析器獲取K步將來模型與屬性序列圖轉換成的自動機進行驗證,得到主動監控的正確結果、不確定結果和屬性違例。本發明能夠提前預測到Web服務組合中失效的發生,提高了Web服務組合的可靠性和安全性。
聲明:
“WEB服務組合在線失效預測的方法” 該技術專利(論文)所有權利歸屬于技術(論文)所有人。僅供學習研究,如用于商業用途,請聯系該技術所有人。
我是此專利(論文)的發明人(作者)