Name
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. |
Year | DOI | Venue |
|---|---|---|
2012 | 10.1109/ICCSE.2012.38 | C3S2E |
Keywords | Field | DocType |
dynamic variation,software service,symmetric compositional approach,adaptive ubiquitous systems,software infrastructure,heterogeneous smart-devices,adaptation entity,composition process,software infrastructure change,formal approach,compositional adaptation,formal model,ubiquitous computing | Graph,Ubiquitous systems,Computer science,Software,Interference management,Graph rewriting,Adaptive software,Ubiquitous computing,Merge (version control),Distributed computing | Conference |
ISSN | Citations | PageRank |
1949-0828 | 0 | 0.34 |
References | Authors | |
8 | 5 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Sana Fathallah Ben Abdenneji | 1 | 2 | 0.75 |
| stephane lavirotte | 2 | 192 | 23.65 |
| Jean-Yves Tigli | 3 | 156 | 25.59 |
| Gaetan Rey | 4 | 11 | 1.87 |
| michel riveill | 5 | 398 | 54.88 |