本發(fā)明公開了一種Web服務(wù)組合的在線失效預(yù)測(cè)方法，對(duì)事務(wù)流程執(zhí)行語(yǔ)言引擎進(jìn)行面向方面擴(kuò)展，記錄Web服務(wù)組合過程中交互的消息和各個(gè)服務(wù)的規(guī)約；觀察器，分別獲得交互消息和服務(wù)的規(guī)約；根據(jù)觀察器得到當(dāng)前的消息和預(yù)測(cè)步驟K，執(zhí)行將來(lái)K步模塊，得到初始化K步將來(lái)模型，根據(jù)攔截到的當(dāng)前消息進(jìn)行重構(gòu)，得到重構(gòu)后K步將來(lái)模型；用戶需求使用屬性序列圖來(lái)描述，然后將其轉(zhuǎn)換成Büchi自動(dòng)機(jī)；分析器獲取K步將來(lái)模型與屬性序列圖轉(zhuǎn)換成的自動(dòng)機(jī)進(jìn)行驗(yàn)證，得到主動(dòng)監(jiān)控的正確結(jié)果、不確定結(jié)果和屬性違例。本發(fā)明能夠提前預(yù)測(cè)到Web服務(wù)組合中失效的發(fā)生，提高了Web服務(wù)組合的可靠性和安全性。