Deadlock-freedom-by-design: Multiparty asynchronous global programming

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 2013, Pages 263-274

  Carbone, Marco ^a   Montesi, Fabrizio ^a  

^a IT UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

choreography; concurrency; sessions; types

Indexed keywords

ASYNCHRONY; CHOREOGRAPHY; CONCURRENCY; CONCURRENT SYSTEMS; DEADLOCK-FREE; GLOBAL SETTINGS; MULTI CORE; MULTIPARTY SESSIONS; NOVEL INTERPRETATION; PI CALCULUS; PROGRAMMING MODELS; PROTOCOL SPECIFICATIONS; PROTOTYPE IMPLEMENTATIONS; SERVICE ORIENTED PROGRAMMING; SESSION MOBILITY; SESSIONS; TYPE INFERENCES; TYPE SYSTEMS; TYPES;

COMPUTER PROGRAMMING LANGUAGES; SPECIFICATIONS;

MULTICORE PROGRAMMING;

EID: 84874176762     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2429069.2429101     Document Type: Conference Paper

References (38)

1. BPMN. http://www.omg.org/spec/BPMN/2.0/.
2. italianaSoftware. http://www.italianasoftware.com/.
3. Jolie language. http://www.jolie-lang.org/.
4. SOAP Specifications. http://www.w3.org/TR/soap/.
5. WS-Addressing. http://www.w3.org/TR/ws-addr-core/.
6. P. Baltazar, L. Caires, V. T. Vasconcelos, and H. T. Vieira. A Type System for Flexible Role Assignment in Multiparty Communicating Systems. In Proc. of TGC, 2012. To appear.
7. L. Bettini, M. Coppo, L. D'Antoni, M. D. Luca, M. Dezani-Ciancaglini, and N. Yoshida. Global progress in dynamically interleaved multiparty sessions. In CONCUR, volume 5201 of LNCS, pages 418-433. Springer, 2008.
8. K. Bhargavan, R. Corin, P.-M. Deniélou, C. Fournet, and J. J. Leifer. Cryptographic protocol synthesis and verification for multiparty sessions. In Proc. of CSF, pages 124-140, 2009.
9. S. Briais and U. Nestmann. A formal semantics for protocol narrations. Theoretical Computer Science, 389(3):484-511, 2007. (Pubitemid 350101031)
10. N. Busi, R. Gorrieri, C. Guidi, R. Lucchi, and G. Zavattaro. Choreography and orchestration conformance for system design. In Proc. of Coordination, volume 4038 of LNCS, pages 63-81. Springer-Verlag, 2006. (Pubitemid 44098379)
11. L. Caires and H. T. Vieira. Conversation types. Theoretical Computer Science, 411(51-52):4399-4440, 2010.
12. C. Caleiro, L. Viganò, and D. A. Basin. On the semantics of Alice&Bob specifications of security protocols. Theor. Comput. Sci., 367(1-2):88-122, 2006. (Pubitemid 44648577)
13. M. Carbone. Session-based choreography with exceptions. In Proc. of PLACES, volume 241, pages 35-55. ENTCS, 2008.
14. M. Carbone and F. Montesi. Typed multiparty global programming. Technical Report 149, IT University of Copenhagen, 2011. http://www.itu.dk/people/fabr/ papers/multichor.
15. M. Carbone, K. Honda, and N. Yoshida. Structured communication-centred programming for web services. In Proc. of ESOP, volume 4421 of LNCS, pages 2-17. Springer-Verlag, 2007.
16. Chor. Programming Language. http://www.chor-lang.org/.
17. P.-M. Deniélou and N. Yoshida. Dynamic multirole session types. In Proc. of POPL, pages 435-446. ACM, 2011.
18. P.-M. Deniélou and N. Yoshida. Multiparty session types meet communicating automata. In Proc. of ESOP, LNCS, pages 194-213. Springer-Verlag, 2012.
19. Eclipse. The Eclipse IDE. http://www.eclipse.org/.
20. Enea. ENEA: Italian National agency for new technologies, Energy and sustainable economic development. http://www.enea.it/.
21. X. Fu, T. Bultan, and J. Su. Realizability of conversation protocols with message contents. International Journal on Web Service Res., 2 (4):68-93, 2005. (Pubitemid 41344358)
22. K. Honda, N. Yoshida, and M. Carbone. Multiparty asynchronous session types. In Proc. of POPL, volume 43(1), pages 273-284. ACM, 2008.
23. K. Honda, A. Mukhamedov, G. Brown, T.-C. Chen, and N. Yoshida. Scribbling interactions with a formal foundation. In Proc. of ICDCIT, volume 6536 of LNCS, pages 55-75. Springer, 2011.
24. R. Hu, N. Yoshida, and K. Honda. Session-based distributed programming in java. In ECOOP, pages 516-541, 2008.
25. International Telecommunication Union. Recommendation Z.120: Message Sequence Chart, 1996.
26. I. Lanese, C. Guidi, F. Montesi, and G. Zavattaro. Bridging the gap between interaction- and process-oriented choreographies. In Proc. of SEFM, pages 323-332. IEEE, 2008.
27. M. Merro and D. Sangiorgi. On asynchrony in name-passing calculi. Mathematical Structures in Computer Science, 14(5):715-767, 2004.
28. F. Montesi and M. Carbone. Programming services with correlation sets. In ICSOC, pages 125-141, 2011.
29. F. Montesi, C. Guidi, and G. Zavattaro. Composing Services with JOLIE. In Proc. of ECOWS, pages 13-22, 2007.
30. OASIS. Web Services Business Process Execution Language. http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.html.
31. OOI. Ocean Observatories. http://www.oceanobservatories.org.
32. OpenID. Specifications. http://openid.net/developers/specs/.
33. PI4SOA. http://www.pi4soa.org, 2008.
34. B. C. Pierce. Types and Programming Languages. MIT Press, MA, USA, 2002.
35. Qualit-E. Funded by Cognizant. http://www.cognizant.com/.
36. Savara. JBoss Community. http://www.jboss.org/savara/.
37. W3C WS-CDL Working Group. Web services choreography description language version 1.0. http://www.w3.org/TR/ws-cdl-10/, 2004.
38. N. Yoshida, P.-M. Deniélou, A. Bejleri, and R. Hu. Parameterised multiparty session types. In FOSSACS'10, volume 6014 of LNCS, pages 128-145, 2010.