Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC
Programming Languages
2015-05-26 v1 Distributed, Parallel, and Cluster Computing
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.
Keywords
Cite
@article{arxiv.1505.06299,
title = {Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC},
author = {Matthieu Perrin and Claude Jard and Achour Mostefaoui},
journal= {arXiv preprint arXiv:1505.06299},
year = {2015}
}
Comments
NETYS - 3rd International Conference on NETwork sYStems, May 2015, Agadir, Morocco. 2015, Proceedings of the third international conference on network systems