Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9466)

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.

References

  1. 1.
    Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: Business Process Execution Language for Web Services. Version 1.1, 5 May 2003. http://download.boulder.ibm.com/ibmdl/pub/software/dw/specs/ws-bpel/ws-bpel.pdf
  2. 2.
    Kitchin, D., Quark, A., Cook, W., Misra, J.: ORC language. http://orc.csres.utexas.edu
  3. 3.
    Kitchin, D., Quark, A., Cook, W., Misra, J.: The orc programming language. In: Lee, D., Lopes, A., Poetzsch-Heffter, A. (eds.) FMOODS 2009. LNCS, vol. 5522, pp. 1–25. Springer, Heidelberg (2009) CrossRefGoogle Scholar
  4. 4.
    Kitchin, D.E., Cook, W.R., Misra, J.: A language for task orchestration and its semantic properties. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol. 4137, pp. 477–491. Springer, Heidelberg (2006) CrossRefGoogle Scholar
  5. 5.
    Rosario, S., Benveniste, A., Haar, S., Jard, C.: Foundations for web services orchestrations: functional and QoS aspects. In: ISOLA 2006, 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Cyprus, 15–19 November 2006 (2006)Google Scholar
  6. 6.
    Plotkin, G.D.: The origins of structural operational semantics. J. Log. Algebr. Program. 60–61, 3–15 (2004)MathSciNetCrossRefMATHGoogle Scholar
  7. 7.
    Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21(7), 558–565 (1978)CrossRefMATHGoogle Scholar
  8. 8.
    Fidge, C.J.: Timestamps in message-passing systems that preserve the partial ordering. In: Proceedings of the 11th Australian Computer Science Conference (ACSC 1988), pp. 56–66, February 1988Google Scholar
  9. 9.
    Roşu, G., Sen, K.: An instrumentation technique for online analysis of multithreaded programs. Concurrency Comput. Pract. Experience 19, 311–325 (2007). Wiley Online LibraryCrossRefGoogle Scholar
  10. 10.
    Giachino, E., Lanese, I., Mezzina, C.A.: Causal-consistent reversible debugging. In: Gnesi, S., Rensink, A. (eds.) FASE 2014 (ETAPS). LNCS, vol. 8411, pp. 370–384. Springer, Heidelberg (2014) CrossRefGoogle Scholar
  11. 11.
    Boreale, M., Sangiorgi, D.: A fully abstract semantics for causality in the \(\pi \)-calculus. Acta Informaticae 35(5), 353–400 (1998)MathSciNetCrossRefMATHGoogle Scholar
  12. 12.
    Rosario, S., Kitchin, D.E., Benveniste, A., Cook, W., Haar, S., Jard, C.: Event Structure semantics of orc. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol. 4937, pp. 154–168. Springer, Heidelberg (2008) CrossRefGoogle Scholar
  13. 13.
    Bruni, R., Melgratti, H., Tuosto, E.: Translating orc features into petri nets and the join calculus. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 123–137. Springer, Heidelberg (2006) CrossRefGoogle Scholar
  14. 14.
    Misra, J., Cook, W.: Computation orchestration: a basis for wide-area computing. J. Softw. Syst. Model. 6(1), 83–110 (2007)CrossRefGoogle Scholar
  15. 15.
    Winskel, G.: Event structures. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) Advances in Petri Nets 1986, Part II. LNCS, vol. 255, pp. 325–392. Springer, Heidelberg (1987)Google Scholar
  16. 16.
    Perrin, M., Jard, C., Mostéfaoui, A.: Building a concurrent operational semantics for the ORC language. Technical report, LINA, Université de Nantes (2014). https://hal.archives-ouvertes.fr/hal-01101340v2

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

Personalised recommendations