Title :
Formal model for analysis of context dependencies in ubiquitous systems
Author :
Baloch, Raheel Ali ; Crespi, Noel
Author_Institution :
RS2M Dept., Inst. Telecom SudParis, Evry, France
Abstract :
To provide the user with most benefits and personalized services using the available computing resources in ad-hoc networks, context-aware applications need to assimilate both the accessed and derived context information in the network. Derived context is inherently dependent upon sensed data or/and other context information. Context dependency may get introduced in a system due to various reasons, but as the number of context dependencies for an application increases, the more complex the process becomes to develop and maintain such an application. Due to highly dynamic nature of mobile agents in an ad-hoc network, too many context dependencies can severely affect the performance of a context-aware application. Reducing context dependencies or providing alternative context sources is crucial for performance gains in context-aware applications. But before addressing the issues of context dependency, we reckon that a formal analysis of context dependencies is required to better understand the problem. It will be much easier to understand, develop and maintain a context application if we have knowledge of its context dependencies. So, we define in this paper a formal model of context dependencies in a pervasive environment.
Keywords :
formal verification; mobile ad hoc networks; mobile agents; ubiquitous computing; ad-hoc networks; computing resources; context dependencies; context-aware applications; formal analysis; formal model; mobile agents; personalized services; pervasive environment; ubiquitous systems; Ad hoc networks; Context; Context modeling; Context-aware services; Mobile handsets; Sensors; Unified modeling language; Context aware; context dependency; formal model; pervasive systems; ubiquitous systems;
Conference_Titel :
Digital Information Management (ICDIM), 2010 Fifth International Conference on
Conference_Location :
Thunder Bay, ON
Print_ISBN :
978-1-4244-7572-8
DOI :
10.1109/ICDIM.2010.5663468