. Apache,

, Apache: Apache Syncope

M. Autili, P. Inverardi, and M. Tivoli, Automated synthesis of service choreographies, IEEE Software, vol.32, issue.1, pp.50-57, 2015.

M. Autili, P. Inverardi, A. Perucci, and M. Tivoli, Synthesis of distributed and adaptable coordinators to enable choreography evolution, Software Engineering for Self-Adaptive Systems III. Assurances, pp.282-306, 2017.

M. Autili, P. Inverardi, and M. Tivoli, Choreography realizability enforcement through the automatic synthesis of distributed coordination delegates, Sci. Comput. Program, vol.160, pp.3-29, 2018.

M. Autili, D. D. Ruscio, A. D. Salle, P. Inverardi, and M. Tivoli, A model-based synthesis process for choreography realizability enforcement, Fundamental Approaches to Software Engineering -16th International Conference, FASE 2013, pp.37-52, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00866622

M. Autili, D. D. Ruscio, A. D. Salle, and A. Perucci, CHOReOSynt: enforcing choreography realizability in the future internet, Proceedings of the 22nd ACM SIG-SOFT International Symposium on Foundations of Software Engineering, (FSE-22), pp.723-726, 2014.

M. Autili, A. D. Salle, F. Gallo, C. Pompilio, and M. Tivoli, Model-driven adaptation of service choreographies, Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, pp.1441-1450, 2018.

M. Autili, A. D. Salle, F. Gallo, C. Pompilio, and M. Tivoli, On the model-driven synthesis of adaptable choreographies, Proceedings of MODELS 2018 Workshops: ModComp, pp.12-17, 2018.

M. Autili, A. D. Salle, F. Gallo, C. Pompilio, and M. Tivoli, On the model-driven synthesis of evolvable service choreographies, 12th European Conference on Software Architecture: Companion Proceedings, vol.20, pp.1-20, 2018.

M. Autili, A. D. Salle, F. Gallo, C. Pompilio, and M. Tivoli, Aiding the realization of service-oriented distributed systems, Proceedings of the 34th Annual ACM Symposium on Applied Computing, SAC 2019, pp.1701-1710, 2019.

M. Autili and M. Tivoli, Distributed enforcement of service choreographies, Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA 2014, pp.18-35, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00866629

S. Basu and T. Bultan, Choreography conformance via synchronizability, Proceedings of the 20th International Conference on World Wide Web, WWW 2011, 2011.

S. Basu, T. Bultan, and M. Ouederni, Deciding choreography realizability, Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, 2012.

G. Bouloukakis, Enabling Emergent Mobile Systems in the IoT: from Middlewarelayer Communication Interoperability to Associated QoS Analysis. (Systèmes Mo-bilesÉmergents dans l'IoT: de l'Interopérabilité au niveau Middleware de Communicationà l'Analyse de la Qualité de Service Associée, 2017.
URL : https://hal.archives-ouvertes.fr/tel-01592623

L. Chen and C. Englund, Choreographing services for smart cities: Smart traffic demonstration, 85th IEEE Vehicular Technology Conference, VTC Spring, pp.1-5, 2017.

, Eclipse: Eclipse BPMN2 Modeler, 2018.

:. Emixer and . Emixer,

, Digital Agenda for Europe -Future Internet Research and Experimentation (FIRE) initiative, 2017.

M. Güdemann, P. Poizat, G. Salaün, and L. Ye, Verchor: A framework for the design and verification of choreographies, IEEE Transaction on Services Computing, vol.9, issue.4, pp.647-660, 2016.

S. Hallé and T. Bultan, Realizability analysis for message-based interactions using shared-state projections, Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp.27-36, 2010.

R. Kazhamiakin and M. Pistore, Analysis of realizability conditions for web service choreographies, Formal Techniques for Networked and Distributed Systems -FORTE 2006, 26th IFIP WG 6.1 International Conference, pp.61-76, 2006.

, OMG: Business Process Model And Notation v.2.0, 2014.

G. Salaün, T. Bultan, and N. Roohi, Realizability of choreographies using process algebra encodings, IEEE Trans. Services Computing, vol.5, issue.3, pp.290-304, 2012.

A. D. Salle, F. Gallo, and A. Perucci, Towards adapting choreography-based service compositions through enterprise integration patterns, Software Engineering and Formal Methods -SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, pp.240-252, 2015.

, W3C: SOAP Version, vol.1, 2007.