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

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