This paper presents a formal framework of self-adaptation for multiparty sessions. The key technical novelty of the calculus is the parallel operator for building global types and monitors, which allows the adaptation procedure to be rather flexible. The smart session is able to minimise its adaptation, by partially reconfiguring some of the communications and leaving all others unchanged, in case a part of the whole behaviour only needs to be modified. As a main result, we prove that this adaptation mechanism is safe, in order to guarantee that the communications will continue to evolve in a correct way after reconfiguration.

Data-driven Adaptation for Smart Sessions / Bono, V.; Coppo, M.; Dezani-Ciancaglini, M.; Venneri, B.. - In: THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING. - ISSN 2352-2208. - STAMPA. - 90C:(2017), pp. 31-49. [10.1016/j.jlamp.2017.02.007]

Data-driven Adaptation for Smart Sessions

VENNERI, BATTISTINA
2017

Abstract

This paper presents a formal framework of self-adaptation for multiparty sessions. The key technical novelty of the calculus is the parallel operator for building global types and monitors, which allows the adaptation procedure to be rather flexible. The smart session is able to minimise its adaptation, by partially reconfiguring some of the communications and leaving all others unchanged, in case a part of the whole behaviour only needs to be modified. As a main result, we prove that this adaptation mechanism is safe, in order to guarantee that the communications will continue to evolve in a correct way after reconfiguration.
2017
90C
31
49
Bono, V.; Coppo, M.; Dezani-Ciancaglini, M.; Venneri, B.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/1087512
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? 2
social impact