Artículos de revistas
Resolving Non-determinism in Choreographies
Fecha
2014-04Registro en:
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
Autor
Bocchi, Laura
Melgratti, Hernan Claudio
Tuosto, Emilio
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.