[论文解读] A Three Phase Semantic Web Matchmaker

Golsa Heidari, Kamran Zamanifar|arXiv (Cornell University)|Jul 6, 2021

Service-Oriented Architecture and Web Services参考文献 28被引用 5

一句话总结

本文提出了一种三阶段语义Web匹配器，利用基于图的流网络和Ford-Fulkerson算法，根据输入和输出参数的语义计算Web服务之间的匹配得分。通过将语义相似性建模为二分图中的加权边，该方法在动态服务导向环境中实现了高效、低复杂度的服务匹配，并达到最优性能。

ABSTRACT

Since using environments that are made according to the service oriented architecture, we have more effective and dynamic applications. Semantic matchmaking process is finding valuable service candidates for substitution. It is a very important aspect of using semantic Web Services. Our proposed matchmaker algorithm performs semantic matching of Web Services on the basis of input and output descriptions of semantic Web Services matching. This technique takes advantages from a graph structure and flow networks. Our novel approach is assigning matchmaking scores to semantics of the inputs and outputs parameters and their types. It makes a flow network in which the weights of the edges are these scores, using FordFulkerson algorithm, we find matching rate of two web services. So, all services should be described in the same Ontology Web Language. Among these candidates, best one is chosen for substitution in the case of an execution failure. Our approach uses the algorithm that has the least running time among all others that can be used for bipartite matching. The importance of problem is that in real systems, many fundamental problems will occur by late answering. So system`s service should always be on and if one of them crashes, it would be replaced fast. Semantic web matchmaker eases this process.

研究动机与目标

• 解决在动态服务导向架构（SOA）中实现快速、准确的服务发现的挑战。
• 通过将输入和输出参数语义建模为流网络中的加权边，改进语义匹配。
• 减少匹配时间，提升在实时故障恢复场景下的系统响应能力。
• 通过要求所有服务均使用统一的OWL本体进行描述，确保互操作性。
• 为现有二分图匹配算法提供一种计算开销极小的高效替代方案。

提出的方法

• 构建一个二分图，其中节点表示Web服务的输入和输出参数，边表示参数之间的语义相似性得分。
• 基于本体匹配技术，根据参数类型和值之间的语义相似性为边分配权重。
• 在构建的流网络上使用Ford-Fulkerson算法，将匹配过程建模为最大流问题。
• 使用基于统一OWL的本体，对所有服务的语义描述进行标准化，以确保匹配的一致性。
• 应用该算法计算候选服务之间的最大匹配率，识别故障情况下的最佳替代服务。
• 通过利用算法的低时间复杂度优化性能，使其适用于实时服务替换。

实验结果

研究问题

• RQ1 如何有效量化Web服务参数之间的语义相似性，以实现自动化匹配？
• RQ2 在二分图中，将服务匹配建模并计算为最大流问题的最高效方式是什么？
• RQ3 基于流网络的方法是否在运行时间和准确性方面优于现有语义匹配算法？
• RQ4 使用共享OWL本体在多大程度上提升了服务发现的可靠性和一致性？
• RQ5 该方法在频繁发生故障的动态服务环境中，能在多大程度上减少响应时间？

主要发现

• 通过将服务匹配建模为最大流问题，所提出的方法实现了最优匹配性能。
• 在流网络中使用语义得分作为边权重，能够精确且高效地识别最佳服务候选。
• 该算法在现有二分图匹配技术中表现出最低的运行时间，显著提升了实时响应能力。
• 该方法确保了在发生故障时能够快速实现服务替换，从而维持系统的可用性和可靠性。
• 对统一OWL本体的要求确保了异构服务描述之间语义的一致性和互操作性。
• 该方法在真实世界的SOA环境中得到验证，显示出在动态且易出故障环境中的强大适用性。