{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T10:41:21Z","timestamp":1742985681970,"version":"3.40.3"},"publisher-location":"Cham","reference-count":37,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319681351"},{"type":"electronic","value":"9783319681368"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-68136-8_5","type":"book-chapter","created":{"date-parts":[[2017,10,26]],"date-time":"2017-10-26T04:56:15Z","timestamp":1508993775000},"page":"56-68","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Service Virtualization for Self-adaptation in Mobile Cyber-Physical Systems"],"prefix":"10.1007","author":[{"given":"Amir","family":"Taherkordi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Herrmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan Olaf","family":"Blech","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u00c1lvaro","family":"F\u00e9rnandez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,10,27]]},"reference":[{"issue":"3","key":"5_CR1","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1023\/A:1020083231504","volume":"17","author":"B Bennett","year":"2002","unstructured":"Bennett, B., Cohn, A.G., Wolter, F., Zakharyaschev, M.: Multi-dimensional modal logic as a framework for spatio-temporal reasoning. Appl. Intell. 17(3), 239\u2013251 (2002)","journal-title":"Appl. Intell."},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Benveniste, A., et al.: Multiple viewpoint contract-based specification and design. In: Formal Methods for Components and Objects (2008)","DOI":"10.1007\/978-3-540-92188-2_9"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Blech, J.O., et al.: Efficient incident handling in industrial automation through collaborative engineering. In: 2015 IEEE 20th Conference on Emerging Technologies Factory Automation (ETFA) (2015)","DOI":"10.1109\/ETFA.2015.7301533"},{"key":"5_CR4","unstructured":"Blech, J.O., et al.: BeSpaceD: towards a tool framework and methodology for the specification and verification of spatial behavior of distributed software component systems. ArXiv e-print abs\/1404.3537 (2014)"},{"key":"5_CR5","unstructured":"Brataas, G., Hallsteinsen, S.O., Rouvoy, R., Eliassen, F.: Scalability of decision models for dynamic product lines. In: SPLC, vol. 2, Kindai Kagaku Sha (2007)"},{"issue":"2\u20133","key":"5_CR6","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1016\/j.tcs.2008.04.030","volume":"402","author":"L Caires","year":"2008","unstructured":"Caires, L.: Spatial-behavioral types for concurrency and resource control in distributed systems. Theoret. Comput. Sci. 402(2\u20133), 120\u2013141 (2008)","journal-title":"Theoret. Comput. Sci."},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1007\/978-3-540-72883-2_16","volume-title":"Distributed Applications and Interoperable Systems","author":"D Conan","year":"2007","unstructured":"Conan, D., Rouvoy, R., Seinturier, L.: Scalable processing of context information with COSMOS. In: Indulska, J., Raymond, K. (eds.) DAIS 2007. LNCS, vol. 4531, pp. 210\u2013224. Springer, Heidelberg (2007). doi:10.1007\/978-3-540-72883-2_16"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L de Moura","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008). doi:10.1007\/978-3-540-78800-3_24"},{"issue":"2","key":"5_CR9","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1145\/1186778.1186782","volume":"1","author":"S Dobson","year":"2006","unstructured":"Dobson, S., et al.: A survey of autonomic communications. ACM Trans. Auton. Adapt. Syst. 1(2), 223\u2013259 (2006)","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"key":"5_CR10","unstructured":"Eclipse: Eclipse Equinox Framework (2016). http:\/\/www.eclipse.org\/equinox\/"},{"issue":"1","key":"5_CR11","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1109\/JPROC.2011.2161237","volume":"100","author":"J Eidson","year":"2012","unstructured":"Eidson, J., Lee, E., Matic, S., Seshia, S., Zou, J.: Distributed real-time software for cyber-physical systems. Proc. IEEE 100(1), 45\u201359 (2012)","journal-title":"Proc. IEEE"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Fouquet, F., et al.: A dynamic component model for cyber physical systems. In: Proceedings of 15th ACM Symposium on Component Based Software Engineering (CBSE 2012). ACM (2012)","DOI":"10.1145\/2304736.2304759"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Frehse, G., Le Guernic, C., Donz\u00e9, A., Cotton, S., Ray, R., Lebeltel, O., Ripado, R., Girard, A., Dang, T., Maler, O.: SpaceEx: scalable verification of hybrid systems. In: Computer Aided Verification (CAV) (2011)","DOI":"10.1007\/978-3-642-22110-1_30"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Fritsch, S., et al.: Time-bounded adaptation for automotive system software. In: ACM\/IEEE 30th Conference on Software Engineering, ICSE 2008 (2008)","DOI":"10.1145\/1368088.1368166"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Gerostathopoulos, I., et al.: Meta-adaptation strategies for adaptation in cyber-physical systems. In: Software Architecture: 9th European Conference, ECSA 2015 (2015)","DOI":"10.1007\/978-3-319-23727-5_4"},{"key":"5_CR16","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1016\/j.jss.2016.02.028","volume":"122","author":"I Gerostathopoulos","year":"2016","unstructured":"Gerostathopoulos, I., et al.: Self-adaptation in software-intensive cyber-physical systems: from system goals to architecture configurations. J. Syst. Softw. 122, 378\u2013397 (2016)","journal-title":"J. Syst. Softw."},{"key":"5_CR17","series-title":"Embedded Systems","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-1-4614-3879-3_8","volume-title":"Embedded Systems Development","author":"S Graf","year":"2014","unstructured":"Graf, S., et al.: Contract-based Reasoning for Component Systems with Rich Interactions. In: Sangiovanni-Vincentelli, A., Zeng, H., Di Natale, M., Marwedel, P. (eds.) Embedded Systems Development. EMSY, vol. 20, pp. 139\u2013154. Springer, New York (2014). doi:10.1007\/978-1-4614-3879-3_8"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Han, F., et al.: Model-based engineering and analysis of space-aware systems communicating via IEEE 802.11. In: 2015 IEEE 39th Annual Computer Software and Applications Conference (COMPSAC), vol. 2 (2015)","DOI":"10.1109\/COMPSAC.2015.46"},{"issue":"1","key":"5_CR19","doi-asserted-by":"publisher","first-page":"40","DOI":"10.4018\/IJWSR.2016010103","volume":"13","author":"P Herrmann","year":"2016","unstructured":"Herrmann, P., et al.: A model-based toolchain to verify spatial behavior of cyber-physical systems. Int. J. Web Serv. Res. (IJWSR) 13(1), 40\u201352 (2016)","journal-title":"Int. J. Web Serv. Res. (IJWSR)"},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/978-3-540-24597-1_22","volume-title":"FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science","author":"D Hirschkoff","year":"2003","unstructured":"Hirschkoff, D., Lozes, \u00c9., Sangiorgi, D.: Minimality results for the spatial logics. In: Pandya, P.K., Radhakrishnan, J. (eds.) FSTTCS 2003. LNCS, vol. 2914, pp. 252\u2013264. Springer, Heidelberg (2003). doi:10.1007\/978-3-540-24597-1_22"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Hordvik, S., et al.: A methodology for model-based development and safety analysis of transport systems. In: 11th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) (2016)","DOI":"10.5220\/0005828800910101"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Huber, N., et al.: Model-based self-adaptive resource allocation in virtualized environments. In: SEAMS 2011 (2011)","DOI":"10.1145\/1988008.1988021"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Kang, S., Lee, J., Jang, H., Lee, H., Lee, Y., Park, S., Park, T., Song, J.: SeeMon: scalable and energy-efficient context monitoring framework for sensor-rich mobile environments. In: MobiSys 2008. ACM (2008)","DOI":"10.1145\/1378600.1378630"},{"key":"5_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/11780519_13","volume-title":"RoboCup 2005: Robot Soccer World Cup IX","author":"M Lauer","year":"2006","unstructured":"Lauer, M., Lange, S., Riedmiller, M.: Calculating the perfect match: an efficient and accurate approach for robot self-localization. In: Bredenfeld, A., Jacoff, A., Noda, I., Takahashi, Y. (eds.) RoboCup 2005. LNCS, vol. 4020, pp. 142\u2013153. Springer, Heidelberg (2006). doi:10.1007\/11780519_13"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Lee, E.: Cyber physical systems: design challenges. In: 2008 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC) (2008)","DOI":"10.1109\/ISORC.2008.25"},{"issue":"3","key":"5_CR26","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MPRV.2002.1037721","volume":"1","author":"WY Lum","year":"2002","unstructured":"Lum, W.Y., Lau, F.C.M.: A context-aware decision engine for content adaptation. IEEE Pervasive Comput. 1(3), 41\u201349 (2002)","journal-title":"IEEE Pervasive Comput."},{"issue":"5","key":"5_CR27","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1109\/TSE.2012.53","volume":"39","author":"V Nallur","year":"2013","unstructured":"Nallur, V., Bahsoon, R.: A decentralized self-adaptation mechanism for service-based applications in the cloud. IEEE Trans. Softw. Eng. 39(5), 591\u2013612 (2013)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"5_CR28","unstructured":"OSGi Alliance: OSGi Service Platform (2016). http:\/\/www.osgi.org\/. Accessed 22 Jan 2016"},{"key":"5_CR29","doi-asserted-by":"crossref","unstructured":"Patterson, S., Bamieh, B.: Leader selection for optimal network coherence. In: 49th IEEE Conference on Decision and Control, pp. 2692\u20132697 (2010)","DOI":"10.1109\/CDC.2010.5718151"},{"key":"5_CR30","unstructured":"PiBorg: DiddyBorg Raspberry Pi Robot (2016). http:\/\/www.piborg.org\/diddyborg"},{"issue":"2","key":"5_CR31","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s10817-008-9103-8","volume":"41","author":"A Platzer","year":"2008","unstructured":"Platzer, A.: Differential dynamic logic for hybrid systems. J. Autom. Reasoning 41(2), 143\u2013189 (2008)","journal-title":"J. Autom. Reasoning"},{"issue":"3","key":"5_CR32","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1145\/1272998.1273022","volume":"41","author":"JS Rellermeyer","year":"2007","unstructured":"Rellermeyer, J.S., Alonso, G.: Concierge: a service platform for resource-constrained devices. SIGOPS Oper. Syst. Rev. 41(3), 245\u2013258 (2007)","journal-title":"SIGOPS Oper. Syst. Rev."},{"key":"5_CR33","unstructured":"Santos, A.C., et al.: Specifying adaptations through a DSL with an application to mobile robot navigation. In: SLATE 2013 (2013)"},{"key":"5_CR34","doi-asserted-by":"crossref","unstructured":"Sykes, D., et al.: From goals to components: a combined approach to self-management. In: SEAMS 2008 (2008)","DOI":"10.1145\/1370018.1370020"},{"key":"5_CR35","doi-asserted-by":"crossref","unstructured":"Tajalli, H., et al.: PLASMA: a plan-based layered architecture for software model-driven adaptation. In: Proceedings the IEEE\/ACM Conference on Automated Software Engineering, ASE 2010 (2010)","DOI":"10.1145\/1858996.1859092"},{"key":"5_CR36","doi-asserted-by":"crossref","unstructured":"Weyns, D., et al.: On decentralized self-adaptation: lessons from the trenches and challenges for the future. In: SEAMS 2010 (2010)","DOI":"10.1145\/1808984.1808994"},{"issue":"1","key":"5_CR37","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/s13174-010-0004-9","volume":"1","author":"J White","year":"2010","unstructured":"White, J., et al.: R&D challenges and solutions for mobile cyber-physical applications and supporting internet services. J. Internet Serv. Appl. 1(1), 45\u201356 (2010)","journal-title":"J. Internet Serv. Appl."}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing \u2013 ICSOC 2016 Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-68136-8_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T00:03:18Z","timestamp":1666137798000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-68136-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319681351","9783319681368"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-68136-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"27 October 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICSOC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Service-Oriented Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Banff","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Canada","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 October 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 October 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icsoc2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}