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.
In: FMOODS,
LNCS 5051.
Springer,
pp. 19–38,
doi:10.1007/978-3-540-68863-1_3.
R. Bruni, I. Lanese, H.C. Melgratti & E. Tuosto (2008):
Multiparty Sessions in SOC.
In: COORDINATION,
LNCS 5052.
Springer,
pp. 67–82,
doi:10.1007/978-3-540-68265-3_5.
L. Caires & H.T. Vieira (2010):
Conversation types.
Theor. Comput. Sci. 411(51-52),
pp. 4399–4440,
doi:10.1016/j.tcs.2010.09.010.
M. Carbone, K. Honda & N. Yoshida (2007):
Structured Communication-Centred Programming for Web Services.
In: ESOP,
LNCS 4421.
Springer,
pp. 2–17,
doi:10.1007/978-3-540-71316-6_2.
M. Carbone & F. Montesi (2013):
Deadlock-freedom-by-design: multiparty asynchronous global programming.
In: POPL.
ACM,
pp. 263–274,
doi: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.
In: ICSOC,
LNCS 4294.
Springer,
pp. 327–338,
doi:10.1007/11948148_27.
K. Honda, V. T. Vasconcelos & M. Kubo (1998):
Language Primitives and Type Discipline for Structured Communication-Based Programming.
In: ESOP,
LNCS 1381.
Springer,
pp. 122–138,
doi:10.1007/BFb0053567.
K. Honda, N. Yoshida & M. Carbone (2008):
Multiparty asynchronous session types.
In: POPL.
ACM Press,
pp. 273–284,
doi:10.1145/1328438.1328472.
I. Lanese, F. Martins, A. Ravara & V.T. Vasconcelos (2007):
Disciplining Orchestration and Conversation in Service-Oriented Computing.
In: SEFM.
IEEE Computer Society Press,
pp. 305–314,
doi:10.1109/SEFM.2007.13.
A. Lapadula, R. Pugliese & F. Tiezzi (2007):
A Calculus for Orchestration of Web Services.
In: ESOP,
LNCS 4421.
Springer,
pp. 33–47,
doi: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.
In: COORDINATION,
LNCS 6721.
Springer,
pp. 80–94,
doi:10.1007/978-3-642-25535-9_45.
H.C. Melgratti & C. Roldán (2012):
On Correlation Sets and Correlation Exceptions in ActiveBPEL.
In: TGC,
LNCS 7173.
Springer,
pp. 212–226,
doi: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),
pp. 1–40, 41–77,
doi:10.1016/0890-5401(92)90009-5.
F. Montesi, C. Guidi, R. Lucchi & G. Zavattaro (2007):
JOLIE: a Java Orchestration Language Interpreter Engine.
In: MTCoord,
Electronic Notes in Theoretical Computer Science 181.
Elsevier,
pp. 19–33,
doi: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),
pp. 2–31,
doi: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.
In: ESOP,
LNCS 4960.
Springer,
pp. 269–283,
doi:10.1007/978-3-540-78739-6_21.
M. Viroli (2004):
Towards a Formal Foundation to Orchestration Languages.
In: WS-FM,
Electronic Notes in Theoretical Computer Science 105.
Elsevier,
pp. 51–71,
doi:10.1016/j.entcs.2004.05.008.
Zenexity and Typesafe (2013):
Play framework 2.1.0.
Available at http://www.playframework.com/.
eptcs@eptcs.org