%0 Journal Article %T 一种基于运行时验证的web服务选择方法 %A 张亚红? %A 张琳琳? %A 赵楷? %A 陈佳丽? %A 冯在文? %J 计算机科学 %D 2014 %X 为了确保用户选择的web服务的运行时行为与用户需求之间的一致性,提出了一种基于运行时验证的服务选择方法。首先基于自动机原理,对web服务进行运行时验证。其次,定义了3种程度的行为匹配关系,基于运行时验证结果,量化web服务运行时行为与用户需求之间的匹配程度,并使用ahp理论计算用户偏好。方法综合考虑行为匹配程度和用户偏好对服务选择的影响,提出服务选择策略。最后通过实验分析和比较说明了该方法的合理性。 %K 运行时验证 %K 行为匹配 %K 用户偏好 %K web服务选择 %U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=20140146&flag=1