计算机科学 ›› 2018, Vol. 45 ›› Issue (8): 288-294.doi: 10.11896/j.issn.1002-137X.2018.08.052
周女琪, 周宇
ZHOU Nv-qi, ZHOU Yu
摘要: Web服务组合是服务计算领域的重要研究内容。用户的非功能性需求是Web服务组合中衡量服务的标准之一,然而开放环境下用户的需求具有一定的不确定性和多目标性特点。为了解决此种不确定性,提出了一种基于概率模型检测的多目标验证方法。首先,将Web服务组合过程建立为定量多目标马尔可夫决策过程,并将该模型转换为PRISM模型。同时,将不同的用户需求建模成多目标时序逻辑公式,使用概率模型检测器PRISM对其进行验证,获得多个目标约束下关键目标的期望值,并导出相关策略。最后,通过实例来进一步说明该方法的有效性与可行性。
中图分类号:
[1]LIU C,XU X,HU D.Multiobjective Reinforcement Learning:A Comprehensive Overview[J].IEEE Transactions on Cyberneti-cs,2013,45(3):385-398. [2] WANG H,WANG X,HU X,et al.A multi-agent reinforcement learning approach to dynamic service composition[J].Information Sciences,2016,363(C):96-119. [3]SU G,ROSENBLUM D S,TAMBURRELLI G.Reliability of Run-Time Quality-of-Service Evaluation Using Parametric Model Checking[C]∥IEEE/ACM,International Conference on Software Engineering.IEEE,2017:73-84. [4] HWANG S Y,HSU C C,LEE C H.Service Selection for Web Services with Probabilistic QoS[J].IEEE Transactions on Servi-ces Computing,2015,8(3):467-480. [5]MOUSTAFA A,ZHANG M.Multi-Objective Service Composition Using Reinforcement Learning[M]∥Service-Oriented Computing.Springer Berlin Heidelberg,2013:298-312. [6] BENVENISTE A,JARD C,KATTEPUR A,et al.QoS-aware management of monotonic service orchestrations[J].Formal Methods in System Design,2014,44(1):1. [7]MENASCÉ D A,EWING J M,GOMAA H,et al.A framework for utility-based service oriented design in SASSY[C]∥Joint Wosp/sipew International Conference on Performance Engineering.San Jose,California,2010:27-36. [8]MA Y,ZHANG C.Quick convergence of genetic algorithm for QoS-driven web service selection[J].Computer Networks,2008,52(5):1093-1104. [9]GABREL V,MANOUVRIER M,MURAT C.Web servicescomposition:Complexity and models[J].Discrete Applied Mathe-matics,2015,196(2):100-114. [10]MENASC,DANIEL A,CASALICCHIO E,et al.A heuristic approach to optimal service selection in service oriented architectures[C]∥International Workshop on Software and Perfor-mance(Wosp 2008).Princeton,NJ,USA,DBLP,2008:13-24. [11]ZENG L,BENATALLAH B,ANNE H H N,et al.QoS-Aware Middleware for Web Services Composition[J].IEEE Transactions on Software Engineering,2004,30(5):311-327. [12]JUNGMANN A,MOHR F.An approach towards adaptive ser-vice composition in markets of composed services[J].Journal of Internet Services and Applications,2015,6(1):5. [13]ZHAO Y,WANG S,ZOU Y,et al.Mining User Intents to Compose Services for End-Users[C]∥IEEE International Conference on Web Services.IEEE,2016:348-355. [14]MOHEBI A.An Efficient Qos-Based Ranking Model for Web Service Selection with Consideration of User’s Requirement[D].2012. [15]XU J,NING X,REIFF-MARGANIEC S,et al.Run-time resolution of service property conflicts in web service composition[J].International Journal of Web& Grid Services,2016,12(2):142. [16]AI L.QoS-aware Web service composition using genetic algorithms[D].Brisbane,Queensland:Queensland University of Technology,2011. [17]HILTON A B C,CULVER T B.Constraint Handling for Gene-tic Algorithms in Optimal Remediation Design[J].Journal of Water Resources Planning & Management,2000,126(3):128-137. [18]KWIATKOWSKA M,NORMAN G,PARKER D.Probabilistic symbolic model checking with PRISM:a hybrid approach[J].International Journal on Software Tools for Technology Transfer,2004,6(2):128-142. |
[1] | 范国栋,祝铭,李静,崔晓柳. 基于FAHP与规划图融合的Web服务组合方法 Web Service Composition by Combining FAHP and Graphplan 计算机科学, 2020, 47(1): 270-275. https://doi.org/10.11896/jsjkx.181102228 |
[2] | 夏奴奴, 杨晋吉, 赵淦森, 莫晓珊. 基于概率模型的云辅助的轻量级无证书认证协议的形式化验证 Formal Verification of Cloud-aided Lightweight Certificateless Authentication Protocol Based on Probabilistic Model 计算机科学, 2019, 46(8): 206-211. https://doi.org/10.11896/j.issn.1002-137X.2019.08.034 |
[3] | 鲁城华, 寇纪淞. 求解Web服务组合QoS优化的多属性决策及自适应遗传算法 Multi-attribute Decision Making and Adaptive Genetic Algorithm for Solving QoS Optimization of Web Service Composition 计算机科学, 2019, 46(2): 187-195. https://doi.org/10.11896/j.issn.1002-137X.2019.02.029 |
[4] | 刘爽, 魏欧, 郭宗豪. 基于概率模型检测和遗传算法的基因调控网络的无限范围优化控制 Infinite-horizon Optimal Control of Genetic Regulatory Networks Based on Probabilistic Model Checking and Genetic Algorithm 计算机科学, 2018, 45(10): 313-319. https://doi.org/10.11896/j.issn.1002-137X.2018.10.058 |
[5] | 杜伊,何洋,洪玫. 概率模型检测在动态能耗管理中的应用 Application of Probabilistic Model Checking in Dynamic Power Management 计算机科学, 2018, 45(1): 261-266. https://doi.org/10.11896/j.issn.1002-137X.2018.01.046 |
[6] | 郭宗豪,魏欧. 使用模型检测解决概率布尔网络优化控制 Optimal Control of Probabilistic Boolean Networks Using Model Checking 计算机科学, 2017, 44(5): 193-198. https://doi.org/10.11896/j.issn.1002-137X.2017.05.035 |
[7] | 上超望,刘清堂,赵刚,童名文. 面向活动的BPEL4WS动态访问授权模型及实现研究 Study on Activity-oriented Dynamic Access Authorization Model for BPEL4WS 计算机科学, 2014, 41(7): 102-104. https://doi.org/10.11896/j.issn.1002-137X.2014.07.020 |
[8] | 刘志忠,王勇,贺毅辉,彭辉. 服务组合中面向端到端用户QoS需求的QoS聚合机制研究 QoS Aggregation for End-to-End QoS Requirement in Service Composition 计算机科学, 2013, 40(Z6): 19-21. |
[9] | 刘丽,方金云. 一种考虑QoS的Web服务组合Petri网建模方法 Modeling Web Service Composition Using Alternative Petri Net Considering QoS 计算机科学, 2013, 40(6): 37-40. |
[10] | 胡 新,王映康. 一种基于随机PETRI网的OWL-S量化描述模型 Quantitative Description OWL-S Model Based on the Random PETRI Nets 计算机科学, 2012, 39(Z6): 457-460. |
[11] | 云本胜. 基于Pi-演算的信任Web服务组合建模 Pi-calculus Based Model of Trust Web Service Composition 计算机科学, 2012, 39(Z11): 240-244. |
[12] | 孔维梁,刘清堂,杨宗凯,韩淑云. 基于动态QoS的Web服务组合 Composition of Web Services Based on Dynamic QoS 计算机科学, 2012, 39(2): 268-272. |
[13] | 王晶 戎玫 张广泉 祝义. 基于概率模型检测的Web服务组合验证 Validation of Web Service Composition Based on Probabilistic Model Checking 计算机科学, 2012, 39(1): 120-123. |
[14] | 王志坚,李雯睿,杨种学,张鹏程. 基于uMSD的Web服务组合验证方法研究 Research on Verification of Web Service Composition Based on uMSD 计算机科学, 2011, 38(9): 119-125. |
[15] | 孙占志,朱怡安,车鸣. 一种新的启发式Web服务组合算法 New Heuristic Algorithm Based on Web Service Composition 计算机科学, 2011, 38(5): 116-118. |
|