Towards automatic recovery in protocol-based Web service composition
type: Dataset
description: In a protocol-based Web service composition, a set of available component services collaborate together in order to provide a new composite service. Services export their protocols as finite state machines (FSMs). A transition in the FSM represents a task execution that makes the service moving to a next state. An execution of the composite corresponds to a sequence of transitions where each task is delegated to a component service. During composite run, one or more delegated components may become unavailable due to hard or soft problems on the Network. This unavailability may result in a failed execution of the composite. We provide in this thesis a formal study of the automatic recovery problem in the protocol-based Web service composition. Recovery consists in transforming the failed execution into a recovery execution. Such a transformation is performed by compensating some transitions and executing some others. The recovery execution is an alternative execution of the composite that still has the ability to reach a final state. The recovery problem consists then in finding the best recovery execution(s) among those available. The best recovery execution is attainable from the failed execution with a minimal number of visible compensations with respect to the client. For a given recovery execution, we prove that the decision problem associated with computing the number of invisibly-compensated transitions is NP-complete. Thus, we conclude that deciding of the best recovery execution is in ΣP2.
identifier: NNT: 2013CLF22370
issued: 2026-05-09T07:40:41.290828
language: en
modified: 2026-05-09T07:40:41.290833
contact point: Organization
  fn: CCSD
keyword: automates-a-etats-finis
keyword: complexite
keyword: complexity
keyword: composition-de-services-web
keyword: dependability-of-systems
keyword: echecs
keyword: failure
keyword: fiabilite-des-systemes
keyword: finite-state-machines
keyword: infoeu-reposemanticsdoctoralthesis
keyword: infoinfo-ohcomputer-science-csother-csoh
keyword: np-completeness
keyword: np-completude
keyword: protocole-de-service-web
keyword: recouvrement
keyword: recovery
keyword: self-healing-systems
keyword: spiotherengineering-sciences-physicsother
keyword: systemes-a-auto-recouvrement
keyword: theses
keyword: web-service-composition
keyword: web-service-protocol
landing page: https://theses.hal.science/tel-00874865

Towards automatic recovery in protocol-based Web service composition
type: Distribution
format: HTML
issued: 2026-05-09T07:40:41.337975
modified: 2026-05-09T07:40:41.267981
access URL: https://theses.hal.science/tel-00874865

test_moissonnage_selune
type: Agent