Groupon. Web site: http://www.groupon.com/ Apache Software Foundation 2011 Apache ODE 1.3.5 Available at http://ode.apache.org/ 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 http://www.w3.org/TR/wsdl/ GlassFish community 2012 JAX-WS 2.2.7 Available at http://jax-ws.java.net/ 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 http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html 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 http://www.playframework.com/