A BRS-Based Modeling Approach for Context-Aware Systems: A Case Study of Smart Car System

Context-aware systems are an emerging class of mobile computing systems aiming to provide ubiquitous access to information, communication and computation. These systems are able to sense and adapt automatically to the current environmental context. In this paper, we present a formal approach based on bigraphical reactive systems for modeling the main features of context-aware systems. The proposed formalism provides a clear separation between the part of the system which is affected by the context and the remaining part. In order to illustrate its potential, we apply our approach through a detailed case study of a smart car system.