提高Web服务匹配效率的服务过滤方法

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

Improved service filter method for Web service matching

To make Web service matching more efficient, the irrelevance of generalized semantie of Web service and the current service request was proposed. It was also proved that Web services satisfying the relation could never be matched with the current request. An efficient rule was also proposed to decide whether the relation was satisfied, which means the intersection of generalized semantics of the service and the request is unsatisfied. Based on this rule, the approach to service filtering for service matching was proposed finally. Applications and experiments show the proposed approach is effective to improve the efficiency of service matching.