Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC

Conference paper

DOI: 10.1007/978-3-319-26850-7_26

Volume 9466 of the book series Lecture Notes in Computer Science (LNCS)
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

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.

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Matthieu Perrin
    • 1
  • Claude Jard
    • 1
  • Achour Mostéfaoui
    • 1
  1. 1.LINAUniversité de NantesNantesFrance