J. B. Lynch, L. G. Postel, S. S. Roberts, and . Wolff, A brief history of the internet, cs.NI/9901011, 1999.

G. F. Coulouris and J. Dollimore, Distributed Systems: Concepts and Design, 1988.

E. G. Coffman, M. Elphick, and A. Shoshani, System Deadlocks, ACM Computing Surveys, vol.3, issue.2, pp.67-78, 1971.
DOI : 10.1145/356586.356588

R. H. Netzer and B. P. Miller, What are race conditions?: Some issues and formalizations, ACM Letters on Programming Languages and Systems, vol.1, issue.1, pp.74-88, 1992.
DOI : 10.1145/130616.130623

D. Sangiorgi and D. Walker, The ?-calculus: a Theory of Mobile Processes, p.41, 2001.

S. Lu, S. Park, E. Seo, and Y. Zhou, Learning from mistakes: a comprehensive study on real world concurrency bug characteristics, ASPLOS, pp.329-339, 2008.

C. Peltz, Web services orchestration and choreography, Computer, vol.36, issue.10, pp.46-52, 2003.
DOI : 10.1109/MC.2003.1236471

W. Group, Web services choreography description language version 1.0 http://www.w3.org/TR/ws-cdl-10 Business Process Model and Notation, Cited on pages 2, 16, and 80.) [9, 2004.

Z. Qiu, X. Zhao, C. Cai, and H. Yang, Towards the theoretical foundation of choreography, Proceedings of the 16th international conference on World Wide Web , WWW '07, pp.973-982, 2007.
DOI : 10.1145/1242572.1242704

M. Carbone, K. Honda, and N. Yoshida, Structured communicationcentred programming for web services, Proc. of ESOP, pp.2-17, 2007.

I. Lanese, C. Guidi, F. Montesi, and G. Zavattaro, Bridging the Gap between Interaction- and Process-Oriented Choreographies, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods, pp.323-332, 2008.
DOI : 10.1109/SEFM.2008.11

M. Carbone and F. Montesi, Deadlock-freedom-by-design: multiparty asynchronous global programming, POPL, pp.263-274, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00909320

F. Montesi and N. Yoshida, Compositional Choreographies, CONCUR, pp.425-439, 2013.
DOI : 10.1007/978-3-642-40184-8_30
URL : https://hal.archives-ouvertes.fr/hal-00909321

F. Montesi, Kickstarting Choreographic Programming, 1502.
DOI : 10.1007/978-3-319-33612-1_1

M. Carbone, K. Honda, and N. Yoshida, Structured Interactional Exceptions in Session Types, Proc. of CONCUR'08, pp.402-417, 2008.
DOI : 10.1007/978-3-540-85361-9_32

G. Anderson and J. Rathke, Dynamic Software Update for Message Passing Programs, APLAS, pp.207-222
DOI : 10.1007/978-3-642-35182-2_15

F. E. Heart, R. E. Kahn, S. M. Ornstein, W. R. Crowther, and D. C. Walden, The interface message processor for the ARPA computer network, Proceedings of the May 5-7, 1970, spring joint computer conference on, AFIPS '70 (Spring), pp.70-551, 1970.
DOI : 10.1145/1476936.1477021

R. M. Metcalfe and D. R. Boggs, Ethernet: distributed packet switching for local computer networks, Communications of the ACM, vol.19, issue.7, pp.395-404, 1976.
DOI : 10.1145/360248.360253

M. Weiser, century, ACM SIGMOBILE Mobile Computing and Communications Review, vol.3, issue.3, pp.3-11, 1999.
DOI : 10.1145/329124.329126

M. Armbrust, A. Fox, R. Griffith, A. D. Joseph, R. Katz et al., A view of cloud computing, Communications of the ACM, vol.53, issue.4, pp.50-58, 2010.
DOI : 10.1145/1721654.1721672

G. Booch, The unified modeling language user guide. Pearson Education India, 2005.

T. Berners-lee, R. Cailliau, A. Luotonen, H. F. Nielsen, and A. Secret, The World-Wide Web, Communications of the ACM, vol.37, issue.8, pp.76-82, 1994.
DOI : 10.1145/179606.179671

