Resolving Non-determinism in Choreographies

Autores
Bocchi, Laura; Melgratti, Hernan Claudio; Tuosto, Emilio
Año de publicación
2014
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
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.
Fil: Bocchi, Laura. Imperial College London; Reino Unido
Fil: Melgratti, Hernan Claudio. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Fil: Tuosto, Emilio. University of Leicester; Reino Unido
Materia
Concurrencia
Local Type
Typing Rule
Denotational Semantic
Conditional Simulation
Session Type
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
CONICET Digital (CONICET)
Institución
Consejo Nacional de Investigaciones Científicas y Técnicas
OAI Identificador
oai:ri.conicet.gov.ar:11336/41627

id CONICETDig_b426f0be51552c36c65f8e991f06141a
oai_identifier_str oai:ri.conicet.gov.ar:11336/41627
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling Resolving Non-determinism in ChoreographiesBocchi, LauraMelgratti, Hernan ClaudioTuosto, EmilioConcurrenciaLocal TypeTyping RuleDenotational SemanticConditional SimulationSession Typehttps://purl.org/becyt/ford/1.2https://purl.org/becyt/ford/1Resolving 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.Fil: Bocchi, Laura. Imperial College London; Reino UnidoFil: Melgratti, Hernan Claudio. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Tuosto, Emilio. University of Leicester; Reino UnidoSpringer2014-04info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/41627Bocchi, Laura; Melgratti, Hernan Claudio; Tuosto, Emilio; Resolving Non-determinism in Choreographies; Springer; Lecture Notes in Computer Science; 8410; 4-2014; 493-5120302-9743CONICET DigitalCONICETenginfo:eu-repo/semantics/altIdentifier/url/https://link.springer.com/chapter/10.1007/978-3-642-54833-8_26info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-54833-8_26info:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-09-29T10:36:36Zoai:ri.conicet.gov.ar:11336/41627instacron:CONICETInstitucionalhttp://ri.conicet.gov.ar/Organismo científico-tecnológicoNo correspondehttp://ri.conicet.gov.ar/oai/requestdasensio@conicet.gov.ar; lcarlino@conicet.gov.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:34982025-09-29 10:36:36.585CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv Resolving Non-determinism in Choreographies
title Resolving Non-determinism in Choreographies
spellingShingle Resolving Non-determinism in Choreographies
Bocchi, Laura
Concurrencia
Local Type
Typing Rule
Denotational Semantic
Conditional Simulation
Session Type
title_short Resolving Non-determinism in Choreographies
title_full Resolving Non-determinism in Choreographies
title_fullStr Resolving Non-determinism in Choreographies
title_full_unstemmed Resolving Non-determinism in Choreographies
title_sort Resolving Non-determinism in Choreographies
dc.creator.none.fl_str_mv Bocchi, Laura
Melgratti, Hernan Claudio
Tuosto, Emilio
author Bocchi, Laura
author_facet Bocchi, Laura
Melgratti, Hernan Claudio
Tuosto, Emilio
author_role author
author2 Melgratti, Hernan Claudio
Tuosto, Emilio
author2_role author
author
dc.subject.none.fl_str_mv Concurrencia
Local Type
Typing Rule
Denotational Semantic
Conditional Simulation
Session Type
topic Concurrencia
Local Type
Typing Rule
Denotational Semantic
Conditional Simulation
Session Type
purl_subject.fl_str_mv https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
dc.description.none.fl_txt_mv 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.
Fil: Bocchi, Laura. Imperial College London; Reino Unido
Fil: Melgratti, Hernan Claudio. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Fil: Tuosto, Emilio. University of Leicester; Reino Unido
description 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.
publishDate 2014
dc.date.none.fl_str_mv 2014-04
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/11336/41627
Bocchi, Laura; Melgratti, Hernan Claudio; Tuosto, Emilio; Resolving Non-determinism in Choreographies; Springer; Lecture Notes in Computer Science; 8410; 4-2014; 493-512
0302-9743
CONICET Digital
CONICET
url http://hdl.handle.net/11336/41627
identifier_str_mv Bocchi, Laura; Melgratti, Hernan Claudio; Tuosto, Emilio; Resolving Non-determinism in Choreographies; Springer; Lecture Notes in Computer Science; 8410; 4-2014; 493-512
0302-9743
CONICET Digital
CONICET
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/https://link.springer.com/chapter/10.1007/978-3-642-54833-8_26
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-54833-8_26
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv Springer
publisher.none.fl_str_mv Springer
dc.source.none.fl_str_mv reponame:CONICET Digital (CONICET)
instname:Consejo Nacional de Investigaciones Científicas y Técnicas
reponame_str CONICET Digital (CONICET)
collection CONICET Digital (CONICET)
instname_str Consejo Nacional de Investigaciones Científicas y Técnicas
repository.name.fl_str_mv CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicas
repository.mail.fl_str_mv dasensio@conicet.gov.ar; lcarlino@conicet.gov.ar
_version_ 1844614386837094400
score 13.070432