计算机科学 ›› 2015, Vol. 42 ›› Issue (12): 120-123.

• 第十三届全国软件与应用学术会议 • 上一篇    下一篇

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

开金宇,缪淮扣,高洪皓   

  1. 上海大学计算机工程与科学学院 上海200444;上海市计算机软件评测重点实验室 上海201114,上海大学计算机工程与科学学院 上海200444;上海市计算机软件评测重点实验室 上海201114,上海大学计算中心 上海200444
  • 出版日期:2018-11-14 发布日期:2018-11-14
  • 基金资助:
    本文受国家自然科学基金项目(60970007,61170044,61572306,61502294),上海市自然科学基金项目(15ZR1415200),上海高校青年教师培训资助

Verification QoS of Web Services Compositional Processes

KAI Jin-yu, MIAO Huai-kou and GAO Hong-hao   

  • Online:2018-11-14 Published:2018-11-14

摘要: 在满足功能需求的前提下,Web服务能否赢得市场, 主要取决于其服务质量(Quality of Services,QoS)。采用概率模型检验的方法判断Web服务计算组合流程的服务质量是否满足系统质量需求。依据用户访问Web服务产生的访问日志,采用聚类的方法,构建面向用户群组的Web服务流程的使用行为QoS模型。采用QoS扩展的状态图描述Web服务流程的QoS需求。然后,利用概率模型验证工具PRISM判断Web服务流程的QoS是否满足系统质量需求。验证面向用户群组的Web服务流程的使用行为质量模型是否满足系统质量需求,为服务流程结构的调整提供了依据。

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

Abstract: 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.

Key words: Web service quality requirements,User group-oriented QoS model of Web service compositional processes,Probabilistic model checking

[1] 陈碧欢.基于需求和体系结构的软件系统自适应方法[D].上海:复旦大学,2014 Chen Bi-huan.Requirements- and Architecture-based Self-adaptation of Software Systems[D].Shanghai:Fudan University,2014
[2] Wang Zhen-zhen.Survey of Model Checking[J].ComputerScience,2013,40(Z6):1-14
[3] Calinescu R,Ghezzi C,Kwiatkowska M,et al.Self-adaptive software needs quantitative verification at runtime[J].Communications of the ACM,2012,55(9):69-77
[4] Cardoso J,Sheth A,Miller J,et al.Quality of service for workflows and Web service processes[J].Web Semantics:Science,Services and Agents on the World Wide Web,2004,1(3):281-308
[5] 范小芹,蒋昌俊,王俊丽,等.随机 QoS 感知的可靠Web服务组合[J].软件学报,2009,20(3):546-556 Fan X Q,Jiang C J,Wang J L,et al.Random-QoS-Aware reliable Web service composition[J].Journal of Software,2009,0(3):546-556
[6] 刘阳.基于概率模型验证的服务流程建模与验证[D].上海:上海大学,2012 Liu Yang.Probabilistic Model Checking-based Modeling and Verification for Service Flow[D].Shanghai:Shanghai University,2012
[7] Ricca F,Tonella P.Web site analysis:structure and evolution[C]∥Proceedings of the International Conference on Software Maintenance.San Jose,California,USA,2000:76-86
[8] Tramontana P.Reverse Engineering Web Applications[C]∥Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM05).Budapest,Hungary,2005:705-708
[9] Bellettini C,Marchetto A,Trentini A.WebUml:Reverse Engineering of Web Applications[C]∥SAC.2004:1662-1669
[10] 高洪皓.基于概率模型验证的Web服务动态自适应配置[D].上海:上海大学,2012 Gao Hong-hao.Dynamic Self-adaption Reconfiguration of Web Service using Probabilistic Model Checking[D].Shanghai:Shanghai Univerisity,2012
[11] 王晶,戎玫,张广泉,等.基于概率模型检测的Web服务组合验证[J].计算机科学,2012,9(1):120-123 Wang Jing,Rong Mei,Zhang Guang-quan,et al.Validation of Web Service Composition Based on Probabilitist Model Checking[J].Computer Science,2012,9(1):120-123
[12] Filieri A,Ghezzi C,Tamburrelli G.Run-time efficient probabilistic model checking[C]∥Proceedings of the 33rd International Conference on Software Engineering.ACM,2011:341-350
[13] van der Meulen M J P,Strigini L,Revilla M A.On the effectiveness of run-time checks[M]∥Computer Safety,Reliability,and Security.Springer Berlin Heidelberg,2005:151-164

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!