%0 Conference Proceedings
%T Reversible Choreographies via Monitoring in Erlang
%+ University of Malta [Malta]
%+ IMT Institute for Advanced Studies [Lucca]
%+ University of Leicester
%A Francalanza, Adrian
%A Mezzina, Claudio, Antares
%A Tuosto, Emilio
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 18th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS)
%C Madrid, Spain
%Y Silvia Bonomi
%Y Etienne Rivière
%I Springer International Publishing
%3 Distributed Applications and Interoperable Systems
%V LNCS-10853
%P 75-92
%8 2018-06-18
%D 2018
%R 10.1007/978-3-319-93767-0_6
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01824635/document
%2 https://inria.hal.science/hal-01824635/file/469768_1_En_6_Chapter.pdf
%L hal-01824635
%U https://inria.hal.science/hal-01824635
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-DAIS
%~ IFIP-DISCOTEC
%~ IFIP-LNCS-10853