T. Berners-lee, L. Masinter, and M. Mccahill, Uniform resource locators (url), 1994.
DOI : 10.17487/rfc1738

R. Fielding, J. Gettys, J. Mogul, H. Frystyk, L. Masinter et al., Hypertext transfer protocol?http/1.1, 1999.

T. Bray, J. Paoli, C. M. Sperberg-mcqueen, E. Maler, and F. Yergeau, Extensible markup language (xml), " World Wide Web Consortium Recommendation REC-xml-19980210, p.12, 1998.

D. Booth, H. Haas, F. Mccabe, E. Newcomer, M. Champion et al., Web services architecture, w3c working group note, 11 february World Wide Web Consortium, article available from, 2004.

E. Christensen, F. Curbera, and G. Meredith, Web services description language (WSDL) 1.1. w3c, " tech. rep, 2001.

M. P. Papazoglou, Service-oriented computing: Concepts, characteristics and directions D-bus website, pp.3-12, 2003.

E. Frank and I. Redmond, Dcom: Microsoft distributed component object model, 1997.

D. A. Chappell, Enterprise service bus, 2004.

D. Recordon and D. Reed, 0: a platform for user-centric identity management, Proceedings of the second ACM workshop on Digital identity management, pp.11-16, 2006.

G. Decker, O. Kopp, F. Leymann, and M. Weske, BPEL4Chor: Extending BPEL for Modeling Choreographies, IEEE International Conference on Web Services (ICWS 2007), pp.296-303, 2007.
DOI : 10.1109/ICWS.2007.59

R. M. Needham and M. D. Schroeder, Using encryption for authentication in large networks of computers, Communications of the ACM, vol.21, issue.12, pp.993-999, 1978.
DOI : 10.1145/359657.359659

M. Bravetti and G. Zavattaro, Towards a Unifying Theory for Choreography Conformance and Contract Compliance, Proc. of SC'07, pp.34-50, 2007.
DOI : 10.1007/978-3-540-77351-1_4

S. Carpineti and C. Laneve, A Basic Contract Language for Web Services, ESOP'06, pp.197-213, 2006.
DOI : 10.1145/357766.351242

K. Honda, N. Yoshida, and M. Carbone, Multiparty asynchronous session types, Proc. of POPL, pp.273-284, 2008.

K. Honda, V. Vasconcelos, and M. Kubo, Language primitives and type discipline for structured communication-based programming, ESOP'98, pp.22-138, 1998.
DOI : 10.1007/BFb0053567

K. Honda, A. Mukhamedov, G. Brown, T. Chen, and N. Yoshida, Scribbling Interactions with a Formal Foundation, Proc. of ICDCIT, pp.55-75
DOI : 10.1007/978-3-642-19056-8_4

. Savara, JBoss Community

F. Montesi, Chor language website

F. Montesi, C. Guidi, and G. Zavattaro, Service-Oriented Programming with Jolie, Web Services Foundations, pp.81-107
DOI : 10.1007/978-1-4614-7518-7_4
URL : https://hal.archives-ouvertes.fr/hal-00909323

M. A. Hiltunen and R. D. Schlichting, Adaptive distributed and faulttolerant systems, International Journal of Computer Systems Science and Engineering, vol.11, pp.125-133, 1995.

R. Hu, N. Yoshida, and K. Honda, Session-Based Distributed Programming in Java, ECOOP, pp.516-541, 2008.
DOI : 10.1007/978-3-540-70592-5_22

R. Hu, R. Neykova, N. Yoshida, R. Demangeon, and K. Honda, Practical interruptible conversations -distributed dynamic verification with session types and python, RV, pp.130-148
URL : https://hal.archives-ouvertes.fr/hal-01146168

R. Neykova and N. Yoshida, Multiparty session actors, COORDINA- TION 2014, Proceedings, pp.131-146, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01290073

J. O. Kephart and D. M. Chess, The vision of autonomic computing, Computer, vol.36, issue.1, pp.41-50, 2003.
DOI : 10.1109/MC.2003.1160055

