search
Include:
1 Research products, page 1 of 1

Relevance
arrow_drop_down
  • Publication . Part of book or chapter of book . Article . 2018
    Open Access English
    Authors: 
    Adrian Francalanza; Claudio Antares Mezzina; Emilio Tuosto;
    Publisher: Zenodo
    Project: EC | BEHAPI (778233)

    International audience; 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.

Include:
1 Research products, page 1 of 1
  • Publication . Part of book or chapter of book . Article . 2018
    Open Access English
    Authors: 
    Adrian Francalanza; Claudio Antares Mezzina; Emilio Tuosto;
    Publisher: Zenodo
    Project: EC | BEHAPI (778233)

    International audience; 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.

Send a message
How can we help?
We usually respond in a few hours.