A Framework for Implementing Formally Verified Resource-Bounded Smart Space Systems

Ijaz Uddin, Abdur Rakib, Hafiz Mahfooz Ul Haque

Research output: Contribution to journalArticlepeer-review

9 Citations (Scopus)


Context-aware computing is a mobile computing paradigm that helps designing and implementing next generation smart applications, where personalized devices interact with users in smart environments. Development of such applications is inherently complex due to these applications adapt to changing contextual information and they often run on resource-bounded devices. Most of the existing context-aware development frameworks are centralized, adopt client–server architecture, and do not consider resource limitations of context-aware devices. This paper presents a systematic framework to modelling and implementation of resource-bounded multi-agent context-aware systems on Android devices. The proposed framework makes use of semantic technologies for context modelling and reasoning about resource-bounded context-aware agents, Android powered smartphones as development platform, a suitable communication model and declarative rule-based programming as a preferred development language.
Original languageEnglish
Pages (from-to)289–304
JournalMobile Networks and Applications
Issue number2
Early online date26 Jan 2017
Publication statusPublished - 26 Apr 2017
Externally publishedYes


This work is partially supported by the Ministry of Science, Technology and Innovation (MOSTI), Govt. of Malaysia [grant 01-02-12-SF0269].


  • Context-awareness
  • Resource-bounded agents
  • Rule-based reasoning
  • Non-monotonic reasoning
  • Android SDK


Dive into the research topics of 'A Framework for Implementing Formally Verified Resource-Bounded Smart Space Systems'. Together they form a unique fingerprint.

Cite this