1、面向服務的架構（Service-Oriented Architecture，簡稱為SOA）是一個新興的軟件工程范例，用來開發(fā)動態(tài)演進的Web應用。服務的提供者和服務的使用者可以通過公共的服務注冊機構發(fā)布和搜索服務，各個服務可以被組合成復雜的Web服務組合，服務之間通過消息傳遞進行交互。Web服務組合是分布的、動態(tài)演進的、自治的，組合設計者不擁有整個服務，從而導致在基于服務的系統(tǒng)中，服務組合的正確性容易被第三方參與者和與系統(tǒng)交互的機構所影

2、響。
　　 通過靜態(tài)測試、驗證等技術能夠保證服務組合過程的正確性，但其運行時行為仍可能會與服務組合的各種屬性要求不一致，因而有必要實施Web服務運行時監(jiān)控。在實踐中，一般會部署持續(xù)性的監(jiān)控方法在系統(tǒng)運行時對整個服務組合進行監(jiān)控，來保證系統(tǒng)的運行時行為能夠遵守某些特定的屬性。但是，大多數已有的成果只關注了與系統(tǒng)控制過程相關的屬性的監(jiān)控，只關注消息的名稱或者不同服務之間的信息交互順序正確與否。這樣便導致了許多動態(tài)的屬性不能被監(jiān)控，從

3、而不能了解所感興趣的信息數據是如何在不同的參與者之間交互的。
　　 臨時屬性是指在系統(tǒng)運行過程中，根據系統(tǒng)行為的不同，能夠動態(tài)綁定不同數據的屬性。這類屬性需要在系統(tǒng)運行的過程中對事件的執(zhí)行順序和事件的參數值均進行實時監(jiān)控，是保證以數據為中心的、基于服務的系統(tǒng)的正確性的有效方法。本課題研究了臨時屬性運行時的監(jiān)控問題，提出了一套完整的、有效的、非入侵的在線監(jiān)控方法，來動態(tài)地分析包含多參與者的面向服務應用的運行時臨時屬性。
　　

4、 首先，本文闡述了以屬性模式系統(tǒng)為基礎的、對臨時屬性做半形式化的描述的臨時屬性描述語言規(guī)約，對該規(guī)約的每一部分做出詳細的解釋，并以北京市路側停車系統(tǒng)中的兩個核心屬性為例，使用該語言對其進行描述。隨后，介紹了現有的Web服務臨時屬性監(jiān)控模型，在其后詳細介紹了本課題提出的改進的監(jiān)控模型。該模型提出了預測的思想，包括事件過濾、事件分發(fā)和異常處理三個階段，能夠實現臨時屬性所監(jiān)控事件的預測和檢測。采用哈希表，預測列表，反向列表等數據結構實現了臨