An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems
This paper presents a model of session-based concurrency with mechanisms for runtime adaptation. Thus, our model allows to specify communication-centric systems whose session behavior can be dynamically updated at runtime. We propose an event-based approach: adaptation requests, issued by the system itself or by its environment, are assimilated to events which may trigger runtime adaptation routines. Based on type-directed checks, these routines naturally enable the reconfiguration of processes with active sessions. We develop a type system that ensures communication safety and consistency properties: while the former guarantees absence of runtime communication errors, the latter ensures that update actions do not disrupt already established sessions.
KeywordsAsynchronous Communication Active Session Session Type Dynamic Reconfiguration Reduction Semantic
We are grateful to Ilaria Castellani, Mariangiola Dezani-Ciancaglini, and the anonymous reviewers for useful remarks. This research was partially supported by COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems.
- 3.Coppo, M., Dezani-Ciancaglini, M., Venneri, B.: Self-adaptive monitors for multiparty sessions. In: PDP 2014, pp. 688–696. IEEE (2014)Google Scholar
- 4.Di Giusto, C., Pérez, J.A.: Session types with runtime adaptation: Overview and examples. In: PLACES. EPTCS, vol. 137, pp. 21–32 (2013)Google Scholar
- 5.Di Giusto, C., Perez, J.A.: An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems. Research report, December 2014. https://hal.archives-ouvertes.fr/hal-01093090
- 11.Kouzapas, D.: A Study of Bisimulation Theory for Session Types. Ph.D. thesis, Imperial College London (2012)Google Scholar