An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems - Archive ouverte HAL Access content directly
Reports (Research Report) Year : 2014

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.
Fichier principal
Vignette du fichier
eventadapt-post-long.pdf (487.81 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01093090 , version 1 (16-12-2014)

Identifiers

  • HAL Id : hal-01093090 , version 1

Cite

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⟩
218 View
188 Download

Share

Gmail Facebook X LinkedIn More