{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T14:14:46Z","timestamp":1740147286628,"version":"3.37.3"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2017,12,7]],"date-time":"2017-12-07T00:00:00Z","timestamp":1512604800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"Ministry of Science and Technology, Taiwan (TW)","award":["106-2221-E-004-004","106-3114-E-004-002"],"award-info":[{"award-number":["106-2221-E-004-004","106-3114-E-004-002"]}]},{"name":"Ministry of Science and Technology, Taiwan (TW)","award":["106-3011-E-004-001"],"award-info":[{"award-number":["106-3011-E-004-001"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["SOCA"],"published-print":{"date-parts":[[2018,6]]},"DOI":"10.1007\/s11761-017-0223-z","type":"journal-article","created":{"date-parts":[[2017,12,7]],"date-time":"2017-12-07T06:52:51Z","timestamp":1512629571000},"page":"95-110","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Spatial-aware service management in a pervasive environment"],"prefix":"10.1007","volume":"12","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5095-3940","authenticated-orcid":false,"given":"Chun-Feng","family":"Liao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hsin-Yin","family":"Fu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,12,7]]},"reference":[{"unstructured":"Banks A, Gupta R (2014) MQTT version 3.1.1. OASIS standard 29. http:\/\/docs.oasis-open.org\/mqtt\/mqtt\/v3.1.1\/os\/mqtt-v3.1.1-os.html . Accessed 7 Dec 2017","key":"223_CR1"},{"doi-asserted-by":"crossref","unstructured":"Cardelli L, Gordon AD (1998) Mobile ambients. In: International conference on foundations of software science and computation structure. Springer, pp 140\u2013155","key":"223_CR2","DOI":"10.1007\/BFb0053547"},{"doi-asserted-by":"crossref","unstructured":"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\u201315","key":"223_CR3","DOI":"10.1109\/IOT.2012.6402298"},{"issue":"4","key":"223_CR4","doi-asserted-by":"crossref","first-page":"975","DOI":"10.1109\/TSE.2011.67","volume":"38","author":"A Coronato","year":"2012","unstructured":"Coronato A, De Pietro G (2012) Tools for the rapid prototyping of provably correct ambient intelligence applications. IEEE Trans Softw Eng 38(4):975\u2013991","journal-title":"IEEE Trans Softw Eng"},{"doi-asserted-by":"crossref","unstructured":"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\u2013210","key":"223_CR5","DOI":"10.1145\/1869983.1870003"},{"issue":"1","key":"223_CR6","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1007\/s007790170019","volume":"5","author":"AK Dey","year":"2001","unstructured":"Dey AK (2001) Understanding and using context. Pers Ubiquitous Comput 5(1):4\u20137","journal-title":"Pers Ubiquitous Comput"},{"unstructured":"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\u2013441","key":"223_CR7"},{"unstructured":"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","key":"223_CR8"},{"doi-asserted-by":"crossref","unstructured":"Edwards WK, Grinter RE (2001) At home with ubiquitous computing: seven challenges. In: International conference on ubiquitous computing. Springer, pp 256\u2013272","key":"223_CR9","DOI":"10.1007\/3-540-45427-6_22"},{"doi-asserted-by":"crossref","unstructured":"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\u20134","key":"223_CR10","DOI":"10.1109\/ITAP.2011.6006157"},{"issue":"1","key":"223_CR11","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D Gelernter","year":"1985","unstructured":"Gelernter D (1985) Generative communication in linda. ACM Trans Program Lang Syst (TOPLAS) 7(1):80\u2013112","journal-title":"ACM Trans Program Lang Syst (TOPLAS)"},{"issue":"9","key":"223_CR12","doi-asserted-by":"crossref","first-page":"11734","DOI":"10.3390\/s120911734","volume":"12","author":"C Gomez","year":"2012","unstructured":"Gomez C, Oller J, Paradells J (2012) Overview and evaluation of bluetooth low energy: an emerging low-power wireless technology. Sensors 12(9):11734\u201311753","journal-title":"Sensors"},{"doi-asserted-by":"crossref","unstructured":"Hoare CAR (1978) Communicating sequential processes. In: Hansen PB (ed) The origin of concurrent programming. Springer, New York, pp 413\u2013443","key":"223_CR13","DOI":"10.1007\/978-1-4757-3472-0_16"},{"doi-asserted-by":"crossref","unstructured":"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\u20134","key":"223_CR14","DOI":"10.1109\/PERCOMW.2016.7457066"},{"doi-asserted-by":"crossref","unstructured":"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\u2013189","key":"223_CR15","DOI":"10.1109\/IEEE.EDGE.2017.32"},{"unstructured":"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\u2013250","key":"223_CR16"},{"doi-asserted-by":"crossref","unstructured":"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\u201393","key":"223_CR17","DOI":"10.1109\/MCSA.2002.1017488"},{"doi-asserted-by":"crossref","unstructured":"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\u201389","key":"223_CR18","DOI":"10.1109\/IAICT.2014.6922104"},{"key":"223_CR19","first-page":"325","volume":"82","author":"M Kwiatkowska","year":"2004","unstructured":"Kwiatkowska M, Milner R, Sassone V (2004) Science for global ubiquitous computing. Bull EATCS 82:325\u2013333","journal-title":"Bull EATCS"},{"issue":"3","key":"223_CR20","doi-asserted-by":"crossref","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L Lamport","year":"1994","unstructured":"Lamport L (1994) The temporal logic of actions. ACM Trans Program Lang Syst (TOPLAS) 16(3):872\u2013923","journal-title":"ACM Trans Program Lang Syst (TOPLAS)"},{"doi-asserted-by":"crossref","unstructured":"Liao CF, Cheng HH, Fu LC (2011a) Unifiable preference expressions for pervasive service composition. In: 2011 IEEE Asia\u2013Pacific services computing conference (APSCC). IEEE, pp 424\u2013431","key":"223_CR21","DOI":"10.1109\/APSCC.2011.11"},{"issue":"3","key":"223_CR22","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1109\/TSC.2010.59","volume":"4","author":"CF Liao","year":"2011","unstructured":"Liao CF, Jong YW, Fu LC (2011b) Toward reliable service management in message-oriented pervasive systems. IEEE Trans Serv Comput 4(3):183\u2013195","journal-title":"IEEE Trans Serv Comput"},{"unstructured":"Light R (2013) Mosquitto-an open source mqtt v3. 1 broker. http:\/\/mosquitto.org","key":"223_CR23"},{"key":"223_CR24","volume-title":"Distributed algorithms","author":"NA Lynch","year":"1996","unstructured":"Lynch NA (1996) Distributed algorithms. Morgan Kaufmann, San Mateo"},{"issue":"1","key":"223_CR25","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1109\/JIOT.2016.2646375","volume":"4","author":"Z Meng","year":"2017","unstructured":"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\u2013246","journal-title":"IEEE Internet Things J"},{"issue":"4","key":"223_CR26","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1093\/comjnl\/bxl015","volume":"49","author":"R Milner","year":"2006","unstructured":"Milner R (2006) Ubiquitous computing: shall we understand it? Comput J 49(4):383\u2013389","journal-title":"Comput J"},{"unstructured":"Orebaugh A, Ramirez G, Beale J (2006) Wireshark & Ethereal network protocol analyzer toolkit. Syngress, Rockland","key":"223_CR27"},{"doi-asserted-by":"crossref","unstructured":"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\u2013169","key":"223_CR28","DOI":"10.1109\/PERCOM.2008.116"},{"issue":"4","key":"223_CR29","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1145\/643550.643558","volume":"6","author":"M Rom\u00e1n","year":"2002","unstructured":"Rom\u00e1n 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\u201367","journal-title":"ACM SIGMOBILE Mobile Comput Commun Rev"},{"doi-asserted-by":"crossref","unstructured":"Schmidtke HR, Woo W (2009) Towards ontology-based formal verification methods for context aware systems. In: International conference on pervasive computing. Springer, pp 309\u2013326","key":"223_CR30","DOI":"10.1007\/978-3-642-01516-8_21"},{"unstructured":"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","key":"223_CR31"},{"doi-asserted-by":"crossref","unstructured":"Van\u00a0Gurp J, Prehofer C, Di\u00a0Flora C (2008) Experiences with realizing smart space web service applications. In: 5th IEEE consumer communications and networking conference, 2008. CCNC 2008. IEEE, pp 1171\u20131175","key":"223_CR32","DOI":"10.1109\/ccnc08.2007.262"},{"doi-asserted-by":"crossref","unstructured":"Verma P, Yadav A (2015) Ubiquitous computing: location measurement & configuration. In: 2015 international conference on computing, communication & automation (ICCCA). IEEE, pp 442\u2013445","key":"223_CR33","DOI":"10.1109\/CCAA.2015.7148417"}],"container-title":["Service Oriented Computing and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11761-017-0223-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-017-0223-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-017-0223-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,23]],"date-time":"2020-10-23T23:14:39Z","timestamp":1603494879000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11761-017-0223-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12,7]]},"references-count":33,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2018,6]]}},"alternative-id":["223"],"URL":"https:\/\/doi.org\/10.1007\/s11761-017-0223-z","relation":{},"ISSN":["1863-2386","1863-2394"],"issn-type":[{"type":"print","value":"1863-2386"},{"type":"electronic","value":"1863-2394"}],"subject":[],"published":{"date-parts":[[2017,12,7]]}}}