Self-adaptive multiparty sessions

• DOI: 10.1007/s11761-014-0171-9
• Publication Date: 2014-12-05T14:36:58Z
• Authors: Mario Coppo; Mariangiola Dezan...; Betti Venneri
• Keywords: 0202 electrical engineering, electronic engineering, information engineering; Session Types, Adaptive Systems; 02 engineering and technology; 16. Peace & justice

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. When the global type is dynamically updated, its projections define new monitors, which set-up novel communication protocols for the participants. The key result of this paper is that self-adaptations are performed in a type-safe way, while providing a high degree of flexibility. Subject Reduction and Progress properties are proven: any session executes all required communications in a type-safe way and never gets stuck.