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

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.

[1]  Abdur Rakib,et al.  Modeling and verifying context-aware non-monotonic reasoning agents , 2015, 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE).

[2]  Abdur Rakib,et al.  A Formal Approach to Modelling and Verifying Resource-Bounded Context-Aware Agents , 2012, ICCASA.

[3]  Ondřej Chrastina.  Cross-platform development of smartphone application with the Kivy framework , 2016 .

[4]  Luca Catarinucci,et al.  A framework for context-aware home-health monitoring , 2008, Int. J. Auton. Adapt. Commun. Syst..

[5]  Charles L. Forgy,et al.  Rete: a fast algorithm for the many pattern/many object pattern match problem , 1991 .

[6]  Dana Petcu,et al.  Distributed Jess on a Condor pool , 2005 .

[7]  Jakob E. Bardram,et al.  A context-aware patient safety system for the operating room , 2008, UbiComp.

[8]  Andy Hopper,et al.  The active badge location system , 1992, TOIS.

[9]  Sandeep K. Shukla,et al.  Formal Methods and Models for System Design , 2004, Springer US.

[10]  Michael Wooldridge,et al.  Introduction to multiagent systems , 2001 .

[11]  Fabio Sartori,et al.  A Conceptual and Computational Model for Knowledge-based Agents in ANDROID , 2013, WOA@AI*IA.

[12]  Edgar R. Weippl,et al.  Guess Who's Texting You? Evaluating the Security of Smartphone Messaging Applications , 2012, NDSS.

[13]  Gregory D. Abowd,et al.  Towards a Better Understanding of Context and Context-Awareness , 1999, HUC.

[14]  Abdur Rakib,et al.  A Logic for Context-Aware Non-monotonic Reasoning Agents , 2014, MICAI.

[15]  Shunichi Tano,et al.  Forgy-" Rete : A Fast Algorithm for the Many Pattern MMany Object Pattern Match Problem , 2017 .

[16]  Xiaojing Zhang,et al.  Sensors in Smart Phone , 2010, CCTA.

[17]  Herman J. ter Horst,et al.  Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary , 2005, J. Web Semant..

[18]  Vasile-Marian Scuturici,et al.  An Ontology-Based Approach to Context Modeling and Reasoning in Pervasive Computing , 2007, Fifth Annual IEEE International Conference on Pervasive Computing and Communications Workshops (PerComW'07).

[19]  Wallace Jackson,et al.  Android Apps for Absolute Beginners , 2014, Apress.

[20]  Ian Horrocks,et al.  Description logic programs: combining logic programs with description logic , 2003, WWW '03.

[21]  Daqing Zhang,et al.  Toward a cooperative programming framework for context-aware applications , 2011, Personal and Ubiquitous Computing.

[22]  Jorge Gonçalves,et al.  Monetary Assessment of Battery Life on Smartphones , 2016, CHI.

[23]  Mika Raento,et al.  ContextPhone: a prototyping platform for context-aware mobile applications , 2005, IEEE Pervasive Computing.

[24]  Arkady B. Zaslavsky,et al.  Context Aware Computing for The Internet of Things: A Survey , 2013, IEEE Communications Surveys & Tutorials.

[25]  M. Ughetti,et al.  Development of Agent-Based, Peer-to-Peer Mobile Applications on ANDROID with JADE , 2008, 2008 The Second International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies.

[26]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[27]  Gregory D. Abowd,et al.  The context toolkit: aiding the development of context-enabled applications , 1999, CHI '99.

[28]  Michael Rohs,et al.  The smart phone: a ubiquitous input device , 2006, IEEE Pervasive Computing.

[29]  Abdur Rakib,et al.  A Temporal Description Logic for Resource-Bounded Rule-Based Context-Aware Agents , 2013, ICCASA.

[30]  Henri E. Bal,et al.  ContextDroid: an Expression-Based Context Framework for Android , 2010 .

[31]  Grzegorz J. Nalepa,et al.  Rule-based solution for context-aware reasoning on mobile devices , 2014, Comput. Sci. Inf. Syst..