發(fā)布時(shí)間：2021-07-27 08:02

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

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

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

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

【部分圖文】：

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

圖3-2 ESD建立LWS的行為模型使用 ESD 中的對象、消息、組合片段、QoS 等元素建立了 LWS 的動(dòng)態(tài)行為模型。為了便于驗(yàn)證，根據(jù)算法 1 使用 MSDFA 刻畫 LWS 的 ESD 行為模型的語義，如圖 3-3 所示。圖 3-3 LWS 的語義表示 MSDFAp根據(jù)執(zhí)行片段、運(yùn)行、軌跡和字的定義可知，0 11 0 1 2s s s 是 MSDFAp的 一 個(gè) 執(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的一個(gè)運(yùn)行，那么 是

圖 3-3 LWS 的語義表示 MSDFAp根據(jù)執(zhí)行片段、運(yùn)行、軌跡和字的定義可知，0 11 0 1 2s s s 是 MSDFAp的 一 個(gè) 執(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的一個(gè)運(yùn)行，那么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ù)運(yùn)行時(shí)驗(yàn)證工具總體設(shè)計(jì)為了支持本文提出的基于 UM2.0 序列圖的運(yùn)行時(shí)驗(yàn)證方法，實(shí)現(xiàn)方法的自動(dòng)化，本節(jié)給出了支持該方法的 Web 服務(wù)運(yùn)行時(shí)驗(yàn)證工具 RVT4WS（RuntimeVerification Tool for Web Services）的總體設(shè)計(jì)方案。運(yùn)行時(shí)驗(yàn)證工具 RVT4WS 支持使用擴(kuò)展后的 UML2.0 序列圖對 Web 服務(wù)的

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



本文編號：3305411