【摘要】：在滿足功能需求的前提下,Web服務(wù)能否贏得市場,主要取決于其服務(wù)質(zhì)量(Quality of Services,QoS)。采用概率模型檢驗的方法判斷Web服務(wù)計算組合流程的服務(wù)質(zhì)量是否滿足系統(tǒng)質(zhì)量需求。依據(jù)用戶訪問Web服務(wù)產(chǎn)生的訪問日志,采用聚類的方法,構(gòu)建面向用戶群組的Web服務(wù)流程的使用行為QoS模型。采用QoS擴(kuò)展的狀態(tài)圖描述Web服務(wù)流程的QoS需求。然后,利用概率模型驗證工具PRISM判斷Web服務(wù)流程的QoS是否滿足系統(tǒng)質(zhì)量需求。驗證面向用戶群組的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ī)工程與科學(xué)學(xué)院;上海市計算機(jī)軟件評測重點實驗室;上海大學(xué)計算中心;
【基金】：國家自然科學(xué)基金項目(60970007,61170044,61572306,61502294) 上海市自然科學(xué)基金項目(15ZR1415200) 上海高校青年教師培訓(xùn)資助計劃(ZZSD13008)資助
【分類號】：TP393.09

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

本文編號：2452973