Groupon. Web site: Apache Software Foundation 2011 Apache ODE 1.3.5 Available at M. Boreale R. Bruni R. De Nicola M. Loreti 2008 Sessions and Pipelines for Structured Service Programming FMOODS LNCS 5051 Springer 19–38 10.1007/978-3-540-68863-1_3 R. Bruni I. Lanese H.C. Melgratti E. Tuosto 2008 Multiparty Sessions in SOC COORDINATION LNCS 5052 Springer 67–82 10.1007/978-3-540-68265-3_5 L. Caires H.T. Vieira 2010 Conversation types Theor. Comput. Sci. 411 51-52 4399–4440 10.1016/j.tcs.2010.09.010 M. Carbone K. Honda N. Yoshida 2007 Structured Communication-Centred Programming for Web Services ESOP LNCS 4421 Springer 2–17 10.1007/978-3-540-71316-6_2 M. Carbone F. Montesi 2013 Deadlock-freedom-by-design: multiparty asynchronous global programming POPL ACM 263–274 10.1145/2429069.2429101 E. Christensen F. Curbera G. Meredith S. Weerawarana 2001 Web Services Description Language (WSDL) 1.1 Technical Report W3C Available at GlassFish community 2012 JAX-WS 2.2.7 Available at M. Gudgin M. Hadley T. Rogers 2006 Web Services Addressing 1.0 - Core Technical Report W3C C. Guidi R. Lucchi R. Gorrieri N. Busi G. Zavattaro 2006 SOCK: A Calculus for Service Oriented Computing ICSOC LNCS 4294 Springer 327–338 10.1007/11948148_27 K. Honda V. T. Vasconcelos M. Kubo 1998 Language Primitives and Type Discipline for Structured Communication-Based Programming ESOP LNCS 1381 Springer 122–138 10.1007/BFb0053567 K. Honda N. Yoshida M. Carbone 2008 Multiparty asynchronous session types POPL ACM Press 273–284 10.1145/1328438.1328472 I. Lanese F. Martins A. Ravara V.T. Vasconcelos 2007 Disciplining Orchestration and Conversation in Service-Oriented Computing SEFM IEEE Computer Society Press 305–314 10.1109/SEFM.2007.13 A. Lapadula R. Pugliese F. Tiezzi 2007 A Calculus for Orchestration of Web Services ESOP LNCS 4421 Springer 33–47 10.1007/978-3-540-71316-6_4 J. Mauro M. Gabbrielli C. Guidi F. Montesi 2011 An Efficient Management of Correlation Sets with Broadcast COORDINATION LNCS 6721 Springer 80–94 10.1007/978-3-642-25535-9_45 H.C. Melgratti C. Roldán 2012 On Correlation Sets and Correlation Exceptions in ActiveBPEL TGC LNCS 7173 Springer 212–226 10.1007/978-3-642-30065-3_13 R. Milner J. Parrow D. Walker 1992 A Calculus of Mobile Processes, I and II Information and Computation 100 1 1–40, 41–77 10.1016/0890-5401(92)90009-5 F. Montesi C. Guidi R. Lucchi G. Zavattaro 2007 JOLIE: a Java Orchestration Language Interpreter Engine MTCoord Electronic Notes in Theoretical Computer Science 181 Elsevier 19–33 10.1016/j.entcs.2007.01.051 OASIS WSBPEL TC 2007 Web Services Business Process Execution Language Version 2.0 Technical Report OASIS Available at R. Pugliese F. Tiezzi 2012 A calculus for orchestration of web services J. Applied Logic 10 1 2–31 10.1016/j.jal.2011.11.002 H.T. Vieira L. Caires J. C. Seco 2008 The Conversation Calculus: A Model of Service-Oriented Computation ESOP LNCS 4960 Springer 269–283 10.1007/978-3-540-78739-6_21 M. Viroli 2004 Towards a Formal Foundation to Orchestration Languages WS-FM Electronic Notes in Theoretical Computer Science 105 Elsevier 51–71 10.1016/j.entcs.2004.05.008 Zenexity and Typesafe 2013 Play framework 2.1.0 Available at