A Symmetric Compositional Approach for Adaptive Ubiquitous Systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

A Symmetric Compositional Approach for Adaptive Ubiquitous Systems

Résumé

In ubiquitous computing, systems evolve surrounded by a heterogeneous smart-devices and software services, offering functionalities that enable new applications to be created. In such system, we need to consider the unpredictability of software infrastructure changes. To tackle the issue of the dynamic variation of the software infrastructure, compositional adaptation is now often used. The problem is that adaptation entities are independent-written. In such case, they may interfere when they are composed. In this paper, we propose a formal approach that allows composing applications at run time and managing these interferences. The formal model of the system and adaptations are defined in term of graphs. In particular, we demonstrate the symmetry property of our composition process
Fichier principal
Vignette du fichier
CSE (1).pdf (346.43 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01330493 , version 1 (06-07-2016)

Licence

Paternité - Pas d'utilisation commerciale - Pas de modification

Identifiants

  • HAL Id : hal-01330493 , version 1

Citer

Sana Fathallah Ben Abdenneji, Stéphane Lavirotte, Jean-Yves Tigli, Gaëtan Rey, Michel Riveill. A Symmetric Compositional Approach for Adaptive Ubiquitous Systems. The 15th IEEE International Conference on Computational Science and Engineering, IEEE Computer Society, Dec 2012, Pharos, Cyprus. ⟨hal-01330493⟩
456 Consultations
72 Téléchargements

Partager

Gmail Facebook X LinkedIn More