Skip to Main content Skip to Navigation
Reports

An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems

Abstract : This paper presents a model of session-based concurrency with constructs for runtime adaptation. Our model allows for the dynamic update of the behavior of communication-centric systems. We propose an event-based approach: adaptation requests, issued by the system or 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. An associated type system ensures communication safety and consistency properties: while the former guarantees absence of runtime communication errors, the latter ensures that update actions do not disrupt established sessions.
Complete list of metadata

Cited literature [5 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01093090
Contributor : Cinzia Di Giusto Connect in order to contact the contributor
Submitted on : Tuesday, December 16, 2014 - 11:18:02 AM
Last modification on : Thursday, January 20, 2022 - 10:42:02 AM
Long-term archiving on: : Monday, March 23, 2015 - 1:46:16 PM

File

eventadapt-post-long.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01093090, version 1

Collections

Citation

Cinzia Di Giusto, Jorge A. Perez. An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems. [Research Report] Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe BIOINFO MDSC - Modèles Discrets pour les Systèmes Complexes; Johann Bernoulli Institute for Mathematics and Computer Science, University of Groeningen. 2014. ⟨hal-01093090⟩

Share

Metrics

Les métriques sont temporairement indisponibles