D. Garlan, R. Allen, and J. Ockerbloom, Architectural mismatch or why it's hard to build systems out of existing parts, ICSE, pp.179-185, 1995.

W. He and L. D. Xu, Integration of distributed enterprise applications: A survey, IEEE Trans. Ind. Informat, vol.10, issue.1, pp.35-42, 2014.

D. Russo, Software quality concerns in the Italian bank sector: The emergence of a meta-quality dimension, ICSE, pp.63-72, 2017.

L. M. Hitt, D. Wu, and X. Zhou, Investment in enterprise resource planning: Business impact and productivity measures, JMIS, vol.19, issue.1, pp.71-98, 2002.

A. Endres and H. D. Rombach, A handbook of software and systems engineering: Empirical observations, laws, and theories, 2003.

P. C. Evans and R. C. Basole, Revealing the API ecosystem and enterprise strategy via visual analytics, Communications of the ACM, vol.59, issue.2, pp.26-28, 2016.
DOI : 10.1145/2856447

S. Jongmans and F. Arbab, Global consensus through local synchronization: A formal basis for partially-distributed coordination, SCP, vol.115, 2016.
DOI : 10.1016/j.scico.2015.09.001

URL : https://ir.cwi.nl/pub/25162/1-s2.0-S0167642315002609-main.pdf

W. He and L. D. Xu, Integration of distributed enterprise applications: A survey, IEEE Transactions on Industrial Informatics, vol.10, issue.1, pp.35-42, 2014.

, Message Sequence Chart (MSC), Series Z: Languages and General Software Aspects for Telecommunication Systems, 2011.

G. Booch, The unified modeling language user guide, 2005.

T. Allweyer, BPMN 2.0: introduction to the standard for business process modeling, 2016.

T. Leesatapornwongsa, Taxdc: A taxonomy of non-deterministic concurrency bugs in datacenter distributed systems, ACM SIGPLAN Notices, vol.51, issue.4, pp.517-530, 2016.

M. Carbone and F. Montesi, Deadlock-freedom-by-design: multiparty asynchronous global programming, POPL, pp.263-274, 2013.
DOI : 10.1145/2429069.2429101

URL : https://hal.archives-ouvertes.fr/hal-00909320

F. Montesi, Kickstarting choreographic programming, WS-FM, pp.3-10, 2014.
DOI : 10.1007/978-3-319-33612-1_1

URL : http://arxiv.org/pdf/1502.02519

M. D. Preda, Dynamic choreographies: Theory and implementation, Logical Methods in Computer Science, vol.13, issue.2, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01631394

&. Aiocj-website,

M. D. Preda, AIOCJ: A choreographic framework for safe adaptive distributed applications, SLE, pp.161-170, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01089187

W. Hasselbring, Information system integration, Communications of the ACM, vol.43, issue.6, pp.32-38, 2000.

G. Decker, J. M. Zaha, and M. Dumas, Execution semantics for service choreographies, WS-FM, vol.4184, pp.163-177, 2006.

Z. Qiu, X. Zhao, C. Cai, and H. Yang, Towards the theoretical foundation of choreography, pp.973-982, 2007.

S. Mcilvenna, M. Dumas, and M. T. Wynn, Synthesis of orchestrators from service choreographies, APCCM, vol.96, pp.129-138, 2009.

S. Basu, T. Bultan, and M. Ouederni, Deciding choreography realizability, POPL, pp.191-202, 2012.

W. M. Van-der-aalst and M. Weske, The p2p approach to interorganizational workflows, CAiSE, pp.140-156, 2001.

H. Hüttel, Foundations of session types and behavioural contracts, ACM Computing Surveys, vol.49, issue.1, p.3, 2016.

K. Honda, N. Yoshida, and M. Carbone, Multiparty asynchronous session types, J. ACM, vol.63, issue.1, p.67, 2016.

L. Bocchi, Monitoring networks through multiparty session types, Theor. Comput. Sci, vol.669, pp.33-58, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01213683

F. Montesi and N. Yoshida, Compositional choreographies, CONCUR, vol.8052, pp.425-439, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00909321

M. Autili, P. Inverardi, and M. Tivoli, Choreos: large scale choreographies for the future internet, CSMR-WCRE, pp.391-394, 2014.

M. Autili, A model-based synthesis process for choreography realizability enforcement, in FASE, pp.37-52, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00866622

A. Basu, Rigorous component-based system design using the BIP framework, IEEE Software, vol.28, issue.3, pp.41-48, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00722395

F. Arbab, Reo: a channel-based coordination model for component composition, MSCS, vol.14, issue.3, pp.329-366, 2004.

T. T. Hildebrandt, R. R. Mukkamala, and T. Slaats, Nested dynamic condition response graphs, FSEN, vol.7141, pp.343-350, 2011.
DOI : 10.1007/978-3-642-29320-7_23

J. M. Zaha and . Other, Let's dance: A language for service behavior modeling, OTM Confederated International Conferences, pp.145-162, 2006.
DOI : 10.1007/11914853_10

URL : http://eprints.qut.edu.au/4855/1/4855.pdf

F. Callegati, Smart mobility for all: A global federated market for mobilityas-a-service operators, ITSC, pp.1-8, 2017.
DOI : 10.1109/itsc.2017.8317701

URL : https://hal.inria.fr/hal-01631427/file/itsc2017.pdf

I. Lanese, F. Montesi, and G. Zavattaro, Amending choreographies, WWV, vol.123, pp.34-48, 2013.
DOI : 10.4204/eptcs.123.5

URL : https://hal.archives-ouvertes.fr/hal-00909305

S. Basu and T. Bultan, Automated choreography repair, FASE, vol.9633, pp.13-30, 2016.
DOI : 10.1007/978-3-662-49665-7_2

F. Montesi, C. Guidi, and G. Zavattaro, Service-oriented programming with Jolie, pp.81-107, 2014.
DOI : 10.1007/978-1-4614-7518-7_4

URL : https://hal.archives-ouvertes.fr/hal-00909323

, Scribble website

W. Hasselbring, Information system integration: Introduction, Commun. ACM, vol.43, issue.6, pp.32-38, 2000.

J. Humble and D. Farley, Continuous Delivery: Reliable Software Releases through Build, Test, and Deployment Automation, 2010.

P. Rodríguez, Continuous deployment of software intensive products and services: A systematic mapping study, JSS, vol.123, pp.263-291, 2017.

H. Seiifzadeh, A survey of dynamic software updating, Journal of Software: Evolution and Process, vol.25, issue.5, pp.535-568, 2013.

D. Peterson, W3C XML Schema Definition Language (XSD) 1.1 Part 2: Datatypes. W3C, 2012.

K. Bhargavan, Cryptographic protocol synthesis and verification for multiparty sessions, CSF, pp.124-140, 2009.
DOI : 10.1109/csf.2009.26

URL : http://pauillac.inria.fr/~leifer/articles/bhargavan-et-al-cryptographic-protocol-synthesis.pdf