Computer Science ›› 2014, Vol. 41 ›› Issue (1): 246-249.

Previous Articles     Next Articles

Web Service Selection Method Based on Runtime Verification

ZHANG Ya-hong,ZHANG Lin-lin,ZHAO Kai,CHEN Jia-li and FENG Zai-wen   

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

Abstract: To verify the consistency between run-time behavior of Web service and user requirements,a Web service selection method based on runtime verification was proposed.In this paper,based on automata theory,Web service was verified at run time.And then three kinds of behavior matching relationships were presented.Based on the results of runtime verification,the Web services matching degree between run-time behavior of Web service and user requirements was quantified.Besides,the user preferences were considered based on AHP.The method can deal with Web service selection in terms of behavior matching degree and users’ preferences,and the experimental results indicate that this method is reasonable.

Key words: Runtime verification,Behavior matching,User preference,Web service selection

[1] Christopher F,Joel F.What are Web services?[J].Communi-cations of the ACM,2003,46(6):31
[2] Leucker M,Schallhart C.A brief account of runtime verification [J].The Journal of Logic and Algebraic Programming,2009,78(5):293-303
[3] Saaty T L.How to handle dependence with the analytic hierarchy process [J].Mathematical Modeling,1987,9(3):369-376
[4] Zeng L,Benatallah B,Dumas M,et al.Quality driven Web ser-vices composition[C]∥Proceedings of the 12th international conference on World Wide Web,2003.New York,USA:ACM Press,2003:411-421
[5] Zeng L,Benatallah B,Ngu A H H,et al.Qos-aware middleware for web services composition [J].IEEE Transactions on Software Engineering,2004,30(5):311-327
[6] Liu Yu-tu,Ngu A H H,Zeng Liang-zhao.QoS computation and policing in dynamic Web service selection[C]∥WWW (Alternate Track Papers & Posters).2004:66-73
[7] 李妍,周明辉,梅宏,等.一种考虑QoS数据可信性的服务选择方法[J].软件学报,2008,9(10):2620-2627
[8] Joyce H,Manouvrier M,Rukoz M.Transactional and QoS-Aware Selection Algorithm for Automatic Web Service Composition [J].IEEE Transactions on Services Computing,2010,3(1):73-85
[9] Wang S,Sun Q,Yang F.Quality of Service measure approach of Web Service for Service Selection [J].The Institution of Engineering and Technology,2012,6(2):148-154
[10] Limam N,Boutaba R.Assessing Software Service Quality andTrustworthiness at Selection Time [J].IEEE Transaction on Software Engineering,2010,36(4):559-574
[11] Hien T N,Zhao W L,Yang J.A Trust and Reputation Model Based on Bayesian Network for Web Services[C]∥IEEE International Conference on Web Services,2011.NewYork:IEEE Computer Society,2011:251-258
[12] Wang S G,Zheng Z B,Sun Q B.et al.Evaluating Feedback Rating for Measuring Reputation for Web Services[C]∥IEEE International Conference on Services Computing,2011.NewYork:IEEE Computer Society,2011:192-199
[13] 巫茜,周庆.基于QoS与可信度融合的Web服务选择机制研究[J].计算机科学,2012,9(7):108-111
[14] 肖芳雄,李燕,黄志球,等.基于时间概率代价进程代数的Web服务组合建模和分析[J].计算机学报,2012,5(5):918-935
[15] 朱俊,郭长国,吴泉源.基于CPN的服务交互行为关键属性的运行时确保机制[J].电子学报,2011,9(5):1064-1071
[16] Dimitris D,Ervin R,Dimitrios K.Runtime Verification of Behavioral Conformance for Conversational Web Services[C]∥The 7th IEEE European Conference on Web Services,2009.NewYork:IEEE Computer Society,2009,139-147
[17] Jocelyn S,Yuan G,Marsha C,et al.Runtime Monitoring of Web Service Conversation[J].IEEE Transaction on Services Computing,2009,2(3):223-244
[18] 梁泉,王元卓.网络计算环境下QoS偏好的处理策略极其应用[J].计算机应用,2009,9(6):1052-1055

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!