To model the notion of self-adaptiveness for multiparty sessions, we propose a formal framework, where participants can access and modify the global state, in such a way that the whole system can react promptly to unforeseen events by reconfiguring itself. The adaptation strategy is triggered by the overall communication choreography, represented by a global type.
Self-adaptive multiparty sessions / Coppo, M.; Dezani-Ciancaglini, M.; Venneri, B.. - In: SERVICE ORIENTED COMPUTING AND APPLICATIONS. - ISSN 1863-2386. - STAMPA. - 9:(2015), pp. 249-268. [10.1007/s11761-014-0171-9]
Self-adaptive multiparty sessions
VENNERI, BATTISTINA
2015
Abstract
To model the notion of self-adaptiveness for multiparty sessions, we propose a formal framework, where participants can access and modify the global state, in such a way that the whole system can react promptly to unforeseen events by reconfiguring itself. The adaptation strategy is triggered by the overall communication choreography, represented by a global type.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
3.SOCAonline.pdf
Accesso chiuso
Descrizione: Articolo Principale
Tipologia:
Pdf editoriale (Version of record)
Licenza:
Tutti i diritti riservati
Dimensione
602.52 kB
Formato
Adobe PDF
|
602.52 kB | Adobe PDF | Richiedi una copia |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.