Reversible Choreographies via Monitoring in Erlang - Distributed Applications and Interoperable Systems
Conference Papers Year : 2018

Reversible Choreographies via Monitoring in Erlang

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

Abstract

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)
Loading...

Dates and versions

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

Licence

Identifiers

Cite

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⟩
79 View
88 Download

Altmetric

Share

More