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.
Type de document :
Rapport
[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
Liste complète des métadonnées


https://hal.archives-ouvertes.fr/hal-01093090
Contributeur : Cinzia Di Giusto <>
Soumis le : mardi 16 décembre 2014 - 11:18:02
Dernière modification le : vendredi 16 septembre 2016 - 15:17:35
Document(s) archivé(s) le : lundi 23 mars 2015 - 13:46:16

Fichier

eventadapt-post-long.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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>

Partager

Métriques

Consultations de
la notice

126

Téléchargements du document

128