Web服務(wù)選擇是從備選Web服務(wù)集合中選擇滿足需求的服務(wù)的過程。面對互聯(lián)網(wǎng)的復(fù)雜、動態(tài)、開放的環(huán)境，如何選擇滿意的Web服務(wù)成為當(dāng)前學(xué)術(shù)界高度關(guān)注的主題。目前國內(nèi)外研究人員針對Web服務(wù)選擇開展了大量的工作，提出了諸如基于服務(wù)質(zhì)量QoS、基于服務(wù)信譽度、基于服務(wù)推薦等選擇方法。然而這些方法大多是在假定Web服務(wù)的提供者所提供的服務(wù)信息是真實可信的前提下而開展的后續(xù)工作，缺乏對Web服務(wù)描述信息正確性的驗證，導(dǎo)致服務(wù)消費者在使用Web服務(wù)時與預(yù)期的效果之間存在一定偏差。因而十分有必要對Web提供者所提供的服務(wù)在運行時所表現(xiàn)出來的行為進(jìn)行驗證，從而選擇行為與服務(wù)描述相一致的Web服務(wù)。本文提出一種運行時驗證方法，通過在Web服務(wù)選擇初期對Web服務(wù)進(jìn)行建模，并監(jiān)控其在運行時的行為，給出Web服務(wù)的一致性驗證結(jié)果。并在該結(jié)果的基礎(chǔ)上，形成Web服務(wù)的選擇方法。本文的主要貢獻(xiàn)在于：（1）利用UML2.0序列圖在建模Web服務(wù)各參與者之間的消息交互方面的優(yōu)勢，對UML2.0序列圖進(jìn)行擴展；并使用擴展后的UML2.0序列圖對Web服務(wù)的預(yù)期行為和運行時行為進(jìn)行建模。（2）借助確定有限自動機DFA，... 

【文章來源】：新疆大學(xué)新疆維吾爾自治區(qū) 211工程院校

【文章頁數(shù)】：58 頁

【學(xué)位級別】：碩士

【部分圖文】：

擴展SOA體系結(jié)構(gòu)

圖3-2 ESD建立LWS的行為模型使用 ESD 中的對象、消息、組合片段、QoS 等元素建立了 LWS 的動態(tài)行為模型。為了便于驗證，根據(jù)算法 1 使用 MSDFA 刻畫 LWS 的 ESD 行為模型的語義，如圖 3-3 所示。圖 3-3 LWS 的語義表示 MSDFAp根據(jù)執(zhí)行片段、運行、軌跡和字的定義可知，0 11 0 1 2s s s 是 MSDFAp的 一 個 執(zhí) 行 片 段 ， 其 中0 [ Availability 0.97] / CheckCredit Request，1 [Re liability 0.93] /CreditScore。0 1 是1 的軌跡，記為1 0 1trace ( ) 。由于 s3是終止?fàn)顟B(tài)，則0 13s s s s 是 MSDFAp的一個運行，那么 是

圖 3-3 LWS 的語義表示 MSDFAp根據(jù)執(zhí)行片段、運行、軌跡和字的定義可知，0 11 0 1 2s s s 是 MSDFAp的 一 個 執(zhí) 行 片 段 ， 其 中0 [ Availability 0.97] / CheckCredit Request，1 [Re liability 0.93] /CreditScore。0 1 是1 的軌跡，記為1 0 1trace ( ) 。由于 s3是終止?fàn)顟B(tài)，則0 132 0 1 2 3s s s s 是 MSDFAp的一個運行，那么0 1 3 是字，其中0 [ Availability 0.97] / CheckCredit Request，1 [Re liability 0.93] /CreditScore，3 [ fragGuard ( CreditScore 800); Re liability ] /LoanAmount。3.5 Web 服務(wù)運行時驗證工具總體設(shè)計為了支持本文提出的基于 UM2.0 序列圖的運行時驗證方法，實現(xiàn)方法的自動化，本節(jié)給出了支持該方法的 Web 服務(wù)運行時驗證工具 RVT4WS（RuntimeVerification Tool for Web Services）的總體設(shè)計方案。運行時驗證工具 RVT4WS 支持使用擴展后的 UML2.0 序列圖對 Web 服務(wù)的

【參考文獻(xiàn)】：
期刊論文
[1]Web服務(wù)選擇中信譽度評估方法[J]. 王尚廣,孫其博,楊放春.  軟件學(xué)報. 2012(06)
[2]跨組織多業(yè)務(wù)事務(wù)建模與驗證方法[J]. 袁敏,黃志球,胡軍.  軟件學(xué)報. 2012(03)
[3]基于XYZ/ADL的異步Web服務(wù)組合描述與驗證[J]. 石慧娟,戎玫,張廣泉,朱稷涵.  計算機科學(xué). 2011(12)
[4]基于CPN的服務(wù)交互行為關(guān)鍵屬性的運行時確保機制[J]. 朱俊,郭長國,吳泉源.  電子學(xué)報. 2011(05)
[5]基于偏好推薦的可信服務(wù)選擇[J]. 朱銳,王懷民,馮大為.  軟件學(xué)報. 2011(05)
[6]面向參數(shù)化LTL的預(yù)測監(jiān)控器構(gòu)造技術(shù)[J]. 趙常智,董威,隋平,齊治昌.  軟件學(xué)報. 2010(02)
[7]軟件分析技術(shù)進(jìn)展[J]. 梅宏,王千祥,張路,王戟.  計算機學(xué)報. 2009(09)
[8]UML類圖中面向非功能屬性的描述和檢驗[J]. 張巖,梅宏.  軟件學(xué)報. 2009(06)
[9]網(wǎng)絡(luò)計算環(huán)境下QoS偏好的處理策略及其應(yīng)用[J]. 梁泉,王元卓.  計算機應(yīng)用. 2009(06)
[10]一種考慮QoS數(shù)據(jù)可信性的服務(wù)選擇方法[J]. 李研,周明輝,李瑞超,曹東剛,梅宏.  軟件學(xué)報. 2008(10)



本文編號：3305411