The Space and Motion of Communicating Agents
The Space and Motion of Communicating Agents
Bigraphical models of context-aware systems
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Formalizing the Structure and Behaviour of Context-Aware Systems in Bigraphs
SSNE '11 Proceedings of the 2011 First ACIS International Symposium on Software and Network Engineering
BigActors: a model for structure-aware computation
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems
| Hi-index | 0.00 |
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.