Skip to main content
Erschienen in: Service Oriented Computing and Applications 2/2018

07.12.2017 | Original Research Paper

Spatial-aware service management in a pervasive environment

verfasst von: Chun-Feng Liao, Hsin-Yin Fu

Erschienen in: Service Oriented Computing and Applications | Ausgabe 2/2018

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

We can perceive the advent of Internet of Things enriched pervasive environments attributed to the fast emerging of embedded and interconnected intelligent devices and sensors. However, most of current pervasive systems are still being developed based on the so-called the system is the application philosophy, causing the developers to take care of all technical details from the ground up. There is relatively little research focuses on building higher-level abstractions so that the burdens of developers can be relieved. The abstraction of a “place,” also known as an “Ambient,” is an essential context information when implementing a pervasive system. The quality of the results of a service composition can be improved if the concept of Ambient is taken into account. This paper aims to investigate the use of Ambient in the pervasive system systematically. We propose several new spatial abstractions and a spatial-aware service management scheme for the Ambient on top of a robust service management protocol. Formal verification, complexity analysis, and experiments are performed to verify the robustness, efficiency, and performance of the proposed approach, respectively.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

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!

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!

Literatur
2.
Zurück zum Zitat Cardelli L, Gordon AD (1998) Mobile ambients. In: International conference on foundations of software science and computation structure. Springer, pp 140–155 Cardelli L, Gordon AD (1998) Mobile ambients. In: International conference on foundations of software science and computation structure. Springer, pp 140–155
3.
Zurück zum Zitat Chatzigiannakis I, Hasemann H, Karnstedt M, Kleine O, Kroller A, Leggieri M, Pfisterer D, Romer K, Truong C (2012) True self-configuration for the IoT. In: 2012 3rd international conference on the internet of things (IoT). IEEE, pp 9–15 Chatzigiannakis I, Hasemann H, Karnstedt M, Kleine O, Kroller A, Leggieri M, Pfisterer D, Romer K, Truong C (2012) True self-configuration for the IoT. In: 2012 3rd international conference on the internet of things (IoT). IEEE, pp 9–15
4.
Zurück zum Zitat Coronato A, De Pietro G (2012) Tools for the rapid prototyping of provably correct ambient intelligence applications. IEEE Trans Softw Eng 38(4):975–991CrossRef Coronato A, De Pietro G (2012) Tools for the rapid prototyping of provably correct ambient intelligence applications. IEEE Trans Softw Eng 38(4):975–991CrossRef
5.
Zurück zum Zitat Dawson-Haggerty S, Jiang X, Tolle G, Ortiz J, Culler D (2010) sMAP: a simple measurement and actuation profile for physical information. In: Proceedings of the 8th ACM conference on embedded networked sensor systems. ACM, pp 197–210 Dawson-Haggerty S, Jiang X, Tolle G, Ortiz J, Culler D (2010) sMAP: a simple measurement and actuation profile for physical information. In: Proceedings of the 8th ACM conference on embedded networked sensor systems. ACM, pp 197–210
6.
Zurück zum Zitat Dey AK (2001) Understanding and using context. Pers Ubiquitous Comput 5(1):4–7CrossRef Dey AK (2001) Understanding and using context. Pers Ubiquitous Comput 5(1):4–7CrossRef
7.
Zurück zum Zitat Dey AK, Abowd GD et al (2000) The context toolkit: aiding the development of context-aware applications. In: Workshop on software engineering for wearable and pervasive computing, pp 431–441 Dey AK, Abowd GD et al (2000) The context toolkit: aiding the development of context-aware applications. In: Workshop on software engineering for wearable and pervasive computing, pp 431–441
8.
Zurück zum Zitat Dumez C, Bakhouya M, Gaber J, Wack M (2010) Formal specification and verification of service composition using LOTOS. In: Proceedings of the 7th ACM international conference on pervasive services Dumez C, Bakhouya M, Gaber J, Wack M (2010) Formal specification and verification of service composition using LOTOS. In: Proceedings of the 7th ACM international conference on pervasive services
9.
Zurück zum Zitat Edwards WK, Grinter RE (2001) At home with ubiquitous computing: seven challenges. In: International conference on ubiquitous computing. Springer, pp 256–272 Edwards WK, Grinter RE (2001) At home with ubiquitous computing: seven challenges. In: International conference on ubiquitous computing. Springer, pp 256–272
10.
Zurück zum Zitat Gao L, Zhang C, Sun L (2011) Restful web of things API in sharing sensor data. In: 2011 International Conference on internet technology and applications (iTAP). IEEE, pp 1–4 Gao L, Zhang C, Sun L (2011) Restful web of things API in sharing sensor data. In: 2011 International Conference on internet technology and applications (iTAP). IEEE, pp 1–4
11.
Zurück zum Zitat Gelernter D (1985) Generative communication in linda. ACM Trans Program Lang Syst (TOPLAS) 7(1):80–112CrossRefMATH Gelernter D (1985) Generative communication in linda. ACM Trans Program Lang Syst (TOPLAS) 7(1):80–112CrossRefMATH
12.
Zurück zum Zitat Gomez C, Oller J, Paradells J (2012) Overview and evaluation of bluetooth low energy: an emerging low-power wireless technology. Sensors 12(9):11734–11753CrossRef Gomez C, Oller J, Paradells J (2012) Overview and evaluation of bluetooth low energy: an emerging low-power wireless technology. Sensors 12(9):11734–11753CrossRef
13.
Zurück zum Zitat Hoare CAR (1978) Communicating sequential processes. In: Hansen PB (ed) The origin of concurrent programming. Springer, New York, pp 413–443 Hoare CAR (1978) Communicating sequential processes. In: Hansen PB (ed) The origin of concurrent programming. Springer, New York, pp 413–443
14.
Zurück zum Zitat Jain P, Khanwalkar SS, Malhotra R, Dheenrajappa A, Gupta G, Kobsa A (2016) uBeacon: Configuration based beacon tracking. In: 2016 IEEE international conference on pervasive computing and communication workshops (PerCom workshops). IEEE, pp 1–4 Jain P, Khanwalkar SS, Malhotra R, Dheenrajappa A, Gupta G, Kobsa A (2016) uBeacon: Configuration based beacon tracking. In: 2016 IEEE international conference on pervasive computing and communication workshops (PerCom workshops). IEEE, pp 1–4
15.
Zurück zum Zitat Jain R, Tata S (2017) Cloud to edge: distributed deployment of process-aware IoT applications. In: 2017 IEEE international conference on edge computing (EDGE). IEEE, pp 182–189 Jain R, Tata S (2017) Cloud to edge: distributed deployment of process-aware IoT applications. In: 2017 IEEE international conference on edge computing (EDGE). IEEE, pp 182–189
16.
Zurück zum Zitat Jing Z, Ying J, De-Gui G, Lei L, Cheng-Zhi J (2005) Operational semantics of ambient calculus. In: IEEE international workshop service-oriented system engineering, 2005. SOSE 2005. IEEE, pp 243–250 Jing Z, Ying J, De-Gui G, Lei L, Cheng-Zhi J (2005) Operational semantics of ambient calculus. In: IEEE international workshop service-oriented system engineering, 2005. SOSE 2005. IEEE, pp 243–250
17.
Zurück zum Zitat Johanson B, Fox A (2002) The event heap: a coordination infrastructure for interactive workspaces. In: Proceedings fourth IEEE workshop on mobile computing systems and applications, 2002. IEEE, pp 83–93 Johanson B, Fox A (2002) The event heap: a coordination infrastructure for interactive workspaces. In: Proceedings fourth IEEE workshop on mobile computing systems and applications, 2002. IEEE, pp 83–93
18.
Zurück zum Zitat Kato T, Miyai A, Higuchi M (2014) Ide for the ambient calculus in distributed environments. In: 2014 international conference on industrial automation, information and communications technology (IAICT). IEEE, pp 83–89 Kato T, Miyai A, Higuchi M (2014) Ide for the ambient calculus in distributed environments. In: 2014 international conference on industrial automation, information and communications technology (IAICT). IEEE, pp 83–89
19.
Zurück zum Zitat Kwiatkowska M, Milner R, Sassone V (2004) Science for global ubiquitous computing. Bull EATCS 82:325–333 Kwiatkowska M, Milner R, Sassone V (2004) Science for global ubiquitous computing. Bull EATCS 82:325–333
20.
Zurück zum Zitat Lamport L (1994) The temporal logic of actions. ACM Trans Program Lang Syst (TOPLAS) 16(3):872–923CrossRef Lamport L (1994) The temporal logic of actions. ACM Trans Program Lang Syst (TOPLAS) 16(3):872–923CrossRef
21.
Zurück zum Zitat Liao CF, Cheng HH, Fu LC (2011a) Unifiable preference expressions for pervasive service composition. In: 2011 IEEE Asia–Pacific services computing conference (APSCC). IEEE, pp 424–431 Liao CF, Cheng HH, Fu LC (2011a) Unifiable preference expressions for pervasive service composition. In: 2011 IEEE Asia–Pacific services computing conference (APSCC). IEEE, pp 424–431
22.
Zurück zum Zitat Liao CF, Jong YW, Fu LC (2011b) Toward reliable service management in message-oriented pervasive systems. IEEE Trans Serv Comput 4(3):183–195CrossRef Liao CF, Jong YW, Fu LC (2011b) Toward reliable service management in message-oriented pervasive systems. IEEE Trans Serv Comput 4(3):183–195CrossRef
24.
Zurück zum Zitat Lynch NA (1996) Distributed algorithms. Morgan Kaufmann, San MateoMATH Lynch NA (1996) Distributed algorithms. Morgan Kaufmann, San MateoMATH
25.
Zurück zum Zitat Meng Z, Wu Z, Muvianto C, Gray J (2017) A data-oriented M2M messaging mechanism for industrial iot applications. IEEE Internet Things J 4(1):236–246 Meng Z, Wu Z, Muvianto C, Gray J (2017) A data-oriented M2M messaging mechanism for industrial iot applications. IEEE Internet Things J 4(1):236–246
26.
Zurück zum Zitat Milner R (2006) Ubiquitous computing: shall we understand it? Comput J 49(4):383–389CrossRef Milner R (2006) Ubiquitous computing: shall we understand it? Comput J 49(4):383–389CrossRef
27.
Zurück zum Zitat Orebaugh A, Ramirez G, Beale J (2006) Wireshark & Ethereal network protocol analyzer toolkit. Syngress, Rockland Orebaugh A, Ramirez G, Beale J (2006) Wireshark & Ethereal network protocol analyzer toolkit. Syngress, Rockland
28.
Zurück zum Zitat Ranganathan A, Campbell RH (2008) Provably correct pervasive computing environments. In: Sixth annual IEEE international conference on pervasive computing and communications, 2008. PerCom 2008. IEEE, pp 160–169 Ranganathan A, Campbell RH (2008) Provably correct pervasive computing environments. In: Sixth annual IEEE international conference on pervasive computing and communications, 2008. PerCom 2008. IEEE, pp 160–169
29.
Zurück zum Zitat Román M, Hess C, Cerqueira R, Ranganathan A, Campbell RH, Nahrstedt K (2002) Gaia: a middleware platform for active spaces. ACM SIGMOBILE Mobile Comput Commun Rev 6(4):65–67CrossRef Román M, Hess C, Cerqueira R, Ranganathan A, Campbell RH, Nahrstedt K (2002) Gaia: a middleware platform for active spaces. ACM SIGMOBILE Mobile Comput Commun Rev 6(4):65–67CrossRef
30.
Zurück zum Zitat Schmidtke HR, Woo W (2009) Towards ontology-based formal verification methods for context aware systems. In: International conference on pervasive computing. Springer, pp 309–326 Schmidtke HR, Woo W (2009) Towards ontology-based formal verification methods for context aware systems. In: International conference on pervasive computing. Springer, pp 309–326
31.
Zurück zum Zitat Sousa JP (2005) Scaling task management in space and time: reducing user overhead in ubiquitous-computing environments. Technical report, Ph.D. thesis, Carnegie-Mellon University Pittsburgh, PA, School of Computer Science Sousa JP (2005) Scaling task management in space and time: reducing user overhead in ubiquitous-computing environments. Technical report, Ph.D. thesis, Carnegie-Mellon University Pittsburgh, PA, School of Computer Science
32.
Zurück zum Zitat Van Gurp J, Prehofer C, Di Flora C (2008) Experiences with realizing smart space web service applications. In: 5th IEEE consumer communications and networking conference, 2008. CCNC 2008. IEEE, pp 1171–1175 Van Gurp J, Prehofer C, Di Flora C (2008) Experiences with realizing smart space web service applications. In: 5th IEEE consumer communications and networking conference, 2008. CCNC 2008. IEEE, pp 1171–1175
33.
Zurück zum Zitat Verma P, Yadav A (2015) Ubiquitous computing: location measurement & configuration. In: 2015 international conference on computing, communication & automation (ICCCA). IEEE, pp 442–445 Verma P, Yadav A (2015) Ubiquitous computing: location measurement & configuration. In: 2015 international conference on computing, communication & automation (ICCCA). IEEE, pp 442–445
Metadaten
Titel
Spatial-aware service management in a pervasive environment
verfasst von
Chun-Feng Liao
Hsin-Yin Fu
Publikationsdatum
07.12.2017
Verlag
Springer London
Erschienen in
Service Oriented Computing and Applications / Ausgabe 2/2018
Print ISSN: 1863-2386
Elektronische ISSN: 1863-2394
DOI
https://doi.org/10.1007/s11761-017-0223-z

Weitere Artikel der Ausgabe 2/2018

Service Oriented Computing and Applications 2/2018 Zur Ausgabe