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