一种基于运行时验证的Web服务选择方法

计算机科学 ›› 2014, Vol. 41 ›› Issue (1): 246-249.

一种基于运行时验证的Web服务选择方法

张亚红,张琳琳,赵楷,陈佳丽,冯在文

新疆大学信息科学与工程学院乌鲁木齐830046;新疆大学信息科学与工程学院乌鲁木齐830046;新疆大学信息科学与工程学院乌鲁木齐830046;新疆大学信息科学与工程学院乌鲁木齐830046;武汉大学软件工程国家重点实验室武汉430072

出版日期:2018-11-14 发布日期:2018-11-14
基金资助:
本文受国家自然科学基金项目(61100017,9),福建省自然科学基金项目(2012J01250,1J05146),新疆大学博士毕业生科研启动基金项目(BS090142)资助

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

摘要： 为了确保用户选择的Web服务的运行时行为与用户需求之间的一致性,提出了一种基于运行时验证的服务选择方法。首先基于自动机原理,对Web服务进行运行时验证。其次,定义了3种程度的行为匹配关系,基于运行时验证结果,量化Web服务运行时行为与用户需求之间的匹配程度,并使用AHP理论计算用户偏好。方法综合考虑行为匹配程度和用户偏好对服务选择的影响,提出服务选择策略。最后通过实验分析和比较说明了该方法的合理性。

关键词: 运行时验证,行为匹配,用户偏好,Web服务选择

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

张亚红,张琳琳,赵楷,陈佳丽,冯在文. 一种基于运行时验证的Web服务选择方法[J]. 计算机科学, 2014, 41(1): 246-249. https://doi.org/

ZHANG Ya-hong,ZHANG Lin-lin,ZHAO Kai,CHEN Jia-li and FENG Zai-wen. Web Service Selection Method Based on Runtime Verification[J]. Computer Science, 2014, 41(1): 246-249. https://doi.org/

参考文献

[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

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed