{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T06:12:36Z","timestamp":1726035156176},"publisher-location":"Cham","reference-count":45,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030214845"},{"type":"electronic","value":"9783030214852"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-21485-2_22","type":"book-chapter","created":{"date-parts":[[2019,7,3]],"date-time":"2019-07-03T14:04:18Z","timestamp":1562162658000},"page":"411-427","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Fluidware: An Approach Towards Adaptive and Scalable Programming of the IoT"],"prefix":"10.1007","author":[{"given":"Giancarlo","family":"Fortino","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Barbara","family":"Re","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mirko","family":"Viroli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franco","family":"Zambonelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,7,3]]},"reference":[{"key":"22_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-92612-4_1","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"YA Alrahman","year":"2018","unstructured":"Alrahman, Y.A., De Nicola, R., Garbi, G., Loreti, M.: A distributed coordination infrastructure for attribute-based interaction. In: Baier, C., Caires, L. (eds.) FORTE 2018. LNCS, vol. 10854, pp. 1\u201320. Springer, Cham (2018). \n                      https:\/\/doi.org\/10.1007\/978-3-319-92612-4_1"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Alrahman, Y.A., De Nicola, R., Loreti, M., Tiezzi, F., Vigo, R.: A calculus for attribute-based communication. In: Proceedings of the 30th Annual ACM Symposium on Applied Computing, pp. 1840\u20131845. ACM (2015)","DOI":"10.1145\/2695664.2695668"},{"key":"22_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-319-06859-6_7","volume-title":"Service-Oriented Computing \u2013 ICSOC 2013 Workshops","author":"V Andrikopoulos","year":"2014","unstructured":"Andrikopoulos, V., Bucchiarone, A., G\u00f3mez S\u00e1ez, S., Karastoyanova, D., Mezzina, C.A.: Towards modeling and execution of collective adaptive systems. In: Lomuscio, A.R., Nepal, S., Patrizi, F., Benatallah, B., Brandi\u0107, I. (eds.) ICSOC 2013. LNCS, vol. 8377, pp. 69\u201381. Springer, Cham (2014). \n                      https:\/\/doi.org\/10.1007\/978-3-319-06859-6_7"},{"issue":"15","key":"22_CR4","doi-asserted-by":"publisher","first-page":"2787","DOI":"10.1016\/j.comnet.2010.05.010","volume":"54","author":"L Atzori","year":"2010","unstructured":"Atzori, L., Iera, A., Morabito, G.: The internet of things: a survey. Comput. Netw. 54(15), 2787\u20132805 (2010)","journal-title":"Comput. Netw."},{"issue":"1","key":"22_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3285956","volume":"20","author":"Giorgio Audrito","year":"2019","unstructured":"Audrito, G., Viroli, M., Damiani, F., Pianini, D., Beal, J.: A higher-order calculus of computational fields. ACM Trans. Comput. Log. 20(1), 5:1\u20135:55 (2019). \n                      http:\/\/doi.acm.org\/10.1145\/3285956","journal-title":"ACM Transactions on Computational Logic"},{"issue":"2","key":"22_CR6","first-page":"243","volume":"7","author":"I Ayala","year":"2015","unstructured":"Ayala, I., Amor, M., Fuentes, L.: The sol agent platform: enabling group communication and interoperability of self-configuring agents in the internet of things. JAISE 7(2), 243\u2013269 (2015)","journal-title":"JAISE"},{"issue":"9","key":"22_CR7","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1109\/MC.2015.261","volume":"48","author":"J Beal","year":"2015","unstructured":"Beal, J., Pianini, D., Viroli, M.: Aggregate programming for the internet of things. IEEE Comput. 48(9), 22\u201330 (2015)","journal-title":"IEEE Comput."},{"key":"22_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1007\/978-3-319-46508-1_10","volume-title":"Transactions on Foundations for Mastering Change I","author":"L Belzner","year":"2016","unstructured":"Belzner, L., H\u00f6lzl, M., Koch, N., Wirsing, M.: Collective autonomic systems: towards engineering principles and their foundations. In: Steffen, B. (ed.) Transactions on Foundations for Mastering Change I. LNCS, vol. 9960, pp. 180\u2013200. Springer, Cham (2016). \n                      https:\/\/doi.org\/10.1007\/978-3-319-46508-1_10"},{"issue":"1","key":"22_CR9","doi-asserted-by":"publisher","first-page":"2:1","DOI":"10.1145\/2168260.2168262","volume":"7","author":"N Bicocchi","year":"2012","unstructured":"Bicocchi, N., Mamei, M., Zambonelli, F.: Self-organizing virtual macro sensors. TAAS 7(1), 2:1\u20132:28 (2012)","journal-title":"TAAS"},{"issue":"12","key":"22_CR10","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1109\/MC.2016.377","volume":"49","author":"T Bures","year":"2016","unstructured":"Bures, T., Plasil, F., Kit, M., Tuma, P., Hoch, N.: Software abstractions for component interaction in the internet of things. IEEE Comput. 49(12), 50\u201359 (2016)","journal-title":"IEEE Comput."},{"key":"22_CR11","unstructured":"Carbone, P., Katsifodimos, A., Ewen, S., Markl, V., Haridi, S., Tzoumas, K.: Apache flink: stream and batch processing in a single engine. In: Bulletin of the IEEE Computer Society Technical Committee on Data Engineering, vol. 36, no. 4 (2015)"},{"key":"22_CR12","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1016\/j.scico.2018.07.006","volume":"167","author":"R Casadei","year":"2018","unstructured":"Casadei, R., Alessandro, A., Viroli, M.: Towards attack-resistant aggregate computing using trust mechanisms. Sci. Comput. Program. 167, 114\u2013137 (2018)","journal-title":"Sci. Comput. Program."},{"key":"22_CR13","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1016\/j.future.2018.09.005","volume":"91","author":"R Casadei","year":"2019","unstructured":"Casadei, R., Fortino, G., Pianini, D., Russo, W., Savaglio, C., Viroli, M.: Modelling and simulation of opportunistic IoT services with aggregate computing. Future Gener. Comput. Syst. 91, 252\u2013262 (2019)","journal-title":"Future Gener. Comput. Syst."},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Casadei, R., Viroli, M.: Towards aggregate programming in Scala. In: Proceedings of the 1st Workshop on Programming Models and Languages for Distributed Computing, pp. 5:1\u20135:7. ACM (2016)","DOI":"10.1145\/2957319.2957372"},{"key":"22_CR15","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/978-3-319-39417-6_15","volume-title":"Domain-Specific Conceptual Modeling","author":"Y Choe","year":"2016","unstructured":"Choe, Y., Lee, M.: Algebraic method to model secure IoT. In: Karagiannis, D., Mayr, H., Mylopoulos, J. (eds.) Domain-Specific Conceptual Modeling, pp. 335\u2013355. Springer, Cham (2016). \n                      https:\/\/doi.org\/10.1007\/978-3-319-39417-6_15"},{"key":"22_CR16","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/978-3-319-19243-7_24","volume-title":"Advanced Information Systems Engineering Workshops","author":"R Cognini","year":"2015","unstructured":"Cognini, R., Corradini, F., Polini, A., Re, B.: Extending feature models to express variability in business process models. In: Persson, A., Stirna, J. (eds.) CAiSE 2015. LNBIP, vol. 215, pp. 245\u2013256. Springer, Cham (2015). \n                      https:\/\/doi.org\/10.1007\/978-3-319-19243-7_24"},{"key":"22_CR17","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-319-39417-6_8","volume-title":"Domain-Specific Conceptual Modeling","author":"R Cognini","year":"2016","unstructured":"Cognini, R., Corradini, F., Polini, A., Re, B.: Business process feature model: an approach to deal with variability of business processes. Domain-Specific Conceptual Modeling, pp. 171\u2013194. Springer, Cham (2016). \n                      https:\/\/doi.org\/10.1007\/978-3-319-39417-6_8"},{"issue":"11","key":"22_CR18","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1109\/MC.2017.4041355","volume":"50","author":"F Corno","year":"2017","unstructured":"Corno, F., De Russis, L., Roffarello, A.M.: A semantic web approach to simplifying trigger-action programming in the IoT. Computer 50(11), 18\u201324 (2017)","journal-title":"Computer"},{"key":"22_CR19","doi-asserted-by":"crossref","unstructured":"Corradini, F., Fornari, F., Polini, A., Re, B., Tiezzi, F., Vandin, A.: BProVe: a formal verification framework for business process models. In: Proceedings of the 32nd International Conference on Automated Software Engineering, pp. 217\u2013228. IEEE Computer Society (2017)","DOI":"10.1109\/ASE.2017.8115635"},{"key":"22_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-16310-9_1","volume-title":"Software Engineering for Collective Autonomic Systems","author":"R Nicola De","year":"2015","unstructured":"De Nicola, R., et al.: The SCEL language: design, implementation, verification. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol. 8998, pp. 3\u201371. Springer, Cham (2015). \n                      https:\/\/doi.org\/10.1007\/978-3-319-16310-9_1"},{"key":"22_CR21","series-title":"Internet of Things","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/978-3-319-61300-0_10","volume-title":"Integration, Interconnection, and Interoperability of IoT Systems","author":"G Fortino","year":"2018","unstructured":"Fortino, G., et al.: Towards multi-layer interoperability of heterogeneous iot platforms: the INTER-IoT approach. In: Gravina, R., Palau, C.E., Manso, M., Liotta, A., Fortino, G. (eds.) Integration, Interconnection, and Interoperability of IoT Systems. IT, pp. 199\u2013232. Springer, Cham (2018). \n                      https:\/\/doi.org\/10.1007\/978-3-319-61300-0_10"},{"issue":"1","key":"22_CR22","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1109\/TSMCC.2012.2215852","volume":"43","author":"G Fortino","year":"2013","unstructured":"Fortino, G., Giannantonio, R., Gravina, R., Kuryloski, P., Jafari, R.: Enabling effective programming and flexible management of efficient body sensor network applications. IEEE Trans. Hum. Mach. Syst. 43(1), 115\u2013133 (2013)","journal-title":"IEEE Trans. Hum. Mach. Syst."},{"key":"22_CR23","doi-asserted-by":"crossref","unstructured":"Fortino, G., Gravina, R.: Fall-mobileguard: a smart real-time fall detection system. In: Proceedings of the 10th International Conference on Body Area Networks. ICST (2015)","DOI":"10.4108\/eai.28-9-2015.2261462"},{"key":"22_CR24","doi-asserted-by":"publisher","first-page":"804","DOI":"10.1016\/j.future.2018.07.021","volume":"89","author":"G Fortino","year":"2018","unstructured":"Fortino, G., Messina, F., Rosaci, D., Sarn\u00e8, G.M.L.: Using trust and local reputation for group formation in the cloud of things. Future Gener. Comput. Syst. 89, 804\u2013815 (2018)","journal-title":"Future Gener. Comput. Syst."},{"issue":"11","key":"22_CR25","doi-asserted-by":"publisher","first-page":"1939","DOI":"10.1109\/TSMC.2017.2780618","volume":"48","author":"G Fortino","year":"2018","unstructured":"Fortino, G., Russo, W., Savaglio, C., Shen, W., Zhou, M.: Agent-oriented cooperative smart objects: from IoT system design to implementation. IEEE Trans. Syst. Man Cybern. Syst. 48(11), 1939\u20131956 (2018)","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"issue":"2","key":"22_CR26","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1109\/TASE.2014.2365880","volume":"13","author":"S Galzarano","year":"2016","unstructured":"Galzarano, S., Giannantonio, R., Liotta, A., Fortino, G.: A task-oriented framework for networked wearable computing. IEEE Trans. Autom. Sci. Eng. 13(2), 621\u2013638 (2016)","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"issue":"3","key":"22_CR27","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/3121437.3123501","volume":"15","author":"I Jacobson","year":"2017","unstructured":"Jacobson, I., Spence, I., Ng, P.W.: Is there a single method for the internet of things? Queue 15(3), 20 (2017)","journal-title":"Queue"},{"issue":"4","key":"22_CR28","doi-asserted-by":"publisher","first-page":"15:1","DOI":"10.1145\/1538942.1538945","volume":"18","author":"M Mamei","year":"2009","unstructured":"Mamei, M., Zambonelli, F.: Programming pervasive and mobile computing applications: the TOTA approach. ACM Trans. Softw. Eng. Methodol. 18(4), 15:1\u201315:56 (2009)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"7","key":"22_CR29","doi-asserted-by":"publisher","first-page":"1497","DOI":"10.1016\/j.adhoc.2012.02.016","volume":"10","author":"D Miorandi","year":"2012","unstructured":"Miorandi, D., Sicari, S., De Pellegrini, F., Chlamtac, I.: Internet of things: vision, applications and research challenges. Ad Hoc Netw. 10(7), 1497\u20131516 (2012)","journal-title":"Ad Hoc Netw."},{"key":"22_CR30","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1016\/j.csi.2017.04.002","volume":"57","author":"D Moldovan","year":"2018","unstructured":"Moldovan, D., Copil, G., Dustdar, S.: Elastic systems: towards cyber-physical ecosystems of people, processes, and things. Comput. Stand. Interfaces 57, 76\u201382 (2018)","journal-title":"Comput. Stand. Interfaces"},{"issue":"2","key":"22_CR31","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1109\/MCC.2017.22","volume":"4","author":"M Nardelli","year":"2017","unstructured":"Nardelli, M., Nastic, S., Dustdar, S., Villari, M., Ranjan, R.: Osmotic flow: osmotic computing+ IoT workflow. IEEE Cloud Comput. 4(2), 68\u201375 (2017)","journal-title":"IEEE Cloud Comput."},{"key":"22_CR32","doi-asserted-by":"crossref","unstructured":"Palade, A., Cabrera, C., White, G., Razzaque, M.A., Clarke, S.: Middleware for internet of things: a quantitative evaluation in small scale, pp. 1\u20136. IEEE (2017)","DOI":"10.1109\/WoWMoM.2017.7974340"},{"issue":"1","key":"22_CR33","doi-asserted-by":"publisher","first-page":"414","DOI":"10.1109\/SURV.2013.042313.00197","volume":"16","author":"C Perera","year":"2014","unstructured":"Perera, C., Zaslavsky, A., Christen, P., Georgakopoulos, D.: Context aware computing for the internet of things: a survey. IEEE Commun. Surv. Tutor. 16(1), 414\u2013454 (2014)","journal-title":"IEEE Commun. Surv. Tutor."},{"key":"22_CR34","unstructured":"Pournaras, E.: Overlay service computing - modular and reconfigurable collective adaptive systems. Scalable Comput. Pract. Exp. 16(3), 249\u2013270 (2015). \n                      http:\/\/www.scpe.org\/index.php\/scpe\/article\/view\/1100"},{"issue":"2","key":"22_CR35","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1109\/MCC.2018.022171663","volume":"5","author":"T Rausch","year":"2018","unstructured":"Rausch, T., Dustdar, S., Ranjan, R.: Osmotic message-oriented middleware for the internet of things. IEEE Cloud Comput. 5(2), 17\u201325 (2018)","journal-title":"IEEE Cloud Comput."},{"issue":"1","key":"22_CR36","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1145\/2756547","volume":"59","author":"S Shekhar","year":"2016","unstructured":"Shekhar, S., Feiner, S.K., Aref, W.G.: Spatial computing. Commun. ACM 59(1), 72\u201381 (2016)","journal-title":"Commun. ACM"},{"issue":"12","key":"22_CR37","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1109\/MCOM.2016.1600492CM","volume":"54","author":"X Sun","year":"2016","unstructured":"Sun, X., Ansari, N.: EdgeIoT: mobile edge computing for the internet of things. IEEE Commun. Mag. 54(12), 22\u201329 (2016)","journal-title":"IEEE Commun. Mag."},{"issue":"6","key":"22_CR38","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1109\/MCC.2016.124","volume":"3","author":"M Villari","year":"2016","unstructured":"Villari, M., Fazio, M., Dustdar, S., Rana, O., Ranjan, R.: Osmotic computing: a new paradigm for edge\/cloud integration. IEEE Cloud Comput. 3(6), 76\u201383 (2016)","journal-title":"IEEE Cloud Comput."},{"issue":"2","key":"22_CR39","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3177774","volume":"28","author":"M Viroli","year":"2018","unstructured":"Viroli, M., Audrito, G., Beal, J., Damiani, F., Pianini, D.: Engineering resilient collective adaptive systems by self-stabilisation. ACM Trans. Model. Comput. Simul. 28(2), 1\u201328 (2018)","journal-title":"ACM Trans. Model. Comput. Simul."},{"issue":"2","key":"22_CR40","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1968513.1968517","volume":"6","author":"Mirko Viroli","year":"2011","unstructured":"Viroli, M., Casadei, M., Montagna, S., Zambonelli, F.: Spatial coordination of pervasive services through chemical-inspired tuple spaces. ACM Trans. Auton. Adapt. Syst. 6(2), 14:1\u201314:24 (2011). \n                      http:\/\/doi.acm.org\/10.1145\/1968513.1968517","journal-title":"ACM Transactions on Autonomous and Adaptive Systems"},{"key":"22_CR41","doi-asserted-by":"crossref","unstructured":"Viroli, M., Casadei, R., Pianini, D.: On execution platforms for large-scale aggregate computing. In: Proceedings of the International Joint Conference on Pervasive and Ubiquitous Computing, pp. 1321\u20131326. ACM (2016)","DOI":"10.1145\/2968219.2979129"},{"issue":"6","key":"22_CR42","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1109\/MCOM.2013.6525602","volume":"51","author":"P Vlacheas","year":"2013","unstructured":"Vlacheas, P., et al.: Enabling smart cities through a cognitive management framework for the internet of things. IEEE Commun. Mag. 51(6), 102\u2013111 (2013)","journal-title":"IEEE Commun. Mag."},{"issue":"11","key":"22_CR43","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1145\/2934664","volume":"59","author":"M Zaharia","year":"2016","unstructured":"Zaharia, M., et al.: Apache Spark: a unified engine for big data processing. Commun. ACM 59(11), 56\u201365 (2016)","journal-title":"Commun. ACM"},{"issue":"1","key":"22_CR44","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/MS.2017.3","volume":"34","author":"F Zambonelli","year":"2017","unstructured":"Zambonelli, F.: Key abstractions for IoT-oriented software engineering. IEEE Softw. 34(1), 38\u201345 (2017)","journal-title":"IEEE Softw."},{"key":"22_CR45","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1016\/j.pmcj.2014.12.002","volume":"17","author":"F Zambonelli","year":"2015","unstructured":"Zambonelli, F., et al.: Developing pervasive multi-agent systems with nature-inspired coordination. Pervasive Mob. Comput. 17, 236\u2013252 (2015)","journal-title":"Pervasive Mob. Comput."}],"container-title":["Lecture Notes in Computer Science","Models, Languages, and Tools for Concurrent and Distributed Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-21485-2_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,3]],"date-time":"2019-07-03T14:14:18Z","timestamp":1562163258000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-21485-2_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030214845","9783030214852"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-21485-2_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"3 July 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}