Skip to Main content Skip to Navigation
Conference papers

A Symmetric Compositional Approach for Adaptive Ubiquitous Systems

Abstract : 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
Complete list of metadatas

Cited literature [17 references]  Display  Hide  Download
Contributor : Stéphane Lavirotte <>
Submitted on : Wednesday, July 6, 2016 - 5:53:23 PM
Last modification on : Tuesday, May 26, 2020 - 6:50:34 PM
Document(s) archivé(s) le : Friday, October 7, 2016 - 2:17:50 PM


CSE (1).pdf
Files produced by the author(s)


Distributed under a Creative Commons Attribution - NonCommercial - NoDerivatives 4.0 International License


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



Record views


Files downloads