A framework for implementing formally verified resource-bounded smart space systems

Uddin, Ijaz; Rakib, Abdur; Haque, Hafiz Mahfooz Ul

Abstract

© 2017, Springer Science+Business Media New York. 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.

Citation

Uddin, I., Rakib, A., & Haque, H. M. U. (2017). A framework for implementing formally verified resource-bounded smart space systems. Mobile Networks and Applications, 22(2), 289-304. https://doi.org/10.1007/s11036-017-0808-y

• Journal Article Type: Article
• Acceptance Date: Dec 10, 2016
• Online Publication Date: Jan 26, 2017
• Publication Date: Apr 1, 2017
• Deposit Date: Jun 16, 2017
• Publicly Available Date: Jun 16, 2017
• Journal: Mobile Networks and Applications
• Print ISSN: 1383-469X
• Electronic ISSN: 1572-8153
• Publisher: Springer Verlag
• Peer Reviewed: Peer Reviewed
• Volume: 22
• Issue: 2
• Pages: 289-304
• DOI: https://doi.org/10.1007/s11036-017-0808-y
• Keywords: context-awareness, resource-bounded agents, rule-based reasoning, non-monotonic reasoning, Android SDK
• Public URL: https://uwe-repository.worktribe.com/output/899624
• Publisher URL: http://dx.doi.org/10.1007/s11036-017-0808-y
• Related Public URLs: https://link.springer.com/article/10.1007%2Fs11036-017-0808-y