Reversible Choreographies via Monitoring in Erlang - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Reversible Choreographies via Monitoring in Erlang

Adrian Francalanza
  • Fonction : Auteur
  • PersonId : 1024624
Emilio Tuosto
  • Fonction : Auteur
  • PersonId : 998110

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Licence

Paternité

Identifiants

Citer

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⟩
66 Consultations
65 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More