Back to Search
Start Over
On the consistency of context-aware systems.
- Source :
- Journal of Intelligent & Fuzzy Systems; 2018, Vol. 34 Issue 5, p3373-3383, 11p
- Publication Year :
- 2018
-
Abstract
- Context-aware systems are ubiquitous computing systems capable to adapt themselves to a dynamically changing environment. Ensuring consistency in context-aware systems has proved a challenging task due to the inherent expressive power required to model dynamical systems. In the current work, we propose the use of the <italic>μ</italic>-calculus with converse, an expressive modal logic, for modeling and verifying consistency. In particular, we propose a consistency model for a context-aware communication system. Consistency is tested in terms of the satisfiability of a <italic>μ</italic>-calculus formula. We show this consistency verification method is correct and a complexity analysis is provided. We also describe an implementation with several experiments. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 10641246
- Volume :
- 34
- Issue :
- 5
- Database :
- Complementary Index
- Journal :
- Journal of Intelligent & Fuzzy Systems
- Publication Type :
- Academic Journal
- Accession number :
- 129968568
- Full Text :
- https://doi.org/10.3233/JIFS-169518