Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Mobile Networks and Applications
Published in: Mobile Networks and Applications 2/2017

26-01-2017

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

Authors: Ijaz Uddin, Abdur Rakib, Hafiz Mahfooz Ul Haque

Published in: Mobile Networks and Applications | Issue 2/2017

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

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.
previous article Editorial: Context-Aware Systems and Applications (ICCASA 2015)
next article Context Dissemination for Dynamic Urban-Scale Applications

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
Show more products
Footnotes
Literature
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–77CrossRef
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–59CrossRef
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–454CrossRef
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–102CrossRef
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–233CrossRef
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–193CrossRef
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
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–115CrossRef
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.
31.
Forgy CL (1990) Rete: a fast algorithm for the many pattern/many object pattern match problem expert systems, pp 324–341
Metadata
Title
A Framework for Implementing Formally Verified Resource-Bounded Smart Space Systems
Authors
Ijaz Uddin
Abdur Rakib
Hafiz Mahfooz Ul Haque
Publication date
26-01-2017
Publisher
Springer US
Published in
Mobile Networks and Applications / Issue 2/2017
Print ISSN: 1383-469X
Electronic ISSN: 1572-8153
DOI
https://doi.org/10.1007/s11036-017-0808-y

Other articles of this Issue 2/2017

Mobile Networks and Applications 2/2017 Go to the issue

OriginalPaper

Modeling and Verifying HDFS Using Process Algebra

OriginalPaper

Social-Aware Computing based Congestion Control in Delay Tolerant Networks

OriginalPaper

Comprehensive Association Rules Mining of Health Examination Data with an Extended FP-Growth Method

OriginalPaper

UFalloc: Towards Utility Max-min Fairness of Bandwidth Allocation for Applications in Datacenter Networks

OriginalPaper

Research on the Intelligent Signal Channel Sensing Based ICI Elimination Algorithm of the OFDM System

EditorialNotes

Editorial for Crowdsensing and Intelligent Sensing on Mobile Media Analytics Special Issue