Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC - LINA-AELOS Accéder directement au contenu
Communication Dans Un Congrès Année : 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

Claude Jard

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

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⟩
165 Consultations
125 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More