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

Web Service Selection Method Based on Runtime Verification

作　　者：张亚红[1] 张琳琳[1] 赵楷[1] 陈佳丽[1] 冯在文[2] 

机构地区：[1]新疆大学信息科学与工程学院,乌鲁木齐830046 [2]武汉大学软件工程国家重点实验室,武汉430072

出　　处：《计算机科学》2014年第1期246-249,共4页Computer Science

基　　金：国家自然科学基金项目(61100017;61262089);福建省自然科学基金项目(2012J01250;2011J05146);新疆大学博士毕业生科研启动基金项目(BS090142)资助

摘　　要：为了确保用户选择的Web服务的运行时行为与用户需求之间的一致性,提出了一种基于运行时验证的服务选择方法。首先基于自动机原理,对Web服务进行运行时验证。其次,定义了3种程度的行为匹配关系,基于运行时验证结果,量化Web服务运行时行为与用户需求之间的匹配程度,并使用AHP理论计算用户偏好。方法综合考虑行为匹配程度和用户偏好对服务选择的影响,提出服务选择策略。最后通过实验分析和比较说明了该方法的合理性。To verify the consistency between run-time behavior of Web service and user requirements, a Web service se- lection 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 se- lection in terms of behavior matching degree and users＇ preferences, and the experimental results indicate that this method is reasonable.

关 键 词：运行时验证 行为匹配 用户偏好 WEB服务选择 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]