CHOReVOLUTION: Automating the Realization of Highly-Collaborative Distributed Applications

CHOReVOLUTION is a platform for the tool-assisted development and execution of scalable applications that leverage the distributed collaboration of services specified through service choreographies. It offers an Integrated Development and Runtime Environment (IDRE) comprising a wizard-aided development environment, a system monitoring console, and a back-end for managing the deployment and execution of the system on the cloud. We describe the platform by using a simple example and evaluate it against two industrial use cases in the domain of Smart Mobility & Tourism and Urban Traffic Coordination.

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

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

[3]  Francesco Gallo,et al.  On the model-driven synthesis of evolvable service choreographies , 2018, ECSA.

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

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

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

[7]  Francesco Gallo,et al.  Towards Adapting Choreography-Based Service Compositions Through Enterprise Integration Patterns , 2015, SEFM Workshops.

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

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

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

[11]  Paola Inverardi,et al.  Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution , 2013, Software Engineering for Self-Adaptive Systems.

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

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

[14]  Tevfik Bultan,et al.  Realizability analysis for message-based interactions using shared-state projections , 2010, FSE '10.

[15]  Raman Kazhamiakin,et al.  Analysis of Realizability Conditions for Web Service Choreographies , 2006, FORTE.

[16]  Lei Chen,et al.  Choreographing Services for Smart Cities: Smart Traffic Demonstration , 2017, 2017 IEEE 85th Vehicular Technology Conference (VTC Spring).

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

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