【摘要】：在滿足功能需求的前提下,Web服務(wù)能否贏得市場(chǎng),主要取決于其服務(wù)質(zhì)量(Quality of Services,QoS)。采用概率模型檢驗(yàn)的方法判斷Web服務(wù)計(jì)算組合流程的服務(wù)質(zhì)量是否滿足系統(tǒng)質(zhì)量需求。依據(jù)用戶訪問(wèn)Web服務(wù)產(chǎn)生的訪問(wèn)日志,采用聚類的方法,構(gòu)建面向用戶群組的Web服務(wù)流程的使用行為QoS模型。采用QoS擴(kuò)展的狀態(tài)圖描述Web服務(wù)流程的QoS需求。然后,利用概率模型驗(yàn)證工具PRISM判斷Web服務(wù)流程的QoS是否滿足系統(tǒng)質(zhì)量需求。驗(yàn)證面向用戶群組的Web服務(wù)流程的使用行為質(zhì)量模型是否滿足系統(tǒng)質(zhì)量需求,為服務(wù)流程結(jié)構(gòu)的調(diào)整提供了依據(jù)。
[Abstract]:On the premise of meeting the functional requirements, whether Web service can win the market depends mainly on its quality of service (Quality of Services,QoS). The probabilistic model checking method is used to judge whether the service quality of the Web service computing composition process meets the system quality requirements. Based on the access logs generated by user access to Web services, a QoS model of user group-oriented usage behavior of Web services process is constructed by using clustering method. The state diagram extended by QoS is used to describe the QoS requirements of the Web service process. Then, the probabilistic model verification tool PRISM is used to determine whether the QoS of the Web service process meets the system quality requirements. This paper verifies whether the user group-oriented Web service process usage behavior quality model meets the system quality requirements and provides a basis for the adjustment of service process structure.
【作者單位】： 上海大學(xué)計(jì)算機(jī)工程與科學(xué)學(xué)院;上海市計(jì)算機(jī)軟件評(píng)測(cè)重點(diǎn)實(shí)驗(yàn)室;上海大學(xué)計(jì)算中心;
【基金】：國(guó)家自然科學(xué)基金項(xiàng)目(60970007,61170044,61572306,61502294) 上海市自然科學(xué)基金項(xiàng)目(15ZR1415200) 上海高校青年教師培訓(xùn)資助計(jì)劃(ZZSD13008)資助
【分類號(hào)】：TP393.09

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 袁偉;;服務(wù)學(xué)知識(shí)與技術(shù)體系研究[J];棗莊學(xué)院學(xué)報(bào);2011年05期

2 張仁;;服務(wù)計(jì)算環(huán)境下綜合信任度及風(fēng)險(xiǎn)評(píng)價(jià)研究[J];電腦知識(shí)與技術(shù);2013年04期

3 吳明峰;張永勝;吳磊;李園園;張金溪;;面向服務(wù)計(jì)算的信任預(yù)測(cè)模型[J];計(jì)算機(jī)工程;2013年04期

4 劉蓉;李紅艷;楊長(zhǎng)興;;服務(wù)計(jì)算環(huán)境中收益優(yōu)化的客戶選擇策略[J];中南大學(xué)學(xué)報(bào)(自然科學(xué)版);2012年06期

5 聶學(xué)武;張永勝;駱琴;;服務(wù)計(jì)算安全問(wèn)題分析[J];計(jì)算機(jī)技術(shù)與發(fā)展;2012年02期

6 王淑蓉;王長(zhǎng)元;喻鈞;;基于服務(wù)計(jì)算的服務(wù)組合研究[J];現(xiàn)代電子技術(shù);2012年12期

7 宋曉宇;;面向服務(wù)計(jì)算的服務(wù)描述模型研究[J];信息與電腦(理論版);2014年05期

8 馮志勇;陳世展;王輝;梁其p，

本文編號(hào)：2452973