Computer Science ›› 2018, Vol. 45 ›› Issue (8): 288-294.doi: 10.11896/j.issn.1002-137X.2018.08.052

• Interdiscipline & Frontier • Previous Articles     Next Articles

Multi-objective Verification of Web Service Composition Based on Probabilistic Model Checking

ZHOU Nv-qi, ZHOU Yu   

  1. College of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 210016,China
    The Collaborative Innovation Center of Novel Software Technology and Industrialization,Nanjing 210023,China
  • Received:2017-06-12 Online:2018-08-29 Published:2018-08-29

Abstract: Web service composition becomes an important research topic in service computing field.The non-functional requirements of the users are the most frequently used criteriafor Web service composition.However,users’ non-functional requirements have certain uncertainties and multi-objective characteristics in the open environments.This paper proposed a multi-objective verification method to tackle this problem.Firstly,the Web service composition process is modeled as a quantitative multi-objective Markov decision process,and then it is transformed to the PRISM language.Simultaneously,different user requirements are expressed by multi-objective temporal logic formulas.With the input of the above two models,the optimal solution is found via model checking.Finally,an example is delivered to illustrate the method and the experiment result indicates that the proposed approach can be used for Web service composition effectively.

Key words: Multi-objective verification, Probabilistic model checking, Requirements of users, Web service composition

CLC Number: 

  • TP305
[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] FAN Guo-dong,ZHU Ming,LI Jing,CUI Xiao-liu. Web Service Composition by Combining FAHP and Graphplan [J]. Computer Science, 2020, 47(1): 270-275.
[2] XIA Nu-nu, YANG Jin-ji, ZHAO Gan-sen, MO Xiao-shan. Formal Verification of Cloud-aided Lightweight Certificateless Authentication Protocol Based on Probabilistic Model [J]. Computer Science, 2019, 46(8): 206-211.
[3] LU Cheng-hua, KOU Ji-song. Multi-attribute Decision Making and Adaptive Genetic Algorithm for Solving QoS Optimization of Web Service Composition [J]. Computer Science, 2019, 46(2): 187-195.
[4] LIU Shuang, WEI Ou, GUO Zong-hao. Infinite-horizon Optimal Control of Genetic Regulatory Networks Based on Probabilistic Model Checking and Genetic Algorithm [J]. Computer Science, 2018, 45(10): 313-319.
[5] DU Yi, HE Yang and HONG Mei. Application of Probabilistic Model Checking in Dynamic Power Management [J]. Computer Science, 2018, 45(1): 261-266.
[6] GUO Zong-hao and WEI Ou. Optimal Control of Probabilistic Boolean Networks Using Model Checking [J]. Computer Science, 2017, 44(5): 193-198.
[7] 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.
[8] . Approach for Web Service Composition Trustworthiness Evaluation [J]. Computer Science, 2013, 40(2): 163-166.
[9] . Quantitative Description OWL-S Model Based on the Random PETRI Nets [J]. Computer Science, 2012, 39(Z6): 457-460.
[10] . Pi-calculus Based Model of Trust Web Service Composition [J]. Computer Science, 2012, 39(Z11): 240-244.
[11] . Validation of Web Service Composition Based on Probabilistic Model Checking [J]. Computer Science, 2012, 39(1): 120-123.
[12] WANG Zhi-jian LI Wen-rui, YANG Ghong-xue,ZHANG Peng-cheng. Research on Verification of Web Service Composition Based on uMSD [J]. Computer Science, 2011, 38(9): 119-125.
[13] SUN Zhan zhi,ZHU Yi-an, CHE Ming. New Heuristic Algorithm Based on Web Service Composition [J]. Computer Science, 2011, 38(5): 116-118.
[14] . Description and Verification of Asynchronous Web Service Composition Based on XYZ/ADL [J]. Computer Science, 2011, 38(12): 139-143.
[15] . Model Checking of Data and Time Aware Web Service Composition [J]. Computer Science, 2011, 38(11): 123-126.
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!