{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T16:35:02Z","timestamp":1742920502403,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030575052"},{"type":"electronic","value":"9783030575069"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","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":[[2020]]},"DOI":"10.1007\/978-3-030-57506-9_18","type":"book-chapter","created":{"date-parts":[[2020,9,10]],"date-time":"2020-09-10T12:30:39Z","timestamp":1599741039000},"page":"236-251","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Formal Programming Framework for Digital Avatars"],"prefix":"10.1007","author":[{"given":"Alejandro","family":"P\u00e9rez-Vereda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlos","family":"Canal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ernesto","family":"Pimentel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,9,10]]},"reference":[{"unstructured":"Berners-Lee, T.: Solid. \n                    https:\/\/solid.inrupt.com\/\n                    \n                  . Accessed 21 Jan 2019","key":"18_CR1"},{"issue":"1\u20132","key":"18_CR2","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/S0167-6423(02)00087-4","volume":"46","author":"A Brogi","year":"2003","unstructured":"Brogi, A., Jacquet, J.-M.: On the expressiveness of coordination via shared dataspaces. Sci. Comput. Program. 46(1\u20132), 71\u201398 (2003)","journal-title":"Sci. Comput. Program."},{"key":"18_CR3","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/S1571-0661(05)80467-0","volume":"7","author":"N Busi","year":"1997","unstructured":"Busi, N., Gorrieri, R., Zavattaro, G.: On the Turing equivalence of linda coordination primitives. Electron. Notes Theor. Comput. Sci. 7, 75 (1997)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"4","key":"18_CR4","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1145\/63334.63337","volume":"32","author":"N Carriero","year":"1989","unstructured":"Carriero, N., Gelernter, D.: Linda in context. Commun. ACM 32(4), 444\u2013458 (1989)","journal-title":"Commun. ACM"},{"issue":"5","key":"18_CR5","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1109\/32.685256","volume":"24","author":"R De Nicola","year":"1998","unstructured":"De Nicola, R., Ferrari, G.L., Pugliese, R.: KLAIM: a kernel language for agents interaction and mobility. IEEE Trans. Softw. Eng. 24(5), 315\u2013330 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"18_CR6","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 De Nicola","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"},{"issue":"2","key":"18_CR7","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1145\/129630.376083","volume":"35","author":"D Gelernter","year":"1992","unstructured":"Gelernter, D., Carriero, N.: Coordination languages and their significance. Commun. ACM 35(2), 96 (1992)","journal-title":"Commun. ACM"},{"issue":"4","key":"18_CR8","doi-asserted-by":"publisher","first-page":"883","DOI":"10.1007\/s00779-013-0698-3","volume":"18","author":"T-M Gr\u00f8nli","year":"2013","unstructured":"Gr\u00f8nli, T.-M., Ghinea, G., Younas, M.: Context-aware and automatic configuration of mobile devices in cloud-enabled ubiquitous computing. Pers. Ubiquit. Comput. 18(4), 883\u2013894 (2013). \n                    https:\/\/doi.org\/10.1007\/s00779-013-0698-3","journal-title":"Pers. Ubiquit. Comput."},{"issue":"7","key":"18_CR9","doi-asserted-by":"publisher","first-page":"1645","DOI":"10.1016\/j.future.2013.01.010","volume":"29","author":"J Gubbi","year":"2013","unstructured":"Gubbi, J., Buyya, R., Marusic, S., Palaniswami, M.: Internet of Things (IoT): a vision, architectural elements, and future directions. Future Gener. Comput. Syst. 29(7), 1645\u20131660 (2013)","journal-title":"Future Gener. Comput. Syst."},{"issue":"2","key":"18_CR10","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/MS.2013.140","volume":"31","author":"J Guillen","year":"2014","unstructured":"Guillen, J., Miranda, J., Berrocal, J., Garcia-Alonso, J., Murillo, J.M., Canal, C.: People as a service: a mobile-centric model for providing collective sociological profiles. IEEE Softw. 31(2), 48\u201353 (2014)","journal-title":"IEEE Softw."},{"doi-asserted-by":"publisher","unstructured":"Guinard, D., Trifa, V., Mattern, F., Wilde, E.: From the Internet of Things to the web of things: resource-oriented architecture and best practices. In: Architecting the Internet of Things, pp. 97\u2013129. Springer (2011). \n                    https:\/\/doi.org\/10.1007\/978-3-642-19157-2_5","key":"18_CR11","DOI":"10.1007\/978-3-642-19157-2_5"},{"doi-asserted-by":"crossref","unstructured":"Menezes, R., Omicini, A., Viroli, M.: On the semantics of coordination models for distributed systems: the LogOp case study. In: Foundations of Coordination Languages and Software Architecture (FOCLASA 2003). Electronic Notes in Theoretical Computer Science, vol. 97, pp. 97\u2013124. Elsevier (2004)","key":"18_CR12","DOI":"10.1016\/j.entcs.2004.04.033"},{"key":"18_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-030-03056-8_5","volume-title":"Current Trends in Web Engineering","author":"A P\u00e9rez-Vereda","year":"2018","unstructured":"P\u00e9rez-Vereda, A., Flores-Mart\u00edn, D., Canal, C., Murillo, J.M.: Towards dynamically programmable devices using beacons. In: Pautasso, C., S\u00e1nchez-Figueroa, F., Syst\u00e4, K., Murillo Rodr\u00edguez, J.M. (eds.) ICWE 2018. LNCS, vol. 11153, pp. 49\u201358. Springer, Cham (2018). \n                    https:\/\/doi.org\/10.1007\/978-3-030-03056-8_5"},{"doi-asserted-by":"crossref","unstructured":"Picco, G.P., Murphy, A.L., Roman, G.C.: Lime: linda meets mobility. In: Proceedings of the 21st International Conference on Software Engineering, ICSE 1999, pp. 368\u2013377. ACM (1999)","key":"18_CR14","DOI":"10.1145\/302405.302659"},{"issue":"3","key":"18_CR15","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1177\/0049124108330005","volume":"37","author":"M Raento","year":"2009","unstructured":"Raento, M., Oulasvirta, A., Eagle, N.: Smartphones: an emerging tool for social scientists. Sociol. Methods Res. 37(3), 426\u2013454 (2009)","journal-title":"Sociol. Methods Res."},{"issue":"2","key":"18_CR16","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1109\/MCOM.2017.7841465","volume":"55","author":"JS Silva","year":"2017","unstructured":"Silva, J.S., Zhang, P., Pering, T., Boavida, F., Hara, T., Liebau, N.C.: People-centric Internet of Things. IEEE Commun. Mag. 55(2), 18\u201319 (2017)","journal-title":"IEEE Commun. Mag."},{"issue":"1","key":"18_CR17","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1109\/MS.2017.26","volume":"34","author":"A Taivalsaari","year":"2017","unstructured":"Taivalsaari, A., Mikkonen, T.: A roadmap to the programmable world: software challenges in the IoT era. IEEE Softw. 34(1), 72\u201380 (2017)","journal-title":"IEEE Softw."},{"issue":"2","key":"18_CR18","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1109\/MIS.2007.41","volume":"22","author":"FY Wang","year":"2007","unstructured":"Wang, F.Y., Carley, K.M., Zeng, D., Mao, W.: Social computing: from social informatics to social intelligence. IEEE Intell. Syst. 22(2), 79\u201383 (2007)","journal-title":"IEEE Intell. Syst."},{"issue":"6","key":"18_CR19","doi-asserted-by":"publisher","first-page":"1295","DOI":"10.1007\/s11276-013-0677-7","volume":"20","author":"Y Wang","year":"2013","unstructured":"Wang, Y., Vasilakos, A.V., Jin, Q., Ma, J.: Survey on mobile social networking in proximity (MSNP): approaches, challenges and architecture. Wirel. Netw. 20(6), 1295\u20131311 (2013). \n                    https:\/\/doi.org\/10.1007\/s11276-013-0677-7","journal-title":"Wirel. Netw."},{"issue":"1","key":"18_CR20","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1016\/j.jss.2012.06.041","volume":"86","author":"W-S Yang","year":"2013","unstructured":"Yang, W.-S., Hwang, S.-Y.: iTravel: a recommender system in mobile peer-to-peer environment. J. Syst. Softw. 86(1), 12\u201320 (2013)","journal-title":"J. Syst. Softw."}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-57506-9_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,10]],"date-time":"2020-09-10T16:20:34Z","timestamp":1599754834000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-57506-9_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030575052","9783030575069"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-57506-9_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"10 September 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SEFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Software Engineering and Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Oslo","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Norway","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 September 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 September 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sefm2019a","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/sefm2019.inria.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"45","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"13","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"7","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"29% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}