Skip to main content
SpringerLink
Log in

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

  • Published:
Mobile Networks and Applications Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12

Similar content being viewed by others

Notes

  1. JSON-http://www.json.org/

References

  1. Motorola INC (1973) Motorola demonstrates portable telephone to be availabe for public use by 1976, April 3. Press Release from Motorola Inc.

  2. Ballagas R, Borchers J, Rohs M, Sheridan JG (2006) The smart phone: a ubiquitous input device. IEEE Pervasive Comput 5(1):70–77

    Article  Google Scholar 

  3. Schrittwieser S, Frühwirt P, Kieseberg P, Leithner M, Mulazzani M, Huber M, Weippl ER (2012) Guess who’s texting you? Evaluating the security of smartphone messaging applications. In: 19th annual network and distributed system security symposium

  4. Pei C, Guo H, Yang X, Wang Y, Zhang X, Ye H (2011) Sensors in smart phone. In: Computer and computing technologies in agriculture IV. Springer, pp 491–495

  5. Raento M, Oulasvirta A, Petit R, Contextphone HT (2005) A prototyping platform for context-aware mobile applications. IEEE Pervasive Comput 4(2):51–59

    Article  Google Scholar 

  6. Perera C, Zaslavsky AB, Christen P, Georgakopoulos D (2014) Context aware computing for the internet of things: a survey. IEEE IEEE Commun Surv Tutor 16(1):414–454

    Article  Google Scholar 

  7. Abowd GD, Dey AK, Brown PJ, Davies N, Smith M, Steggles P (1999) Towards a better understanding of context and context-awareness. In: Handheld and ubiquitous computing. Springer, pp 304–307

  8. Want R, Hopper A, Falcão V, Gibbons J (1992) The active badge location system. ACM Trans Inf Syst 10(1):91–102

    Article  Google Scholar 

  9. Salber D, Dey AK, Abowd GD (1999) The context toolkit: aiding the development of context-enabled applications. In: Proceedings of the SIGCHI conference on human factors in computing systems. ACM, New York, pp 434–441

  10. Bardram JE, Nørskov N (2008) A context-aware patient safety system for the operating room. In: Proceedings of the 10th international conference on ubiquitous computing, pp 272–281

  11. Wooldridge M (2009) An introduction to multiagent systems, 2nd edn. Wiley Publishing

  12. Rakib A, Ul Haque HM (2014) A logic for context-aware non-monotonic reasoning agents. In: Human-inspired computing and its applications. Springer, pp 453–471

  13. Esposito A, Tarricone L, Zappatore M, Catarinucci L, Colella R, DiBari A (2008) A framework for context-aware home-health monitoring. In: Ubiquitous intelligence and computing. Springer, pp 119–130

  14. Ejigu D, Scuturici M, Brunie L (2007) An ontology-based approach to context modeling and reasoning in pervasive computing. In: PerCom workshops’ 07. Fifth annual IEEE international conference on pervasive computing and communications workshops, 2007. IEEE, pp 14–19

  15. Guo B, Zhang D, Imai M (2011) Toward a cooperative programming framework for context-aware applications. Pers Ubiquit Comput 15(3):221–233

    Article  Google Scholar 

  16. Rakib A, Faruqui RU (2013) A formal approach to modelling and verifying resource-bounded context-aware agents. In: Context-aware systems and applications. Springer, pp 86–96

  17. Rakib A, Ul Haque H M, Faruqui RU (2014) A temporal description logic for resource-bounded rule-based context-aware agents. In: Context-aware systems and applications. Springer, pp 3–14

  18. Nalepa G J, Bobek Szymon (2014) Rule-based solution for context-aware reasoning on mobile devices. Comput Sci Inf Syst 11(1):171–193

    Article  Google Scholar 

  19. Sartori F, Manenti L, Grazioli L (2013) A conceptual and computational model for knowledge-based agents in android. WOA@ AI* IA 2013:41–46

    Google Scholar 

  20. Ughetti M, Trucco T, Gotta D (2008) Development of agent-based, peer-to-peer mobile applications on android with jade. In: The second international conference on mobile ubiquitous computing, systems, services and technologies, 2008. UBICOMM’08, pp 287–294. IEEE

  21. van Wissen B, Palmer N, Kemp R, Kielmann T, Bal H (2010) ContextDroid: an expression-based context framework for android. In: Proceedings of the international workshop on sensing for App Phones (PhoneSense) 2010, pp 1–5

  22. Chrastina BcO (2015) Cross-platform development of smartphone application with the kivy framework. Master’s thesis, Masarykova univerzita, Fakulta informatiky

  23. Hosio S, Ferreira D, Goncalves J, van Berkel N, Luo C, Ahmed M, Flores H, Kostakos V (2016) Monetary assessment of battery life on smartphones. In: Proceedings of the 2016 CHI conference on human factors in computing systems. ACM, pp 1869–1880

  24. ter Horst HJ (2005) Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary. Web Semant Sci Serv Agents World Wide Web 3(2–3):79–115

    Article  Google Scholar 

  25. Grosof BN, Horrocks I, Volz R, Decker S (2003) Description logic programs: combining logic programs with description logic. In: WWW2003. ACM Press, pp 48–57

  26. Horrocks I, Patel-Schneider P F, Boley H, Tabet S, Grosof B, Dean M (2004) SWRL: a semantic web rule language combining OWL and RuleML. Acknowledged W3C submission, standards proposal research report: Version 0.6

  27. Rakib A, Ul Haque H M (2015) Modeling and verifying context-aware non-monotonic reasoning agents. In: Proceedings of the 13th ACM-IEEE international conference on formal methods and models for system design. IEEE, pp 453–471

  28. Petcu D, Petcu M (2005) Distributed jess on a condor pool. In: Proceedings of the 9th WSEAS international conference on computers, pp 1–5

  29. Jackson W (2014) Android apps for absolute beginners. 3rd edition, ISBN13: 978-1-484200-20-9. Apress, Berkeley

  30. Android is the world’s largest mobile platform–but it has to overcome these massive hurdles to keep the lead - business insider. http://www.businessinsider.my/, Oct 2015

  31. Forgy CL (1990) Rete: a fast algorithm for the many pattern/many object pattern match problem expert systems, pp 324–341

Download references

Acknowledgments

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

Author information

Authors and Affiliations

  1. School of Computer Science, The University of Nottingham, Malaysia Campus, Semenyih, Malaysia

    Ijaz Uddin, Abdur Rakib & Hafiz Mahfooz Ul Haque

Authors
  1. Ijaz Uddin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Abdur Rakib
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Hafiz Mahfooz Ul Haque
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Abdur Rakib.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Uddin, I., Rakib, A. & Haque, H.M.U. A Framework for Implementing Formally Verified Resource-Bounded Smart Space Systems. Mobile Netw Appl 22, 289–304 (2017). https://doi.org/10.1007/s11036-017-0808-y

Download citation

  • Published:

  • Issue Date:

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

Keywords

Search

Navigation