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

Ijaz Uddin,Hafiz Mahfooz Ul Haque,Abdur Rakib

doi:10.1007/s11036-017-0808-y

Ijaz Uddin, Hafiz Mahfooz Ul Haque + Show 1 more

Open Access

https://doi.org/10.1007/s11036-017-0808-y

Copy DOI

Abstract

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.

Highlights

StudyThe rapid development of mobile technologies and new research in pervasive computing have sparked a renewed interest in context-aware applications
Reasoning techniques help to realise the adaptation of an application to the changing environment and to infer higher level contextual information from sensed or available low level contextual information
In [12], we developed a logical framework for resource-bounded contextaware multi-agent systems which handles inconsistent context information using non-monotonic reasoning, the framework was not implemented using smart devices

Summary

Introduction

StudyThe rapid development of mobile technologies and new research in pervasive computing have sparked a renewed interest in context-aware applications. Where the rules used in the reasoning process can be user defined and/or ontological It shows the methodology from context acquisition till expression in resource saving manner and the model has the capacity for re-usability. In our previous work [12, 17], we have shown that ontological and logic based approach is a good way for modelling context-aware systems, and it allows us to model context-aware systems as rule-based reasoning agents. A framework that may cover all the aspects of context-aware applications in mobile platforms, including methodology, language, inference engine and communication mechanisms. Development of such a framework may be beneficial both to the developers and researchers [18]. When we need the latest updates and especially as in our case access to the sensors and their support, using these tools may not be a good option [22]

Objectives

Methods

Conclusion