Artículo

Bocchi, L.; Melgratti, H.; Tuosto, E.; CNRS; Grenoble INP; Inria; PERSYVAL-Lab and Universite Joseph Fourier; Springer-Verlag "Resolving non-determinism in choreographies" (2014) 23rd European Symposium on Programming, ESOP 2014 - Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014. 8410 LNCS:493-512
Estamos trabajando para incorporar este artículo al repositorio
Consulte el artículo en la página del editor
Consulte la política de Acceso Abierto del editor

Abstract:

Resolving non-deterministic choices of choreographies is a crucial task. We introduce a novel notion of realisability for choreographies -called whole-spectrum implementation- that rules out deterministic implementations of roles that, no matter which context they are placed in, will never follow one of the branches of a non-deterministic choice. We show that, under some conditions, it is decidable whether an implementation is whole-spectrum. As a case study, we analyse the POP protocol under the lens of whole-spectrum implementation. © 2014 Springer-Verlag.

Registro:

Documento: Artículo
Título:Resolving non-determinism in choreographies
Autor:Bocchi, L.; Melgratti, H.; Tuosto, E.; CNRS; Grenoble INP; Inria; PERSYVAL-Lab and Universite Joseph Fourier; Springer-Verlag
Ciudad:Grenoble
Filiación:Department of Computing, Imperial College London, United Kingdom
Departamento de Computación, FCEyN, Universidad de Buenos Aires - Conicet, Argentina
Department of Computer Science, University of Leicester, United Kingdom
Palabras clave:Computer science; Computers; Non-determinism; Realisability; Artificial intelligence
Año:2014
Volumen:8410 LNCS
Página de inicio:493
Página de fin:512
DOI: http://dx.doi.org/10.1007/978-3-642-54833-8_26
Título revista:23rd European Symposium on Programming, ESOP 2014 - Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014
Título revista abreviado:Lect. Notes Comput. Sci.
ISSN:03029743
Registro:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v8410LNCS_n_p493_Bocchi

