Title: A bigraph-based framework for specification and analysis of context-aware systems

 

Author: Taha Abdelmoutaleb Cherfia; Faïza Belala; Kamel Barkaoui

 

Addresses:
LIRE Laboratory, Software Technologies and Information Systems Department, Constantine 2 University, Algeria
LIRE Laboratory, Software Technologies and Information Systems Department, Constantine 2 University, Algeria
Laboratoire CEDRIC, Conservatoire Nationale des Arts et Métiers, CNAM, Paris CEDEX 03, France

 

Journal: Int. J. of Critical Computer-Based Systems, 2016 Vol.6, No.4, pp.322 - 342

 

Abstract: Context-aware systems refer to a particular class of ubiquitous computing in which, systems are able to sense environmental information and adapt their behaviour accordantly. However, the key challenge in the ubiquitous computing lies in providing a consistent model in order to deal with the increasing complexity and variety of context-aware systems. In this paper, we present a rigorous approach based on bigraphical reactive systems for modelling the main features of context-aware systems. The proposed approach provides a clear separation between the part of the system which is affected by the context and the remaining part. Moreover, it is equipped with a domain-specific tool, so-called BigCAS-Tool, which supports the modelling and execution of context-aware systems models. BigCAS-Tool features and capabilities are illustrated through a case study of a traffic sign recognition system.

 

Keywords: bigraphical reactive systems; BRS; BigCAS-Tool; modelling; verification; context-aware systems; traffic sign recognition; ubiquitous computing; context awareness; reconfiguration; structural composition; model checking; reachability analysis; traffic signs.

 

DOI: http://dx.doi.org/10.1504/IJCCBS.2016.081808

 

Available online 25 Jan 2017

 

 

Editors Full Text AccessAccess for SubscribersPurchase this articleComment on this article