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.
CITATION STYLE
Francalanza, A., Mezzina, C. A., & Tuosto, E. (2018). Reversible choreographies via monitoring in erlang. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10853 LNCS, pp. 75–92). Springer Verlag. https://doi.org/10.1007/978-3-319-93767-0_6
Mendeley helps you to discover research relevant for your work.