1 research outputs found
Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC
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.Comment: NETYS - 3rd International Conference on NETwork sYStems, May 2015,
Agadir, Morocco. 2015, Proceedings of the third international conference on
network system