DocumentCode :
3520042
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
fYear :
2010
fDate :
5-8 July 2010
Firstpage :
431
Lastpage :
436
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Digital Information Management (ICDIM), 2010 Fifth International Conference on
Conference_Location :
Thunder Bay, ON
Print_ISBN :
978-1-4244-7572-8
Type :
conf
DOI :
10.1109/ICDIM.2010.5663468
Filename :
5663468
Link To Document :
بازگشت