| Web服务计算组合流程QoS验证 |
| |
| 引用本文： | 开金宇,缪淮扣,高洪皓.Web服务计算组合流程QoS验证[J].计算机科学,2015,42(12):120-123, 147. |
| |
| 作者姓名： | 开金宇 缪淮扣 高洪皓 |
| |
| 作者单位： | 上海大学计算机工程与科学学院 上海200444;上海市计算机软件评测重点实验室 上海201114,上海大学计算机工程与科学学院 上海200444;上海市计算机软件评测重点实验室 上海201114,上海大学计算中心 上海200444 |
| |
| 基金项目： | 本文受国家自然科学基金项目(60970007,61170044,61572306,61502294),上海市自然科学基金项目(15ZR1415200),上海高校青年教师培训资助 |
| |
| 摘 要： | 在满足功能需求的前提下,Web服务能否赢得市场, 主要取决于其服务质量(Quality of Services,QoS)。采用概率模型检验的方法判断Web服务计算组合流程的服务质量是否满足系统质量需求。依据用户访问Web服务产生的访问日志,采用聚类的方法,构建面向用户群组的Web服务流程的使用行为QoS模型。采用QoS扩展的状态图描述Web服务流程的QoS需求。然后,利用概率模型验证工具PRISM判断Web服务流程的QoS是否满足系统质量需求。验证面向用户群组的Web服务流程的使用行为质量模型是否满足系统质量需求,为服务流程结构的调整提供了依据。
|
| 关 键 词： | Web服务质量需求 面向用户群组的服务流程QoS模型 概率模型检验 |
| 收稿时间： | 2015/2/11 0:00:00 |
| 修稿时间： | 2015/3/25 0:00:00 |
Verification QoS of Web Services Compositional Processes |
| |
| KAI Jin-yu,MIAO Huai-kou and GAO Hong-hao.Verification QoS of Web Services Compositional Processes[J].Computer Science,2015,42(12):120-123, 147. |
| |
| Authors: | KAI Jin-yu MIAO Huai-kou and GAO Hong-hao |
| |
| Affiliation: | School of Computer Engineering and Science,Shanghai University,Shanghai 200444,China;Shanghai Key Laboratory of Computer Software Evaluating & Testing,Shanghai 201114,China,School of Computer Engineering and Science,Shanghai University,Shanghai 200444,China;Shanghai Key Laboratory of Computer Software Evaluating & Testing,Shanghai 201114,China and Computing Center,Shanghai University,Shanghai 200444,China |
| |
| Abstract: | |
| |
| Keywords: | Web service quality requirements User group-oriented QoS model of Web service compositional processes Probabilistic model checking |
|
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