Referencias:

  • Basu, S., Bultan, T., Ouederni, M., Deciding choreography realizability (2012) POPL
  • Bettini, L., Coppo, M., D'Antoni, L., De Luca, M., Dezani-Ciancaglini, M., Yoshida, N., Global progress in dynamically interleaved multiparty sessions (2008) LNCS, 5201, pp. 418-433. , van Breugel, F., Chechik, M. (eds.) CONCUR 2008. Springer, Heidelberg
  • Bocchi, L., Melgratti, H., Tuosto, E., (2014), http://publicaciones.dc.uba.ar/Publications/2014/BMT14c/, Extended version of this paper; Bravetti, M., Zavattaro, G., A theory of contracts for strong service compliance (2009) MSCS, 19 (3)
  • Butler, M., Postel, J., Chase, D., Goldberger, J., Reynoldsa, J., (1985) Post Office Protocol, , http://tools.ietf.org/html/rfc937, version 2. RFC 918 February
  • Caires, L., Vieira, H.T., Conversation types (2009) LNCS, 5502, pp. 285-300. , Castagna, G. (ed.) ESOP 2009. Springer, Heidelberg
  • Castagna, G., Dezani-Ciancaglini, M., Padovani, L., On global types and multi-party session (2012) LMCS, 8 (1)
  • Castagna, G., Padovani, L., Contracts for mobile processes (2009) LNCS, 5710, pp. 11-228. , Bravetti, M., Zavattaro, G. (eds.) CONCUR 2009. Springer, Heidelberg
  • Chen, T.-C., Honda, K., Specifying stateful asynchronous properties for distributed programs (2012) LNCS, 7454, pp. 209-224. , Koutny, M., Ulidowski, I. (eds.) CONCUR 2012. Springer, Heidelberg
  • Crocker, D., (1982) Standard for the Format of Arpa Internet Text Messages, , www.ietf.org/rfc/rfc0822.txt, RFC 822 February
  • Dezani-Ciancaglini, M., De'Liguoro, U., Sessions and session types: An overview (2010) LNCS, 6194, pp. 1-28. , Laneve, C., Su, J. (eds.) WS-FM 2009. Springer, Heidelberg
  • Fu, X., Bultan, T., Su, J., Realizability of conversation protocols with message contents (2005) Int. J. Web Service Res., 2 (4), pp. 68-93
  • Gay, S., Hole, M., Subtyping for Session Types in the Pi-Calculus (2005) Acta Inf., 42 (2-3), pp. 191-225
  • Honda, K., Yoshida, N., Carbone, M., Multiparty asynchronous session types (2008) POPL
  • Kavantzas, N., Burdett, D., Ritzinger, G., Fletcher, T., Lafon, Y., (2004), http://www.w3.org/TR/2004/WD-ws-cdl-10-20041217; Lamport, L., Time, clocks, and the ordering of events in a distributed system (1978) CACM, 21 (7), pp. 558-564
  • Lanese, I., Guidi, C., Montesi, F., Zavattaro, G., Bridging the gap between interaction-and process-oriented choreographies (2008) SEFM
  • Lange, J., Tuosto, E., Synthesising choreographies from local session types (2012) LNCS, 7454, pp. 225-239. , Koutny, M., Ulidowski, I. (eds.) CONCUR 2012. Springer, Heidelberg
  • Lohmann, N., Wolf, K., Decidability results for choreography realization (2011) LNCS, 7084, pp. 92-107. , Kappel, G., Maamar, Z., Motahari-Nezhad, H.R. (eds.) Service Oriented Computing. Springer, Heidelberg
  • Milner, R., (1989) Communication and Concurrency, , Prentice Hall
  • Padovani, L., Fair subtyping for multi-party session types (2011) LNCS, 6721, pp. 127-141. , De Meuter, W., Roman, G.-C. (eds.) COORDINATION 2011. Springer, Heidelberg
  • Salaün, G., Bultan, T., Realizability of choreographies using process algebra encodings (2009) Integrated Formal Methods
  • Su, J., Bultan, T., Fu, X., Zhao, X., Towards a theory of Web service choreographies (2008) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 4937 LNCS, pp. 1-16. , DOI 10.1007/978-3-540-79230-7-1, Web Services and Formal Methods - 4th International Workshop, WS-FM 2007, ProceedingsA4 - CNRS; Grenoble INP; Inria; PERSYVAL-Lab and Universite Joseph Fourier; Springer-Verlag

Citas:

---------- APA ----------
Bocchi, L., Melgratti, H., Tuosto, E. & CNRS; Grenoble INP; Inria; PERSYVAL-Lab and Universite Joseph Fourier; Springer-Verlag (2014) . Resolving non-determinism in choreographies. 23rd European Symposium on Programming, ESOP 2014 - Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, 8410 LNCS, 493-512.
http://dx.doi.org/10.1007/978-3-642-54833-8_26
---------- CHICAGO ----------
Bocchi, L., Melgratti, H., Tuosto, E., CNRS; Grenoble INP; Inria; PERSYVAL-Lab and Universite Joseph Fourier; Springer-Verlag "Resolving non-determinism in choreographies" . 23rd European Symposium on Programming, ESOP 2014 - Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 8410 LNCS (2014) : 493-512.
http://dx.doi.org/10.1007/978-3-642-54833-8_26
---------- MLA ----------
Bocchi, L., Melgratti, H., Tuosto, E., CNRS; Grenoble INP; Inria; PERSYVAL-Lab and Universite Joseph Fourier; Springer-Verlag "Resolving non-determinism in choreographies" . 23rd European Symposium on Programming, ESOP 2014 - Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, vol. 8410 LNCS, 2014, pp. 493-512.
http://dx.doi.org/10.1007/978-3-642-54833-8_26
---------- VANCOUVER ----------
Bocchi, L., Melgratti, H., Tuosto, E., CNRS; Grenoble INP; Inria; PERSYVAL-Lab and Universite Joseph Fourier; Springer-Verlag Resolving non-determinism in choreographies. Lect. Notes Comput. Sci. 2014;8410 LNCS:493-512.
http://dx.doi.org/10.1007/978-3-642-54833-8_26