On the Fly Algorithm for the Service Composition Problem - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

On the Fly Algorithm for the Service Composition Problem

Résumé

The behavioral service composition problem arises when no available service can achieve a target behavior. The composition problem consists in building a special service, an orchestrator, which schedules the actions of the services to produce a behavior equivalent to the target one. In this paper, services are modeled as nondeterministic transition systems and the behavior of the composition realizes the behavior of the target. We propose an algorithm that avoids the full computation of the product of services, and instead constructs the orchestrator incrementally. Unlike most algorithms where the whole state space, which is exponential in the number of services, is visited, the proposed algorithm can find a solution by visiting only the pertinent portion of the state space. We also show that this on-the-fly behavior can be paired with a heuristic to speed up the synthesis.
Fichier principal
Vignette du fichier
On-the-fly algorithm for the service composition problem.pdf (260.57 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-03198232 , version 1 (26-04-2021)

Identifiants

Citer

Hikmat Farhat, Guillaume Feuillade. On the Fly Algorithm for the Service Composition Problem. 7th IFIP International Conference on New Technologies, Mobility and Security (NTMS 2015), Jul 2015, Paris, France. pp.1-6, ⟨10.1109/NTMS.2015.7266511⟩. ⟨hal-03198232⟩
31 Consultations
63 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More