Reversible Choreographies via Monitoring in Erlang - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2018

Reversible Choreographies via Monitoring in Erlang

Adrian Francalanza
  • Function : Author
  • PersonId : 1024624
Emilio Tuosto
  • Function : Author
  • PersonId : 998110


We render a model advocating an extension of choreographies to describe reverse computation via monitoring. More precisely, our extension imbues the communication behaviour of multi-party protocols with minimal decorations specifying the conditions triggering monitor adaptations. We show how, from these extended global descriptions, one can (i) synthesise actors implementing the normal local behaviour of the system prescribed by the global graph, but also (ii) synthesise monitors that are able to coordinate a distributed rollback when certain conditions (denoting abnormal behaviour) are met.
Fichier principal
Vignette du fichier
469768_1_En_6_Chapter.pdf (374.6 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01824635 , version 1 (27-06-2018)





Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto. Reversible Choreographies via Monitoring in Erlang. 18th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2018, Madrid, Spain. pp.75-92, ⟨10.1007/978-3-319-93767-0_6⟩. ⟨hal-01824635⟩
57 View
61 Download



Gmail Facebook Twitter LinkedIn More