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