INVESTIGADORES
MELGRATTI Hernan Claudio
artículos
Título:
Resolving Non-determinism in Choreographies
Autor/es:
BOCCHI, LAURA; HERNÁN MELGRATTI; EMILIO TUOSTO
Revista:
LECTURE NOTES IN COMPUTER SCIENCE
Editorial:
Springer
Referencias:
Año: 2014
ISSN:
0302-9743
Resumen:
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.
