{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T03:40:19Z","timestamp":1760240419852,"version":"build-2065373602"},"reference-count":58,"publisher":"MDPI AG","issue":"6","license":[{"start":{"date-parts":[[2019,6,14]],"date-time":"2019-06-14T00:00:00Z","timestamp":1560470400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Future Internet"],"abstract":"<jats:p>Next Generation Internet (NGI) is the European initiative launched to identify the future internet technologies, designed to serve the needs of the digitalized society while ensuring privacy, trust, decentralization, openness, inclusion, and business cooperation. NGI provides efficient support to promote diversity, decentralization and the growth of disruptive innovation envisioned by smart cities. After the earthquake of 6 April 2009, the city of L\u2019Aquila is facing a massive and innovative reconstruction process. As a consequence, nowadays, the L\u2019Aquila city can be considered as a living laboratory model for applications within the context of smart cities. This paper describes and evaluates the realization of a Collaborative Road Mobility System (CRMS) for L\u2019Aquila city by using our CHOReVOLUTION approach for the automated choreography production. The CRMS allows vehicles and transport infrastructure to interconnect, share information and use it to coordinate their actions.<\/jats:p>","DOI":"10.3390\/fi11060132","type":"journal-article","created":{"date-parts":[[2019,6,14]],"date-time":"2019-06-14T11:19:58Z","timestamp":1560511198000},"page":"132","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["A Choreography-Based and Collaborative Road Mobility System for L\u2019Aquila City"],"prefix":"10.3390","volume":"11","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5951-1567","authenticated-orcid":false,"given":"Marco","family":"Autili","sequence":"first","affiliation":[{"name":"Department of Information Engineering, Computer Science and Mathematics, Universit\u00e0 degli Studi dell\u2019Aquila, 67100 L\u2019Aquila, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0163-9784","authenticated-orcid":false,"given":"Amleto","family":"Di Salle","sequence":"additional","affiliation":[{"name":"Department of Information Engineering, Computer Science and Mathematics, Universit\u00e0 degli Studi dell\u2019Aquila, 67100 L\u2019Aquila, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0669-5723","authenticated-orcid":false,"given":"Francesco","family":"Gallo","sequence":"additional","affiliation":[{"name":"Department of Information Engineering, Computer Science and Mathematics, Universit\u00e0 degli Studi dell\u2019Aquila, 67100 L\u2019Aquila, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7925-6943","authenticated-orcid":false,"given":"Claudio","family":"Pompilio","sequence":"additional","affiliation":[{"name":"Department of Information Engineering, Computer Science and Mathematics, Universit\u00e0 degli Studi dell\u2019Aquila, 67100 L\u2019Aquila, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9290-1997","authenticated-orcid":false,"given":"Massimo","family":"Tivoli","sequence":"additional","affiliation":[{"name":"Department of Information Engineering, Computer Science and Mathematics, Universit\u00e0 degli Studi dell\u2019Aquila, 67100 L\u2019Aquila, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1968","published-online":{"date-parts":[[2019,6,14]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1080\/17535069.2016.1275618","article-title":"The New Urban Agenda: Key opportunities and challenges for policy and practice","volume":"10","author":"Caprotti","year":"2017","journal-title":"Urban Res. Pract."},{"key":"ref_2","unstructured":"European Commission (2019, March 13). Urban Agenda for the EU. Available online: https:\/\/ec.europa.eu\/futurium\/en\/urban-agenda."},{"key":"ref_3","doi-asserted-by":"crossref","unstructured":"Domingue, J., Galis, A., Gavras, A., Zahariadis, T., Lambert, D., Cleary, F., Daras, P., Krco, S., M\u00fcller, H., and Li, M.S. (2011). Smart Cities and the Future Internet: Towards Cooperation Frameworks for Open Innovation. The Future Internet, Springer.","DOI":"10.1007\/978-3-642-20898-0"},{"key":"ref_4","doi-asserted-by":"crossref","first-page":"2015","DOI":"10.1080\/10630732.2014.942092","article-title":"Smart Cities: Definitions, Dimensions, Performance, and Initiatives","volume":"22","author":"Albino","year":"2015","journal-title":"J. Urban Technol."},{"key":"ref_5","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1111\/j.1467-9787.2010.00693.x","article-title":"Why are Smart Cities Growing? Who Moves and Who Stays","volume":"51","author":"Winters","year":"2011","journal-title":"J. Reg. Sci."},{"key":"ref_6","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/s13132-012-0083-x","article-title":"Special Issue on Smart Cities and the Future Internet in Europe","volume":"4","author":"Komninos","year":"2013","journal-title":"J. Knowl. Econ."},{"key":"ref_7","doi-asserted-by":"crossref","first-page":"697","DOI":"10.1016\/j.scs.2018.01.053","article-title":"Towards sustainable smart cities: A review of trends, architectures, components, and open challenges in smart cities","volume":"38","author":"Silva","year":"2018","journal-title":"Sustain. Cities Soc."},{"key":"ref_8","doi-asserted-by":"crossref","first-page":"592","DOI":"10.1109\/JIOT.2017.2720855","article-title":"A Collaborative Internet of Things Architecture for Smart Cities and Environmental Monitoring","volume":"5","author":"Montori","year":"2018","journal-title":"IEEE Internet Things J."},{"key":"ref_9","unstructured":"Marabissi, D., Mucchi, L., Fantacci, R., Spada, M.R., Massimiani, F., Fratini, A., Cau, G., Yunpeng, J., and Fedele, L. (2019). A Real Case of Implementation of the Future 5G City. Future Internet, 11."},{"key":"ref_10","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1109\/MWC.2009.5300298","article-title":"European research on future Internet design","volume":"16","author":"Stuckmann","year":"2009","journal-title":"IEEE Wirel. Commun."},{"key":"ref_11","doi-asserted-by":"crossref","unstructured":"Dolui, K., and Datta, S.K. (2017, January 6\u20139). Comparison of edge computing implementations: Fog computing, and mobile edge computing. Proceedings of the 2017 Global Internet of Things Summit (GIoTS), Geneva, Switzerland.","DOI":"10.1109\/GIOTS.2017.8016213"},{"key":"ref_12","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1109\/MS.2014.131","article-title":"Automated Synthesis of Service Choreographies","volume":"32","author":"Autili","year":"2015","journal-title":"IEEE Softw."},{"key":"ref_13","doi-asserted-by":"crossref","first-page":"647","DOI":"10.1109\/TSC.2015.2413401","article-title":"VerChor: A Framework for the Design and Verification of Choreographies","volume":"9","author":"Poizat","year":"2016","journal-title":"IEEE Trans. Serv. Comput."},{"key":"ref_14","doi-asserted-by":"crossref","unstructured":"C\u00e1mara, J., Bellman, K.L., Kephart, J.O., Autili, M., Bencomo, N., Diaconescu, A., Giese, H., G\u00f6tz, S., Inverardi, P., and Kounev, S. (2017). Self-aware Computing Systems: Related Concepts and Research Areas. Self-Aware Computing Systems, Springer.","DOI":"10.1007\/978-3-319-47474-8_2"},{"key":"ref_15","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/j.jcss.2019.03.001","article-title":"Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications","volume":"104","author":"Autili","year":"2015","journal-title":"J. Comput. Syst. Sci."},{"key":"ref_16","doi-asserted-by":"crossref","unstructured":"Autili, M., Salle, A.D., Perucci, A., and Tivoli, M. (2015). On the Automated Synthesis of Enterprise Integration Patterns to Adapt Choreography-based Distributed Systems. arXiv.","DOI":"10.4204\/EPTCS.201.3"},{"key":"ref_17","doi-asserted-by":"crossref","unstructured":"Autili, M., Salle, A.D., and Tivoli, M. (2013). Synthesis of Resilient Choreographies. Software Engineering for Resilient Systems, Proceedings of the 5th International Workshop, SERENE 2013, Kiev, Ukraine, 3\u20134 October 2013, Springer.","DOI":"10.1007\/978-3-642-40894-6_8"},{"key":"ref_18","doi-asserted-by":"crossref","unstructured":"Autili, M., Ruscio, D.D., Salle, A.D., Inverardi, P., and Tivoli, M. (2013). A Model-Based Synthesis Process for Choreography Realizability Enforcement. Fundamental Approaches to Software Engineering, Proceedings of the 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, 16\u201324 March 2013, Springer.","DOI":"10.1007\/978-3-642-37057-1_4"},{"key":"ref_19","doi-asserted-by":"crossref","first-page":"2210","DOI":"10.1016\/j.jss.2008.04.006","article-title":"Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems","volume":"8","author":"Autili","year":"2008","journal-title":"J. Syst. Softw."},{"key":"ref_20","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.scico.2017.10.010","article-title":"Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates","volume":"160","author":"Autili","year":"2018","journal-title":"Sci. Comput. Program."},{"key":"ref_21","doi-asserted-by":"crossref","unstructured":"Autili, M., Salle, A.D., Gallo, F., Pompilio, C., and Tivoli, M. (2018, January 9\u201313). Model-driven adaptation of service choreographies. Proceedings of the 33rd Annual ACM Symposium on Applied Computing (SAC \u201918), Pau, France.","DOI":"10.1145\/3167132.3167287"},{"key":"ref_22","doi-asserted-by":"crossref","unstructured":"Autili, M., Salle, A.D., Gallo, F., Pompilio, C., and Tivoli, M. (2019, January 8\u201312). Aiding the Realization of Service-oriented Distributed Systems. Proceedings of the 34th Annual ACM Symposium on Applied Computing (SAC\u201919), Limassol, Cyprus.","DOI":"10.1145\/3297280.3297446"},{"key":"ref_23","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1080\/10630732.2017.1362901","article-title":"Smart City L\u2019Aquila: An Application of the \u201cInfostructure\u201d Approach to Public Urban Mobility in a Post-Disaster Context","volume":"25","author":"Falco","year":"2018","journal-title":"J. Urban Technol."},{"key":"ref_24","unstructured":"Champelovier, D., Clerc, X., Garavel, H., Guerte, Y., Lang, F., Powazny, V., Serwe, W., and Smeding, G. (2011). Reference Manual of the LOTOS NT to LOTOS Translator (Version 5.4), INRIA\/VASY."},{"key":"ref_25","doi-asserted-by":"crossref","unstructured":"Garavel, H., Lang, F., Mateescu, R., and Serwe, W. (2011). CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes. Tools and Algorithms for the Construction and Analysis of Systems, Proceedings of the 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2011), Saarbr\u00fccken, Germany, 26 March\u20133 April 2011, Springer.","DOI":"10.1007\/978-3-642-19835-9_33"},{"key":"ref_26","doi-asserted-by":"crossref","unstructured":"Chakraborty, S., and Mukund, M. (2012). Counterexample Guided Synthesis of Monitors for Realizability Enforcement. Automated Technology for Verification and Analysis, Springer.","DOI":"10.1007\/978-3-642-33386-6"},{"key":"ref_27","unstructured":"Basu, S., and Bultan, T. (April, January 28). Choreography Conformance via Synchronizability. Proceedings of the 20th international conference on World Wide (WWW \u201911), Hyderabad, India."},{"key":"ref_28","doi-asserted-by":"crossref","unstructured":"Benatallah, B., Casati, F., and Traverso, P. (2005). ASTRO: Supporting Composition and Execution of Web Services. Service-Oriented Computing\u2014ICSOC 2005, Springer.","DOI":"10.1007\/11596141"},{"key":"ref_29","unstructured":"Hu, D.H., and Yang, Q. (2008, January 13\u201317). CIGAR: Concurrent and Interleaving Goal and Activity Recognition. Proceedings of the Twenty-Third Conference on Artificial Intelligence (AAAI-08), Chicago, IL, USA."},{"key":"ref_30","doi-asserted-by":"crossref","unstructured":"Carbone, M., and Montesi, F. (2013, January 23\u201325). Deadlock-freedom-by-design: Multiparty asynchronous global programming. Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL\u201913), Rome, Italy.","DOI":"10.1145\/2429069.2429101"},{"key":"ref_31","unstructured":"Lanese, I., Montesi, F., and Zavattaro, G. (2015). The Evolution of Jolie\u2014From Orchestrations to Adaptable Choreographies. Software, Services, and Systems\u2014Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering, Springer."},{"key":"ref_32","doi-asserted-by":"crossref","unstructured":"Passerone, R., de Alfaro, L., Henzinger, T.A., and Sangiovanni-Vincentelli, A.L. (2002, January 10\u201314). Convertibility verification and converter synthesis: Two faces of the same coin. Proceedings of the 2002 IEEE\/ACM International Conference on Computer-aided Design (ICCAD 2002), San Jose, CA, USA.","DOI":"10.1145\/774572.774592"},{"key":"ref_33","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1109\/TSE.2014.2364844","article-title":"Automated Synthesis of Mediators to Support Component Interoperability","volume":"41","author":"Bennaceur","year":"2015","journal-title":"IEEE Trans. Softw. Eng."},{"key":"ref_34","first-page":"18","article-title":"Automatic Service Composition and Synthesis: The Roman Model","volume":"31","author":"Calvanese","year":"2008","journal-title":"IEEE Data Eng. Bull."},{"key":"ref_35","doi-asserted-by":"crossref","unstructured":"Sala\u00fcn, G. (2008, January 10\u201314). Generation of Service Wrapper Protocols from Choreography Specifications. Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2008), Cape Town, South Africa.","DOI":"10.1109\/SEFM.2008.42"},{"key":"ref_36","doi-asserted-by":"crossref","unstructured":"Poizat, P., and Sala\u00fcn, G. (2012, January 26\u201330). Checking the realizability of BPMN 2.0 choreographies. Proceedings of the ACM Symposium on Applied Computing (SAC 2012), Riva, Trento, Italy.","DOI":"10.1145\/2245276.2232095"},{"key":"ref_37","doi-asserted-by":"crossref","unstructured":"Basu, S., Bultan, T., and Ouederni, M. (2012, January 22\u201328). Deciding choreography realizability. Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, PA, USA.","DOI":"10.1145\/2103656.2103680"},{"key":"ref_38","unstructured":"G\u00f6\u00dfler, G., and Sala\u00fcn, G. (2011). Realizability of Choreographies for Services Asynchronously. Formal Aspects of Component Software, Proceedings of the 8th International Symposium (FACS 2011), Oslo, Norway, 14\u201316 September 2011, Springer. Revised Selected Papers."},{"key":"ref_39","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1109\/TSC.2011.9","article-title":"Realizability of Choreographies Using Process Algebra Encodings","volume":"5","author":"Bultan","year":"2012","journal-title":"IEEE Trans. Serv. Comput."},{"key":"ref_40","doi-asserted-by":"crossref","unstructured":"Basu, S., and Bultan, T. (2014, January 15\u201319). Automatic verification of interactions in asynchronous systems with unbounded buffers. Proceedings of the ACM\/IEEE International Conference on Automated Software Engineering (ASE \u201914), Vasteras, Sweden.","DOI":"10.1145\/2642937.2643016"},{"key":"ref_41","unstructured":"Autili, M., and Tivoli, M. (2014). Distributed Enforcement of Service Choreographies. arXiv."},{"key":"ref_42","doi-asserted-by":"crossref","unstructured":"Autili, M., Ruscio, D.D., Salle, A.D., and Perucci, A. (2014, January 16\u201322). CHOReOSynt: Enforcing choreography realizability in the future internet. Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China.","DOI":"10.1145\/2635868.2661667"},{"key":"ref_43","doi-asserted-by":"crossref","unstructured":"Autili, M., Salle, A.D., Gallo, F., Pompilio, C., and Tivoli, M. (2018, January 14). On the Model-driven Synthesis of Adaptable Choreographies. Proceedings of the 5th International Workshop on Model-Driven Engineering for Component-Based Software Systems (ModComp 2018) Co-Located at MODELS 2018, Copenhagen, Denmark.","DOI":"10.1145\/3241403.3241425"},{"key":"ref_44","unstructured":"Bouloukakis, G. (2017). Enabling Emergent Mobile Systems in the IoT: From Middleware-Layer Communication Interoperability to Associated QoS Analysis. (Syst\u00e8mes Mobiles \u00c9mergents dans l\u2019IoT: de l\u2019Interop\u00e9rabilit\u00e9 au niveau Middleware de Communication \u00e0 l\u2019Analyse de la Qualit\u00e9 de Service Associ\u00e9e). [Ph.D. Thesis, INRIA]."},{"key":"ref_45","unstructured":"Apache (2019, June 14). Apache Syncope. Available online: https:\/\/syncope.apache.org\/."},{"key":"ref_46","unstructured":"Apache (2019, June 14). Apache Brooklyn. Available online: https:\/\/brooklyn.apache.org\/."},{"key":"ref_47","unstructured":"OpenStack (2019, June 14). Open Stack. Available online: https:\/\/www.openstack.org\/."},{"key":"ref_48","unstructured":"Amazon (2019, June 14). Amazon Elastic Compute Cloud (Amazon EC2). Available online: https:\/\/aws.amazon.com\/ec2\/."},{"key":"ref_49","doi-asserted-by":"crossref","unstructured":"Valenti, M., Masedu, F., Mazza, M., Tiberti, S., Di Giovanni, C., Calvarese, A., Pirro, R., and Sconci, V. (2013). A longitudinal study of quality of life of earthquake survivors in L\u2019Aquila, Italy. BMC Public Health, 13.","DOI":"10.1186\/1471-2458-13-1143"},{"key":"ref_50","unstructured":"SMAU (2019, March 13). L\u2019Aquila Smart City: Rete Elettrica Intelligente e Verde. Available online: https:\/\/www.smau.it\/milano15\/success_stories\/laquila-smart-city-rete-elettrica-intelligente-e-mobilita-verde\/."},{"key":"ref_51","first-page":"291","article-title":"A survey on Internet of Things architectures","volume":"30","author":"Ray","year":"2018","journal-title":"J. King Saud Univ. Comput. Inf. Sci."},{"key":"ref_52","unstructured":"Presidency of the Council of Ministers (2019, March 13). Linee del Programma a Sostegno Delle Attivit\u00e0 Produttive e Della Ricerca (Delibera CIPE n.135\/2012). Available online: http:\/\/sisma2009.governo.it\/intervento\/ricostruzioni\/sviluppo\/azioni-per-lo-sviluppo\/."},{"key":"ref_53","unstructured":"MISE (2019, March 13). Progetto 5G\u2014Area 2: Prato e L\u2019Aquila, Available online: https:\/\/www.mise.gov.it\/images\/stories\/documenti\/Sintesi-progetto-5g-presentazione-13102017.pdf."},{"key":"ref_54","unstructured":"Fiber, O. (2019, March 13). Open Fiber e Wind Tre, al via la sperimentazione del 5g a L\u2019Aquila, Available online: https:\/\/www.mise.gov.it\/images\/stories\/documenti\/Sintesi-progetto-5g-presentazione-13102017.pdf."},{"key":"ref_55","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1080\/01969722.2019.1565120","article-title":"Smart Cities Concept: Smart Mobility Indicator","volume":"50","author":"Orlowski","year":"2019","journal-title":"Cybern. Syst."},{"key":"ref_56","doi-asserted-by":"crossref","first-page":"884","DOI":"10.1109\/LCOMM.2019.2907947","article-title":"Random Waypoint Mobility Model in Space Modulation Systems","volume":"23","author":"Althunibat","year":"2019","journal-title":"IEEE Commun. Lett."},{"key":"ref_57","unstructured":"Fielding, R.T. (2000). Architectural Styles and the Design of Network-based Software Architectures. [Ph.D. Thesis, University of California]."},{"key":"ref_58","unstructured":"Shull, F., Singer, J., and Sjberg, D.I.K. (2010). Guide to Advanced Empirical Software Engineering, Springer. [1st ed.]."}],"container-title":["Future Internet"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/1999-5903\/11\/6\/132\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T12:58:34Z","timestamp":1760187514000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/1999-5903\/11\/6\/132"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,14]]},"references-count":58,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2019,6]]}},"alternative-id":["fi11060132"],"URL":"https:\/\/doi.org\/10.3390\/fi11060132","relation":{},"ISSN":["1999-5903"],"issn-type":[{"type":"electronic","value":"1999-5903"}],"subject":[],"published":{"date-parts":[[2019,6,14]]}}}