Compositional choreographies

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 8052 LNCS, Issue , 2013, Pages 425-439

  Montesi, Fabrizio ^a   Yoshida, Nobuko ^b  

^a IT UNIVERSITY OF COPENHAGEN   (Denmark)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPOSABLE; COMPOSITIONALITY; DEADLOCK FREEDOM; INDUSTRIAL USE CASE; PROGRAMMING MODELS;

WEB SERVICES;

INDUSTRIAL APPLICATIONS;

EID: 84882747344     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-40184-8_30     Document Type: Conference Paper

References (21)

1. Additional Resources, http://www.itu.dk/people/fabr/papers/compchor/
2. Baltazar, P., Caires, L., Vasconcelos, V.T., Vieira, H.T.: A Type System for Flexible Role Assignment in Multiparty Communicating Systems. In: Proc. of TGC (2012)
3. Bettini, L., Coppo, M., D'Antoni, L., De Luca, M., Dezani-Ciancaglini, M., Yoshida, N.: Global progress in dynamically interleaved multiparty sessions. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol. 5201, pp. 418-433. Springer, Heidelberg (2008), Long version at http://www.di.unito.it/? dezani/papers/cdy12.pdf
4. Business Process Model and Notation, http://www.omg.org/spec/BPMN/2.0/
5. Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and orchestration conformance for system design. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol. 4038, pp. 63-81. Springer, Heidelberg (2006) (Pubitemid 44098379)
6. Carbone, M., Honda, K., Yoshida, N.: Structured communication-centered programming for web services. ACM Trans. Program. Lang. Syst. 34(2), 8 (2012)
7. Carbone, M., Montesi, F.: Deadlock-freedom-by-design: multiparty asynchronous global programming. In: POPL, pp. 263-274 (2013)
8. Chor. Programming Language, http://www.chor-lang.org/
9. Deniélou, P.-M., Yoshida, N.: Dynamic multirole session types. In: Proc. of POPL, pp. 435-446. ACM (2011)
10. Deniélou, P.-M., Yoshida, N., Bejleri, A., Hu, R.: Parameterised multiparty session types. LMCS 8(4) (2012)
11. Honda, K., Mukhamedov, A., Brown, G., Chen, T.-C., Yoshida, N.: Scribbling interactions with a formal foundation. In: Natarajan, R., Ojo, A. (eds.) ICDCIT 2011. LNCS, vol. 6536, pp. 55-75. Springer, Heidelberg (2011)
12. Honda, K., Vasconcelos, V.T., Kubo, M.: Language primitives and type disciplines for structured communication-based programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol. 1381, pp. 122-138. Springer, Heidelberg (1998) (Pubitemid 128054298)
13. Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: Proc. of POPL, vol. 43(1), pp. 273-284. ACM (2008)
14. italianaSoftware. http://www.italianasoftware.com/.
15. Jolie. Java Orchestration Language Interpreter Engine, http://www.jolie-lang.org/
16. Lanese, I., Guidi, C., Montesi, F., Zavattaro, G.: Bridging the gap between interaction- and process-oriented choreographies. In: Proc. of SEFM, pp. 323-332. IEEE (2008)
17. Merro, M., Sangiorgi, D.: On asynchrony in name-passing calculi. Mathematical Structures in Computer Science 14(5), 715-767 (2004)
18. Montesi, F., Guidi, C., Zavattaro, G.: Composing Services with JOLIE. In: Proc. of ECOWS, pp. 13-22 (2007)
19. PI4SOA (2008), http://www.pi4soa.org
20. Savara. JBoss Community, http://www.jboss.org/savara/
21. W3C WS-CDL Working Group. Web services choreography description language version 1.0 (2004), http://www.w3.org/TR/ws-cdl-10/