文件名称：包含前置条件和后置条件的基于扩展的语义匹配
文件大小：310KB
文件格式：DOC
更新时间：2012-04-16 15:18:26
语义匹配
由面向服务的架构所引出的动态绑定和松散耦合的概念的核心，是动态服务发现。大多数服务发现机制的关键是匹配算法，匹配算法要能在一堆待查询的服务集合中找到符合的web服务集合。这些advertisements也是通过OWL-S术语描述服务的语义。现在大多数的匹配算法都是仅仅基于输入和输出的语义匹配。但是，一个完整的服务的概要说明还包括前置条件和后置条件。为了能找到正确的匹配，匹配算法还需要对advertisements的前置条件和后置条件进行匹配。在论文中，我们解释了在原有基础上增加了web服务上下文中的前置条件和后置条件的匹配算法。而且，我们提出一种条件匹配的算法，这种算法是在输入-输出之上的匹配，并且克服了现有匹配算法的局限。虽然条件匹配的问题是NP完全问题，我们还是可以通过启发式的方式来克服局限性，而且这种启发式的方法的时间复杂度为多项式级别的复杂度。我们也分析了在强制匹配算法的复杂度。实验显示，精确度相同的情况下我们的算法比强制匹配的算法高效得多。