JOURNAL ARTICLE

Model Checking Pervasive Context-Aware Systems

Abstract

Many approaches on context-aware systems specification have been proposed in the literature. However, the absence or poor representation of contextual information and its relationships with system entities in these approaches usually leads to low-precision and irrelevant results. The aim of this paper is to promote the ability to specify and verify context-aware systems. Our proposed modeling methodology exploits Maude reflection and meta-programming to define a domain specific language for context-aware systems specification and adopts Maude model checker to verify system inherent properties. Moreover, a runtime environment implementing the proposed model is developed for pervasive context-aware systems execution.

Keywords:
Computer science Context (archaeology) Reflection (computer programming) Domain (mathematical analysis) Ubiquitous computing Exploit Model checking Context model Programming language Representation (politics) Human–computer interaction Software engineering Distributed computing Artificial intelligence Computer security

Metrics

6
Cited By
0.96
FWCI (Field Weighted Citation Impact)
15
Refs
0.80
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

Context-Aware Activity Recognition Systems
Physical Sciences →  Computer Science →  Computer Vision and Pattern Recognition
Formal Methods in Verification
Physical Sciences →  Computer Science →  Computational Theory and Mathematics
Real-Time Systems Scheduling
Physical Sciences →  Computer Science →  Hardware and Architecture

Related Documents

BOOK

Context-Aware Pervasive Systems

Seng W. Loke

Auerbach Publications eBooks Year: 2006
BOOK

Context-Aware Pervasive Systems

Seng W. Loke

Auerbach Publications eBooks Year: 2006
BOOK-CHAPTER

Context-Aware Pervasive Systems

Parikshit N. MahallePrashant Dhotre

Intelligent systems reference library Year: 2019 Pages: 49-66
BOOK-CHAPTER

Constructing Context-Aware Pervasive Systems

Auerbach Publications eBooks Year: 2006 Pages: 189-206
JOURNAL ARTICLE

Autonomic Pervasive and Context-Aware Systems

David LewisSimon Dobson

Journal:   Journal of Network and Systems Management Year: 2007 Vol: 15 (1)Pages: 1-3
© 2026 ScienceGate Book Chapters — All rights reserved.