An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems - Archive ouverte HAL
Rapport (Rapport De Recherche) Année : 2014

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

Résumé

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 (312.64 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-01093090 , version 1

Citer

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⟩
250 Consultations
214 Téléchargements

Partager

More