摘要

为提高Web服务匹配的时间效率,提出了Web服务与当前服务请求之间的泛化语义无关关系,并证明了满足该关系的服务与当前服务的不可匹配性;提出了判定服务与当前请求的语义泛化无关的高效判定规则,即两者的泛化语义的交是不可满足的;基于该判定规则,提出了支持Web服务匹配的服务过滤方法。应用和实验分析表明,该方法可提高服务匹配的时间效率。