Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC - Archive ouverte HAL Access content directly
Conference Papers Year : 2015

Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC

Capturer les dépendances causales dans les orchestrations de services Web définies en ORC

(1, 2) , (1) , (2)
1
2
Claude Jard

Abstract

This article shows how the operational semantics of a language like ORC can be instrumented so that the execution of a program produces information on the causal dependencies between events. The concurrent semantics we obtain is based on asymmetric labeled event structures. The approach is illustrated using a Web service orchestration instance and the detection of race conditions.
Cet article montre comment la sémantique opérationnelle d'un langage comme Orc peut être instrumentée pour que l'exécution d'un programme produise les informations sur les dépendances causales entre les événements. La sémantique concurrente que l'on obtient est basée sur des structures asymétriques d'événements étiquetés. Cette approche est illustrée sur un exemple d'orchestration de services Web et la détection de situations de compétition.
Fichier principal
Vignette du fichier
netys_51.pdf (347.11 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01152761 , version 1 (22-05-2015)

Identifiers

Cite

Matthieu Perrin, Claude Jard, Achour Mostefaoui. Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC. NETYS - 3rd International Conference on NETwork sYStems, May 2015, Agadir, Morocco. ⟨hal-01152761⟩
145 View
107 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More