[论文解读] Towards a Graph-Based Approach for Web Services Composition

Chaker Ben Mahmoud, Fathia Bettahar+2 more|arXiv (Cornell University)|Jun 18, 2013

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

一句话总结

本文提出一种基于图的自动Web服务组合方法，将服务及其组合建模为有向图，以表示输入/输出依赖关系和执行顺序。该方法基于用户查询实现高效、结构化的Web服务组合，其关键贡献在于形式化图模型的构建，支持自动化服务编排与执行顺序安排。

ABSTRACT

Nowadays, Web services (WS) remain a main actor in the implementation of distributed applications. They represent a new promising paradigm for the development, deployment and integration of Internet applications. The aim of Web services composition is to use the skills of several departments to resolve any problem that cannot be solved individually. The result of this composition is a compound of Web services that define how they will be used. In this paper, we propose an approach for automatic web services composition based on the concepts of directed graphs for the representation and description of Web services, and the ordering of web services compound execution. In this context, the user query, defined by a set of inputs and outputs, can be viewed as a directed graph composed of Web services.

研究动机与目标

• 解决将多个Web服务组合为一致、可执行工作流以应对复杂应用任务的挑战。
• 克服现有组合方法在缺乏服务依赖关系与执行顺序形式化建模方面的局限性。
• 基于结构化的图表示，实现从用户定义的输入/输出需求自动生成复合Web服务。
• 提供一个形式化框架，用于建模服务组合，支持对正确性与执行顺序的推理。

提出的方法

• 将单个Web服务表示为有向图中的节点，边表示输入和输出数据依赖关系。
• 将用户查询建模为有向图，其中源节点表示输入，目标节点表示所需输出。
• 应用图匹配与变换技术，将用户查询图与可用服务图对齐。
• 通过组合图的拓扑排序强制执行顺序，确保数据流正确性。
• 使用形式化图模型同时表示原子服务与复合服务工作流。
• 将服务发现与组合整合到统一的基于图的框架中，以支持端到端自动化。

实验结果

研究问题

• RQ1 如何对Web服务进行形式化建模，以支持基于用户需求的自动组合？
• RQ2 何种基于图的形式化方法能够有效表示服务依赖关系与执行顺序？
• RQ3 如何将用户的输入/输出规格自动映射为有效的Web服务序列？
• RQ4 何种机制可确保分布式Web服务组合的正确性与一致性？
• RQ5 有向图模型能否有效支持可扩展且可维护的服务编排？

主要发现

• 所提出的基于图的模型成功使用统一的形式化方法表示原子服务与复合服务。
• 该方法通过图变换技术将用户查询与可用服务图匹配，实现自动组合。
• 对组合图进行拓扑排序可确保正确的执行顺序，防止数据依赖违规。
• 该方法支持模块化与可扩展的组合，支持新服务的动态集成。
• 该框架在从高层用户规格生成可执行服务组合方面展现出可行性。
• 使用有向图提供了清晰、形式化的基础，用于推理服务组合的正确性与效率。