Skip to Main content Skip to Navigation
Conference papers

Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC

Matthieu Perrin 1, 2 Claude Jard 1 Achour Mostefaoui 2
1 AELOS
LINA - Laboratoire d'Informatique de Nantes Atlantique
2 GDD - Gestion de Données Distribuées [Nantes]
LINA - Laboratoire d'Informatique de Nantes Atlantique
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.
Complete list of metadatas

Cited literature [16 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01152761
Contributor : Matthieu Perrin <>
Submitted on : Friday, May 22, 2015 - 6:49:21 PM
Last modification on : Tuesday, January 14, 2020 - 2:23:13 PM
Document(s) archivé(s) le : Thursday, April 20, 2017 - 1:39:01 AM

Files

netys_51.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01152761, version 1
  • ARXIV : 1505.06299

Collections

Citation

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⟩

Share

Metrics

Record views

1612

Files downloads

262