计算机科学 ›› 2015, Vol. 42 ›› Issue (12): 120-123.
开金宇,缪淮扣,高洪皓
KAI Jin-yu, MIAO Huai-kou and GAO Hong-hao
摘要: 在满足功能需求的前提下,Web服务能否赢得市场, 主要取决于其服务质量(Quality of Services,QoS)。采用概率模型检验的方法判断Web服务计算组合流程的服务质量是否满足系统质量需求。依据用户访问Web服务产生的访问日志,采用聚类的方法,构建面向用户群组的Web服务流程的使用行为QoS模型。采用QoS扩展的状态图描述Web服务流程的QoS需求。然后,利用概率模型验证工具PRISM判断Web服务流程的QoS是否满足系统质量需求。验证面向用户群组的Web服务流程的使用行为质量模型是否满足系统质量需求,为服务流程结构的调整提供了依据。
[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! |
|