Web服务计算组合流程QoS验证

发布时间：2019-04-03 06:25

【摘要】：在满足功能需求的前提下,Web服务能否赢得市场,主要取决于其服务质量(Quality of Services,QoS)。采用概率模型检验的方法判断Web服务计算组合流程的服务质量是否满足系统质量需求。依据用户访问Web服务产生的访问日志,采用聚类的方法,构建面向用户群组的Web服务流程的使用行为QoS模型。采用QoS扩展的状态图描述Web服务流程的QoS需求。然后,利用概率模型验证工具PRISM判断Web服务流程的QoS是否满足系统质量需求。验证面向用户群组的Web服务流程的使用行为质量模型是否满足系统质量需求,为服务流程结构的调整提供了依据。
[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.
【作者单位】： 上海大学计算机工程与科学学院;上海市计算机软件评测重点实验室;上海大学计算中心;
【基金】：国家自然科学基金项目(60970007,61170044,61572306,61502294) 上海市自然科学基金项目(15ZR1415200) 上海高校青年教师培训资助计划(ZZSD13008)资助
【分类号】：TP393.09

【相似文献】

相关期刊论文 前10条

1 袁伟;;服务学知识与技术体系研究[J];枣庄学院学报;2011年05期

2 张仁;;服务计算环境下综合信任度及风险评价研究[J];电脑知识与技术;2013年04期

3 吴明峰;张永胜;吴磊;李园园;张金溪;;面向服务计算的信任预测模型[J];计算机工程;2013年04期

4 刘蓉;李红艳;杨长兴;;服务计算环境中收益优化的客户选择策略[J];中南大学学报(自然科学版);2012年06期

5 聂学武;张永胜;骆琴;;服务计算安全问题分析[J];计算机技术与发展;2012年02期

6 王淑蓉;王长元;喻钧;;基于服务计算的服务组合研究[J];现代电子技术;2012年12期

7 宋晓宇;;面向服务计算的服务描述模型研究[J];信息与电脑(理论版);2014年05期

8 冯志勇;陈世展;王辉;梁其p，

本文编号：2452973