A Choreography-Based and Collaborative Road Mobility System for L'Aquila City

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’Aquila is facing a massive and innovative reconstruction process. As a consequence, nowadays, the L’Aquila 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’Aquila 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.

[1]  Roy Fielding,et al.  Architectural Styles and the Design of Network-based Software Architectures"; Doctoral dissertation , 2000 .

[2]  Anna Philippou,et al.  Tools and Algorithms for the Construction and Analysis of Systems , 2018, Lecture Notes in Computer Science.

[3]  Alberto L. Sangiovanni-Vincentelli,et al.  Convertibility verification and converter synthesis: two faces of the same coin , 2002, ICCAD 2002.

[4]  Piergiorgio Bertoli,et al.  ASTRO: Supporting Composition and Execution of Web Services , 2005, ICSOC.

[5]  Janice Singer,et al.  Guide to Advanced Empirical Software Engineering , 2007 .

[6]  Alfredo Navarra,et al.  Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems , 2008, J. Syst. Softw..

[7]  Qiang Yang,et al.  CIGAR: Concurrent and Interleaving Goal and Activity Recognition , 2008 .

[8]  Diego Calvanese,et al.  Automatic Service Composition and Synthesis: the Roman Model , 2008, IEEE Data Eng. Bull..

[9]  Gwen Salaün.  Generation of Service Wrapper Protocols from Choreography Specifications , 2008, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods.

[10]  Peter Stuckmann,et al.  European research on future Internet design , 2009, IEEE Wireless Communications.

[11]  Gwen Salaün,et al.  Realizability of Choreographies for Services Interacting Asynchronously , 2011, FACS.

[12]  Hans Schaffers,et al.  Smart Cities and the Future Internet: Towards Cooperation Frameworks for Open Innovation , 2011, Future Internet Assembly.

[13]  Samik Basu,et al.  Choreography conformance via synchronizability , 2011, WWW.

[14]  John V. Winters.  Why are Smart Cities Growing? Who Moves and Who Stays , 2008, SSRN Electronic Journal.

[15]  Radu Mateescu,et al.  CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes , 2011, TACAS.

[16]  Gwen Salaün,et al.  Counterexample Guided Synthesis of Monitors for Realizability Enforcement , 2012, ATVA.

[17]  Tevfik Bultan,et al.  Realizability of Choreographies Using Process Algebra Encodings , 2012, IEEE Trans. Serv. Comput..

[18]  Gwen Salaün,et al.  Checking the realizability of BPMN 2.0 choreographies , 2012, SAC '12.

[19]  Samik Basu,et al.  Deciding choreography realizability , 2012, POPL '12.

[20]  Radu Mateescu,et al.  CADP 2011: a toolbox for the construction and analysis of distributed processes , 2012, International Journal on Software Tools for Technology Transfer.

[21]  Fabrizio Montesi,et al.  Deadlock-freedom-by-design: multiparty asynchronous global programming , 2013, POPL.

[22]  N. Komninos,et al.  Special Issue on Smart Cities and the Future Internet in Europe , 2012, Journal of the Knowledge Economy.

[23]  Paola Inverardi,et al.  A Model-Based Synthesis Process for Choreography Realizability Enforcement , 2013, FASE.

[24]  Massimo Tivoli,et al.  Synthesis of Resilient Choreographies , 2013, SERENE.

[25]  M. Valenti,et al.  A longitudinal study of quality of life of earthquake survivors in L’Aquila, Italy , 2013, BMC Public Health.

[26]  Massimo Tivoli,et al.  Distributed Enforcement of Service Choreographies , 2014, FOCLASA.

[27]  Davide Di Ruscio,et al.  CHOReOSynt: enforcing choreography realizability in the future internet , 2014, FSE 2014.

[28]  Samik Basu,et al.  Automatic verification of interactions in asynchronous systems with unbounded buffers , 2014, ASE.

[29]  Paola Inverardi,et al.  Automated Synthesis of Service Choreographies , 2015, IEEE Software.

[30]  Ivan Lanese,et al.  The Evolution of Jolie - From Orchestrations to Adaptable Choreographies , 2015, Software, Services, and Systems.

[31]  Valérie Issarny,et al.  Automated Synthesis of Mediators to Support Component Interoperability , 2015, IEEE Transactions on Software Engineering.

[32]  U. Berardi,et al.  Smart Cities: Definitions, Dimensions, Performance, and Initiatives , 2015 .

[33]  Massimo Tivoli,et al.  On the Automated Synthesis of Enterprise Integration Patterns to Adapt Choreography-based Distributed Systems , 2015, FOCLASA.

[34]  Lina Ye,et al.  VerChor: A Framework for the Design and Verification of Choreographies , 2016, IEEE Transactions on Services Computing.

[35]  Georgios Bouloukakis.  Enabling Emergent Mobile Systems in the IoT: from Middleware-layer Communication Interoperability to Associated QoS Analysis. (Systèmes Mobiles Émergents dans l'IoT: de l'Interopérabilité au niveau Middleware de Communication à l'Analyse de la Qualité de Service Associée) , 2017 .

[36]  V. C. Broto,et al.  The New Urban Agenda: key opportunities and challenges for policy and practice , 2017 .

[37]  Ada Diaconescu,et al.  Self-aware Computing Systems: Related Concepts and Research Areas , 2017, Self-Aware Computing Systems.

[38]  Soumya Kanti Datta,et al.  Comparison of edge computing implementations: Fog computing, cloudlet and mobile edge computing , 2017, 2017 Global Internet of Things Summit (GIoTS).

[39]  Francesco Gallo,et al.  On the Model-driven Synthesis of Adaptable Choreographies , 2018, MODELS Workshops.

[40]  Francesco Gallo,et al.  Model-driven adaptation of service choreographies , 2018, SAC.

[41]  Luciano Bononi,et al.  A Collaborative Internet of Things Architecture for Smart Cities and Environmental Monitoring , 2018, IEEE Internet of Things Journal.

[42]  Francesco Gallo,et al.  Smart City L’Aquila: An Application of the “Infostructure” Approach to Public Urban Mobility in a Post-Disaster Context , 2018 .

[43]  Partha Pratim Ray.  A survey on Internet of Things architectures , 2018, J. King Saud Univ. Comput. Inf. Sci..

[44]  Bhagya Nathali Silva,et al.  Towards sustainable smart cities: A review of trends, architectures, components, and open challenges in smart cities , 2018 .

[45]  Paola Inverardi,et al.  Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates , 2017, Sci. Comput. Program..

[46]  Romano Fantacci,et al.  A Real Case of Implementation of the Future 5G City , 2018, Future Internet.

[47]  Aleksander Orlowski,et al.  Smart Cities Concept: Smart Mobility Indicator , 2019, Cybern. Syst..

[48]  Raed Mesleh,et al.  Random Waypoint Mobility Model in Space Modulation Systems , 2019, IEEE Communications Letters.

[49]  Paola Inverardi,et al.  Automated synthesis of application-layer connectors from automata-based specifications , 2019, J. Comput. Syst. Sci..

[50]  Francesco Gallo,et al.  Aiding the realization of service-oriented distributed systems , 2019, SAC.