包含前置条件和后置条件的基于扩展的语义匹配

由面向服务的架构所引出的动态绑定和松散耦合的概念的核心，是动态服务发现。大多数服务发现机制的关键是匹配算法，匹配算法要能在一堆待查询的服务集合中找到符合的web服务集合。这些advertisements也是通过OWL-S术语描述服务的语义。现在大多数的匹配算法都是仅仅基于输入和输出的语义匹配。但是，一个完整的服务的概要说明还包括前置条件和后置条件。为了能找到正确的匹配，匹配算法还需要对advertisements的前置条件和后置条件进行匹配。在论文中，我们解释了在原有基础上增加了web服务上下文中的前置条件和后置条件的匹配算法。而且，我们提出一种条件匹配的算法，这种算法是在输入-输出之上的匹配，并且克服了现有匹配算法的局限。虽然条件匹配的问题是NP完全问题，我