A Symmetric Compositional Approach for Adaptive Ubiquitous Systems - Archive ouverte HAL Access content directly
Conference Papers Year : 2012

A Symmetric Compositional Approach for Adaptive Ubiquitous Systems


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
Origin : Files produced by the author(s)

Dates and versions

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


Attribution - NonCommercial - NoDerivatives


  • HAL Id : hal-01330493 , version 1


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⟩
451 View
69 Download


Gmail Facebook Twitter LinkedIn More