T. Bultan, Modeling interactions of web software, Proceedings of WWV 2006, pp.45-52, 2006.

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

S. Rinderle, A. Wombacher, and M. Reichert, On the controlled evolution of process choreographies, Proceedings of ICDE 2006, pp.124-124, 2006.

S. H. Ryu, F. Casati, H. Skogsrud, B. Benatallah, and R. Saint-paul, Supporting the dynamic evolution of web service protocols in service-oriented architectures, ACM Trans. Web (TWEB), vol.2, issue.2, p.13, 2008.

N. Roohi and G. Salaün, Realizability and dynamic reconfiguration of chor specifications, Informatica (Slovenia), vol.35, issue.1, pp.39-49, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00538959

M. Güdemann, G. Salaün, and M. Ouederni, Counterexample guided synthesis of monitors for realizability enforcement, ATVA 2012, vol.7561, pp.238-253, 2012.

S. Basu and T. Bultan, Automated choreography repair, FASE 2016, vol.9633, pp.13-30, 2016.

J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory. Languages and Computation, 1979.

Z. Farah, Y. Ait-ameur, M. Ouederni, and K. Tari, A correct-by-construction model for asynchronously communicating systems, Int. J. Softw. Tools Technol. Transfer, vol.1, p.21, 2016.

H. Ben-abdallah and S. Leue, Syntactic detection of process divergence and non-local choice in message sequence charts, TACAS 1997, vol.1217, pp.259-274, 1997.

J. R. Abrial, Modeling in Event-B: System and Software Engineering, 2010.

R. Project, Rigorous Open Development Environment for Complex Systems, 2004.

N. Medvidovic, ADLs and dynamic Architecture Changes, Proceedings of SIG-SOFT 1996 Workshops, pp.24-27, 1996.

L. A. Leite, G. A. Oliva, G. M. Nogueira, M. A. Gerosa, F. Kon et al., A Systematic Literature Review of Service Choreography Adaptation. SOCA, vol.7, issue.3, pp.199-216, 2013.

A. Wombacher, Alignment of choreography changes in BPEL processes, Proceedings of SCC 2009, pp.1-8, 2009.

S. Rinderle, A. Wombacher, and M. Reichert, Evolution of process choreographies in DYCHOR, OTM 2006, vol.4275, pp.273-290, 2006.

M. Dalla-preda, M. Gabbrielli, S. Giallorenzo, I. Lanese, and J. Mauro, Dynamic choreographies, Coordination Models and Languages, vol.9037, pp.67-82, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01631394

W. Fdhila, C. Indiono, S. Rinderle-ma, and M. Reichert, Dealing with change in process choreographies: design and implementation of propagation algorithms, Inf. Syst, vol.49, pp.1-24, 2015.

I. J. Jureta, S. Faulkner, and P. Thiran, Dynamic requirements specification for adaptable and open service-oriented systems, ICSOC 2007, vol.4749, pp.270-282, 2007.

E. Börger and K. D. Schewe, Concurrent abstract state machines, Acta Informatica, pp.1-24, 2015.