Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC
- Cite this paper as:
- Perrin M., Jard C., Mostéfaoui A. (2015) Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC. In: Bouajjani A., Fauconnier H. (eds) Networked Systems. NETYS 2015. Lecture Notes in Computer Science, vol 9466. Springer, Cham
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.