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

Verification QoS of Web Services Compositional Processes

作　　者：开金宇[1,2] 缪淮扣[1,2] 高洪皓[3] 

机构地区：[1]上海大学计算机工程与科学学院,上海200444 [2]上海市计算机软件评测重点实验室,上海201114 [3]上海大学计算中心,上海200444

出　　处：《计算机科学》2015年第12期120-123,147,共5页Computer Science

基　　金：国家自然科学基金项目(60970007;61170044;61572306;61502294);上海市自然科学基金项目(15ZR1415200);上海高校青年教师培训资助计划(ZZSD13008)资助

摘　　要：在满足功能需求的前提下,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.

关 键 词：Web服务质量需求 面向用户群组的服务流程QoS模型 概率模型检验 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]