摘要
在满足功能需求的前提下,Web服务能否赢得市场,主要取决于其服务质量(Quality of Services,QoS)。采用概率模型检验的方法判断Web服务计算组合流程的服务质量是否满足系统质量需求。依据用户访问Web服务产生的访问日志,采用聚类的方法,构建面向用户群组的Web服务流程的使用行为QoS模型。采用QoS扩展的状态图描述Web服务流程的QoS需求。然后,利用概率模型验证工具PRISM判断Web服务流程的QoS是否满足系统质量需求。验证面向用户群组的Web服务流程的使用行为质量模型是否满足系统质量需求,为服务流程结构的调整提供了依据。
Whether the Web services can win the market, on the premise of meeting the functional requirements, quality of service （QoS） becomes an important factor in judging its advantage. This paper adopted the technique of probability model checking to evaluate the QoS of the Web services computing combination process. In this paper, starting from the access log of user accessing a Web service, using the method of clustering, we constructed a user group-oriented QoS using model. As for the QoS requirement,we used the extended QoS state diagram to describe. And then, we used the simulation verification method in the tool of probabilistic model checking PRISM to judge whether the behavior of the Web services computing combinational process satisfies its QoS requirement.
出处
《计算机科学》
CSCD
北大核心
2015年第12期120-123,147,共5页
Computer Science
基金
国家自然科学基金项目(60970007
61170044
61572306
61502294)
上海市自然科学基金项目(15ZR1415200)
上海高校青年教师培训资助计划(ZZSD13008)资助
关键词
Web服务质量需求
面向用户群组的服务流程QoS模型
概率模型检验
Web service quality requirements, User group-oriented QoS model of Web service compositional processes,Probabilistic model checking