M. Salehie and L. Tahvildari, Self-adaptive software, TAAS), p.14, 2009.
DOI : 10.1145/1516533.1516538

G. Salvaneschi, C. Ghezzi, and M. Pradella, An Analysis of Language-Level Support for Self-Adaptive Software, ACM Transactions on Autonomous and Adaptive Systems, vol.8, issue.2, pp.1-7, 2013.
DOI : 10.1145/2491465.2491466

P. Oreizy, N. Medvidovic, and R. N. Taylor, Architecture-based runtime software evolution, Proceedings of the 20th International Conference on Software Engineering, pp.177-186, 1998.
DOI : 10.1109/ICSE.1998.671114

J. Kramer and J. Magee, Self-Managed Systems: an Architectural Challenge, Future of Software Engineering (FOSE '07), pp.259-268, 2007.
DOI : 10.1109/FOSE.2007.19

S. R. White, D. M. Chess, J. O. Kephart, J. E. Hanson, and I. Whalley, An architectural approach to autonomic computing, International Conference on Autonomic Computing, 2004. Proceedings., pp.2-9, 2004.
DOI : 10.1109/ICAC.2004.1301340

C. Ghezzi, M. Pradella, and G. Salvaneschi, An evaluation of the adaptation capabilities in programming languages, Proceeding of the 6th international symposium on Software engineering for adaptive and self-managing systems, SEAMS '11, pp.50-59, 2011.
DOI : 10.1145/1988008.1988016

P. Maes, Concepts and experiments in computational reflection, ACM Sigplan Notices, pp.147-155, 1987.

J. Mccarthy, LISP 1.5 Programmer???s Manual, 1965.
DOI : 10.1007/978-3-662-09507-2_12

T. Ledoux, Implementing proxy objects in a reflective orb, Proc. ECOOP, 1997.

J. Dowling, T. Schäfer, V. Cahill, P. Haraszti, and B. Redmond, Using Reflection to Support Dynamic Adaptation of System Software: A Case Study Driven Evaluation, Reflection and Software Engineering, pp.169-188, 2000.
DOI : 10.1007/3-540-45046-7_10

J. Xu, B. Randell, and A. F. Zorzo, Implementing software-fault tolerance in c++ and open c++: An object-oriented and reflective approach, Proc. CADTED, pp.224-229, 1996.

G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes et al., Aspect-oriented programming, 1997.

A. Popovici, T. Gross, and G. Alonso, Dynamic weaving for aspectoriented programming, Proceedings of the 1st international conference on Aspect-oriented software development, pp.141-147, 2002.

R. Pawlak, L. Duchien, G. Florin, and L. Seinturier, JAC: A Flexible Solution for Aspect-Oriented Programming in Java, Metalevel architectures and separation of crosscutting concerns, pp.1-24, 2001.
DOI : 10.1007/3-540-45429-2_1

R. Pawlak, L. Seinturier, L. Duchien, G. Florin, F. Legond-aubry et al., JAC: an aspect-based distributed dynamic framework, Software: Practice and Experience, pp.1119-1148, 2004.
DOI : 10.1002/spe.605
URL : https://hal.archives-ouvertes.fr/inria-00000042

R. Hirschfeld, P. Costanza, and O. Nierstrasz, Context-oriented Programming., The Journal of Object Technology, vol.7, issue.3, 2008.
DOI : 10.5381/jot.2008.7.3.a4

M. Appeltauer, R. Hirschfeld, M. Haupt, J. Lincke, and M. Perscheid, A comparison of context-oriented programming languages, International Workshop on Context-Oriented Programming, COP '09, 2009.
DOI : 10.1145/1562112.1562118

C. Ghezzi, M. Pradella, and G. Salvaneschi, Programming language support to context-aware adaptation, Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS '10, pp.59-68, 2010.
DOI : 10.1145/1808984.1808991

M. Weske, Business process management: concepts, languages, architectures, 2012.
DOI : 10.1007/978-3-642-28616-2

M. Dumas, W. M. Van-der-aalst, and A. H. Hofstede, Process-aware information systems: bridging people and software through process technology, 2005.
DOI : 10.1002/0471741442

M. Reichert and B. Weber, Enabling flexibility in process-aware information systems: challenges, methods, technologies, 2012.
DOI : 10.1007/978-3-642-30409-5

A. Charfi and M. Mezini, Aspect-Oriented Web Service Composition with AO4BPEL, Web Services, pp.168-182, 2004.
DOI : 10.1007/978-3-540-30209-4_13

G. Castagna, M. Dezani-ciancaglini, and L. Padovani, On Global Types and Multi-party Sessions, Logical Methods in Computer Science, vol.13, issue.4, pp.32-118, 2012.
DOI : 10.1007/978-3-642-12032-9_10
URL : https://hal.archives-ouvertes.fr/hal-00694636

J. A. Bergstra and P. Klint, The discrete time ToolBus ??? A software coordination architecture, Science of Computer Programming, vol.31, issue.2-3, pp.205-229, 1998.
DOI : 10.1016/S0167-6423(97)00021-X

A. Bucchiarone, A. Marconi, M. Pistore, and H. Raik, Dynamic Adaptation of Fragment-Based and Context-Aware Business Processes, 2012 IEEE 19th International Conference on Web Services, pp.33-41
DOI : 10.1109/ICWS.2012.56

W. Chen, M. A. Hiltunen, and R. D. Schlichting, Constructing Adaptive Software in Distributed Systems, Proc. of ICDCS'01, pp.635-643, 2001.

I. Lanese, A. Bucchiarone, and F. Montesi, A Framework for Rule-Based Dynamic Adaptation, Proc. of TGC 2010, pp.284-300, 2010.
DOI : 10.1007/978-3-642-15640-3_19

J. Zhang, H. Goldsby, and B. H. Cheng, Modular verification of dynamically adaptive systems, Proceedings of the 8th ACM international conference on Aspect-oriented software development, AOSD '09, pp.161-172, 2009.
DOI : 10.1145/1509239.1509262

L. Leite, G. A. Oliva, G. Nogueira, M. Gerosa, F. Kon et al., A systematic literature review of service choreography adaptation, Service Oriented Computing and Applications, pp.1-18
DOI : 10.1007/s11761-012-0125-z

S. González, K. Mens, M. Colacioiu, and W. Cazzola, Context traits, Proceedings of the 12th annual international conference on Aspect-oriented software development, AOSD '13, pp.209-220
DOI : 10.1145/2451436.2451461

S. Goetz, I. Savga, and R. , Exploring Role Based Adaptation, pp.21-26, 2008.

Z. Yang, B. H. Cheng, R. E. Stirewalt, J. Sowell, S. M. Sadjadi et al., An aspect-oriented approach to dynamic adaptation, Proceedings of the first workshop on Self-healing systems , WOSS '02, pp.85-92, 2002.
DOI : 10.1145/582128.582144

F. Montesi, C. Guidi, and G. Zavattaro, Service-Oriented Programming with Jolie, Web Services Foundations, pp.81-107
DOI : 10.1007/978-1-4614-7518-7_4
URL : https://hal.archives-ouvertes.fr/hal-00909323

M. Carbone and F. Montesi, Deadlock-Freedom-by-Design: Multiparty Asynchronous Global Programming, POPL, pp.263-274
URL : https://hal.archives-ouvertes.fr/hal-00909320

I. Lanese, F. Montesi, and G. Zavattaro, Amending Choreographies, WWV, pp.34-48
DOI : 10.4204/EPTCS.123.5
URL : https://hal.archives-ouvertes.fr/hal-00909305

J. W. Backus, The syntax and semantics of the proposed international algebraic language of the zurich ACM-GAMM conference, IFIP Congress, pp.125-131, 1959.

I. Eclipse, The eclipse foundation, 2007.

M. Carbone, K. Honda, and N. Yoshida, Structured communicationcentered programming for web services, ACM Trans. Program. Lang. Syst, vol.34, issue.216, pp.2012-96

M. Carbone, F. Montesi, and C. Schürmann, Choreographies, logically, CONCUR, pp.47-62, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01090741

F. Montesi and M. Carbone, Programming Services with Correlation Sets, ICSOC, pp.125-141, 2011.
DOI : 10.1007/978-3-540-68265-3_13

. Chor, Programming Language, p.79

S. Carpineti, C. Laneve, and P. Milazzo, Bopi -A distributed machine for experimenting web services technologies, ACSD 2005, 6-9, pp.202-211, 2005.

R. S. Chin and S. T. Chanson, Distributed, object-based programming systems, ACM Computing Surveys, vol.23, issue.1, pp.91-124, 1991.
DOI : 10.1145/103162.103165

S. Basu, T. Bultan, M. Ouederni, and T. Bray, Deciding choreography realizability The javascript object notation (json) data interchange format, POPL, pp.191-202, 2012.

L. Bettini, M. Coppo, L. D. Antoni, M. D. Luca, M. Dezani-ciancaglini et al., Global Progress in Dynamically Interleaved Multiparty Sessions, in CONCUR LNCS, vol.5201, pp.418-433, 2008.
DOI : 10.1007/978-3-540-85361-9_33

M. Coppo, M. Dezani-ciancaglini, N. Yoshida, and L. Padovani, Global progress for dynamically interleaved multiparty sessions, Mathematical Structures in Computer Science, vol.8, issue.02, pp.1-65
DOI : 10.1007/978-3-642-40184-8_30
URL : https://hal.archives-ouvertes.fr/hal-01486034

B. C. Pierce, Types and Programming Languages, 2002.

N. Busi, R. Gorrieri, C. Guidi, R. Lucchi, and G. Zavattaro, Choreography and Orchestration Conformance for System Design, COORDINA- TION'06, pp.63-81, 2006.
DOI : 10.1007/11767954_5

P. Deniélou and N. Yoshida, Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types, ICALP 2013, Proceedings, Part II, pp.174-186
DOI : 10.1007/978-3-642-39212-2_18

M. Coppo, M. Dezani-ciancaglini, and B. Venneri, Self-adaptive multiparty sessions, Service Oriented Computing and Applications, pp.1-20
DOI : 10.1007/s11761-014-0171-9

C. , D. Giusto, and J. A. Pérez, Disciplined structured communications with consistent runtime adaptation, SAC, p.117, 1913.

S. Capecchi, E. Giachino, and N. Yoshida, Global escape in multiparty sessions, Proc. of FSTTCS 2010, pp.338-351, 2010.
DOI : 10.1007/978-3-540-78739-6_21
URL : https://hal.archives-ouvertes.fr/hal-00909314

I. Jureta, S. Faulkner, and P. Thiran, Dynamic Requirements Specification for Adaptable and Open Service-Oriented Systems, ICSOC, pp.270-282, 2007.
DOI : 10.1007/978-3-540-74974-5_22

S. Rinderle, A. Wombacher, and M. Reichert, Evolution of Process Choreographies in DYCHOR, OTM Conferences, pp.273-290, 2006.
DOI : 10.1007/11914853_17

A. Wombacher, Alignment of Choreography Changes in BPEL Processes, 2009 IEEE International Conference on Services Computing, pp.1-8, 2009.
DOI : 10.1109/SCC.2009.11

M. Bravetti, Towards Global and Local Types for Adaptation, SEFM Workshops, pp.3-14
DOI : 10.1007/978-3-319-05032-4_1
URL : https://hal.archives-ouvertes.fr/hal-01089358

S. Gay and M. Hole, Subtyping for session types in the pi calculus, Acta Informatica, vol.Analysis, issue.1, pp.191-225, 2005.
DOI : 10.1007/s00236-005-0177-z

M. Bravetti, M. Carbone, T. T. Hildebrandt, I. Lanese, J. Mauro et al., Towards Global and Local Types for Adaptation, Software Engineering and Formal Methods -SEFM 2013 Collocated Workshops, pp.3-14, 2013.
DOI : 10.1007/978-3-319-05032-4_1
URL : https://hal.archives-ouvertes.fr/hal-01089358

R. Pawlak, JAC: an aspect-based distributed dynamic framework, Software: Practice and Experience, vol.34, issue.12, pp.1119-1148, 2004.
DOI : 10.1002/spe.605
URL : https://hal.archives-ouvertes.fr/inria-00000042