Abstract-This paper aims at incorporating the notion of selfadaptiveness in the context of multiparty sessions, by focusing on the issue of ensuring correctness for dynamic adaptations. A formal framework is presented centred around these main ingredients: global types, monitors and global state. A global type represents the overall communication choreography. Its projections are the monitors, which set-up the protocols of the participants. The association of a monitor with a compliant process incarnates a single participant. It is the choreography that is updated at runtime, in response to changing conditions in the global state. Monitors result to be self-adaptive in the sense that they react to these changes by modifying themselves, in order to prescribe new behaviours to the participants.
For instance, in REF , a formal framework dealing with self-adaptation in the context of choreographies is proposed.
Self-Adaptive Monitors for Multiparty Sessions
2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing
2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing
Computer Science