Towards a bigraph-based model for context-aware adaptive systems

Abstract

In the last decade, context-aware computing has become the central focus of the ubiquitous computing where computers disappear in the background of people's everyday life activities. Context-aware adaptive systems are able to adapt themselves according to the gathered context information. In this context, many approaches have been proposed in order to model the former systems but only few of them tackle at the same time all the features of these systems. This paper presents a formal modeling approach based on Bigraphical Reactive Systems to deal with both the structural and behavioral aspects of context-aware adaptive systems. It provides a clear separation between the context-aware information that affect the system and the system itself. Indeed, we specify the context and the system using two distinct bigraphs, then we combine them using the bigraphs composition operation to represent the whole system. © 2013 Springer-Verlag.