Web服務(wù)臨時(shí)屬性的運(yùn)行時(shí)監(jiān)控研究.pdf

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

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

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

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