CHOReVOLUTION: Hands-On In-Service Training for Choreography-Based Systems

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. In this tutorial paper, we describe the platform and demonstrate its step-by-step application to an industrial use case in the domain of Smart Mobility & Tourism. (Demo Video: youtu.be/ae2jI9SYsvg) (GitHub: https://github.com/chorevolution/CHOReVOLUTION-IDRE)

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

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

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

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

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

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

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

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

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

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

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

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

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

[14]  Samik Basu,et al.  Automated Choreography Repair , 2016, FASE.

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

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

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

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

[19]  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 .

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

[21]  Tevfik Bultan,et al.  Realizability of Choreographies Using Process Algebra Encodings , 2012, IEEE Transactions on Services Computing.