R. Abid, G. Salaün, F. Bongiovanni, and N. Palma, Verification of a Dynamic Management Protocol for Cloud Applications, Proc. of ATVA'13, pp.178-192, 2013.
DOI : 10.1007/978-3-319-02444-8_14
URL : https://hal.archives-ouvertes.fr/hal-00863262

N. Aguirre and T. Maibaum, A Logical Basis for the Specification of Reconfigurable Component-Based Systems, Proc. of FASE'03, FASE'03, pp.37-51, 2003.
DOI : 10.1007/3-540-36578-8_4

R. Allen, R. Douence, and D. Garlan, Specifying and analyzing dynamic software architectures, Proc. of FASE'98, pp.21-37, 1998.
DOI : 10.1007/BFb0053581
URL : http://repository.cmu.edu/cgi/viewcontent.cgi?article=1704&context=compsci

R. Allen, R. Douence, and D. Garlan, Specifying and analyzing dynamic software architectures, Proc. of FASE'98, pp.21-37, 1998.
DOI : 10.1007/BFb0053581
URL : http://repository.cmu.edu/cgi/viewcontent.cgi?article=1704&context=compsci

R. Allen and D. Garlan, Formalizing architectural connection, Proceedings of 16th International Conference on Software Engineering, pp.71-80, 1994.
DOI : 10.1109/ICSE.1994.296767
URL : http://repository.cmu.edu/cgi/viewcontent.cgi?article=1724&context=compsci

F. Arbab, The IWIM model for coordination of concurrent activities, Proc. of COORDINATION '96, COORDINATION '96, pp.34-56, 1996.
DOI : 10.1007/3-540-61052-9_38

F. Arbab, What Do You Mean, Coordination? In Bulletin of the Dutch Association for Theoretical Computer Science (NVTI), pp.11-22, 1998.

F. Arbab, Reo: a channel-based coordination model for component composition, Mathematical Structures in Computer Science, vol.14, issue.3, pp.329-366, 2004.
DOI : 10.1017/S0960129504004153

F. Arbab, I. Herman, and P. Spilling, An Overview of Manifold and its Implementation. Concurrency: Practice and Experience, pp.23-70, 1993.

C. Attiogbé, Event-Based Approach to Modelling Dynamic Architecture: Application to Mobile Ad-Hoc Network, Proc. of ISoLA' 08, pp.769-781, 2008.
DOI : 10.1007/11415787_2

C. Baier and J. P. Katoen, Principles of Model Checking, p.30, 2008.

H. M. Bandara and A. P. Jayasumana, Collaborative applications over peer-to-peer systems???challenges and solutions, Peer-to-Peer Networking and Applications, vol.38, issue.4, 2012.
DOI : 10.1145/1402946.1402999

S. Basu and T. Bultan, Automatic verification of interactions in asynchronous systems with unbounded buffers, Proceedings of the 29th ACM/IEEE international conference on Automated software engineering, ASE '14, pp.743-754, 2014.
DOI : 10.1145/2642937.2643016

G. Behrmann, A. David, and K. G. Larsen, A Tutorial on Uppaal, Proc. of SFM'04, pp.200-236, 2004.
DOI : 10.1007/978-3-540-30080-9_7

J. A. Bergstra and J. W. Klop, Process algebra for synchronous communication, Information and Control, vol.60, issue.1-3, pp.109-137, 1984.
DOI : 10.1016/S0019-9958(84)80025-X
URL : https://doi.org/10.1016/s0019-9958(84)80025-x

M. Bertier, O. Marin, and P. Sens, Implementation and performance evaluation of an adaptable failure detector, Proceedings International Conference on Dependable Systems and Networks, pp.354-363, 2002.
DOI : 10.1109/DSN.2002.1028920
URL : https://hal.archives-ouvertes.fr/hal-01544787

K. Birman, R. V. Renesse, and W. Vogels, Adding high availability and autonomic behavior to Web services, Proceedings. 26th International Conference on Software Engineering, pp.17-26, 2004.
DOI : 10.1109/ICSE.2004.1317410

A. H. Bond and L. Gasser, An Analysis of Problems and Research in DAI, Distributed Artificial Intelligence, p.24, 1988.

F. Boyer, O. Gruber, and D. Pous, Robust reconfigurations of component assemblies, 2013 35th International Conference on Software Engineering (ICSE), pp.13-22, 2013.
DOI : 10.1109/ICSE.2013.6606547
URL : https://hal.archives-ouvertes.fr/hal-00966078

F. Boyer, O. Gruber, and G. Salaün, Specifying and Verifying the SYNERGY Reconfiguration Protocol with LOTOS??NT and CADP, Proc. of FM'11, pp.103-117, 2011.
DOI : 10.1016/S0167-6423(02)00094-1
URL : https://hal.archives-ouvertes.fr/hal-00648909

D. Brand and P. Zafiropulo, On Communicating Finite-State Machines, Journal of the ACM, vol.30, issue.2, pp.323-342, 1983.
DOI : 10.1145/322374.322380

I. Brandic, Towards Self-Manageable Cloud Services, 2009 33rd Annual IEEE International Computer Software and Applications Conference, pp.128-133, 1922.
DOI : 10.1109/COMPSAC.2009.126

A. Brogi, N. Busi, M. Gabbrielli, and G. Zavattaro, Comparative analysis of the expressiveness of shared dataspace coordination1 1Work partially supported by Italian Ministry of University - MURST 40% - Progetto TOSCA., Electronic Notes in Theoretical Computer Science, vol.62, pp.102-115, 2001.
DOI : 10.1016/S1571-0661(04)00322-6

A. Brogi and P. Ciancarini, The concurrent language, Shared Prolog, ACM Transactions on Programming Languages and Systems, vol.13, issue.1, pp.99-123, 1991.
DOI : 10.1145/114005.102807

S. D. Brookes, C. A. Hoare, and A. W. Roscoe, A Theory of Communicating Sequential Processes, Journal of the ACM, vol.31, issue.3, pp.560-599, 1928.
DOI : 10.1145/828.833

T. Bures, P. Hnetynka, and F. Plasil, SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model, Fourth International Conference on Software Engineering Research, Management and Applications (SERA'06), pp.40-48, 2006.
DOI : 10.1109/SERA.2006.62

R. Buyya, R. N. Calheiros, and X. Li, Autonomic Cloud computing: Open challenges and architectural elements, 2012 Third International Conference on Emerging Applications of Information Technology, pp.3-10, 2012.
DOI : 10.1109/EAIT.2012.6407847

R. Buyya, S. Y. Chee, and S. Venugopal, Market-Oriented Cloud Computing: Vision, Hype, and Reality for Delivering IT Services as Computing Utilities, 2008 10th IEEE International Conference on High Performance Computing and Communications, pp.5-13, 2009.
DOI : 10.1109/HPCC.2008.172

J. Camilleri, An operational semantics for occam, International Journal of Parallel Programming, vol.18, issue.5, pp.365-400, 1989.
DOI : 10.1007/BF01379186

A. Cansado, C. Canal, G. Salaün, and J. Cubo, A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation, Electronic Notes in Theoretical Computer Science, vol.263, pp.95-110, 2010.
DOI : 10.1016/j.entcs.2010.05.006

J. Cao, A. Chan, Y. Sun, and K. Zhang, Dynamic configuration management in a graph-oriented Distributed Programming Environment, Science of Computer Programming, vol.48, issue.1, pp.43-65, 2003.
DOI : 10.1016/S0167-6423(02)00168-5

S. Carsten, K. Andreas, and K. Wolfgang, Formal Methods for the Validation of Automotive Product Configuration Data, Artificial Intelligence for Engineering Design Analysis and Manufacturing, vol.17, issue.21, 2003.

C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, p.63, 2006.

M. Catan, R. D. Cosmo, A. Eiche, T. Lascu, M. Lienhardt et al., Aeolus: Mastering the Complexity of Cloud Application Deployment, Proc. of ES- OCC'13, pp.1-3, 2013.
DOI : 10.1007/978-3-642-40651-5_1
URL : https://hal.archives-ouvertes.fr/hal-00909298

D. Champelovier, X. Clerc, H. Garavel, Y. Guerte, F. Lang et al., Reference Manual of the LO- TOS NT to LOTOS Translator (Version 6, p.32, 2015.

D. Champelovier, X. Clerc, H. Garavel, Y. Guerte, V. Powazny et al., Reference Manual of the LOTOS NT to LO- TOS Translator (Version 5.4) INRIA/VASY, p.93, 2011.

B. Chapman, M. Haines, P. Mehrota, H. Zima, and J. Van-rosendale, Opus: A Coordination Language for Multidisciplinary Applications, Scientific Programming, vol.6, issue.4, pp.345-362, 1997.
DOI : 10.1155/1997/632908

C. Chapman, W. Emmerich, F. Galán-márquez, S. Clayman, and A. Galis, Software Architecture Definition for On-demand Cloud Provisioning, Proc. of HPDC'10, pp.61-72, 2010.

C. Chapman, W. Emmerich, F. G. Marquez, S. Clayman, and A. Galis, Elastic service definition in computational clouds, 2010 IEEE/IFIP Network Operations and Management Symposium Workshops, pp.327-334, 2010.
DOI : 10.1109/NOMSW.2010.5486555

I. Chopra and M. Singh, Analysing the need for autonomic behaviour in grid computing, 2010 The 2nd International Conference on Computer and Automation Engineering (ICCAE), pp.535-539, 1921.
DOI : 10.1109/ICCAE.2010.5451880

P. Ciancarini, PoliS: a programming model for multiple tuple spaces, Proceedings of the Sixth International Workshop on Software Specification and Design, pp.44-51, 1991.
DOI : 10.1109/IWSSD.1991.213078

E. M. Clarke, W. Klieber, M. Nová?ek, and P. Zuliani, Model Checking and the State Explosion Problem, Tools for Practical Software Verification, p.143, 2012.
DOI : 10.2140/pjm.1955.5.285

. Cloudtweaks, The 4 Primary Cloud Deployment Models, p.18, 2012.

G. Coulouris, J. Dollimore, T. Kindberg, and G. Blair, Distributed Systems: Concepts and Design, p.12, 2011.

P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Mine et al., The ASTRE?? Analyzer, Proc. of ESOP' 05, pp.21-30, 2005.
DOI : 10.1007/978-3-540-31987-0_3

R. Das, J. O. Kephart, C. Lefurgy, G. Tesauro, D. W. Levine et al., Autonomic Multi-agent Management of Power and Performance in Data Centers International Foundation for Autonomous Agents and Multiagent Systems, Proc. of AAMAS '08, pp.107-114, 2008.

G. Delaval, S. M. Gueye, É. Rutten, and N. Palma, Modular coordination of multiple autonomic managers, Proceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering, CBSE '14, pp.3-12, 2014.
DOI : 10.1145/2602458.2602465
URL : https://hal.archives-ouvertes.fr/hal-01006106

G. Delaval, H. Marchand, and É. Rutten, Contracts for Modular Discrete Controller Synthesis, Proc. of LCTES'10, pp.57-66, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00476910

A. Eastwood, Firm Fires Shots at Legacy Systems, Computing Canada, vol.19, issue.2, pp.17-29, 1993.

P. Emanuelsson and U. Nilsson, A Comparative Study of Industrial Static Analysis Tools, Electronic Notes in Theoretical Computer Science, vol.217, pp.5-21, 1926.
DOI : 10.1016/j.entcs.2008.06.039

L. Erlikh, Leveraging Legacy System Dollars for E-Business. IT Professional, pp.17-23, 2000.

X. Etchevers, T. Coupaye, F. Boyer, N. De, and . Palma, Self-Configuration of Distributed Applications in the Cloud, 2011 IEEE 4th International Conference on Cloud Computing, pp.668-675, 2011.
DOI : 10.1109/CLOUD.2011.65
URL : https://hal.archives-ouvertes.fr/hal-00941398

X. Etchevers, T. Coupaye, F. Boyer, N. D. Palma, and G. Salaün, Automated Configuration of Legacy Applications in the Cloud, 2011 Fourth IEEE International Conference on Utility and Cloud Computing, pp.170-177, 2011.
DOI : 10.1109/UCC.2011.32
URL : https://hal.archives-ouvertes.fr/hal-00665592

X. Etchevers, G. Salaün, F. Boyer, T. Coupaye, and N. Palma, Reliable self-deployment of cloud applications, Proceedings of the 29th Annual ACM Symposium on Applied Computing, SAC '14, pp.1331-1338, 2014.
DOI : 10.1145/2554850.2554951
URL : https://hal.archives-ouvertes.fr/hal-00934042

J. Fischer, R. Majumdar, and S. Esmaeilsabzali, Engage: A Deployment Management System, Proc. of PLDI'12, pp.263-274

H. Garavel, F. Lang, and R. Mateescu, Compositional Verification of Asynchronous Concurrent Systems using CADP (extended version) Research Report RR-8708, 1928.

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP 2011: a toolbox for the construction and analysis of distributed processes, International Journal on Software Tools for Technology Transfer, vol.1, issue.1/2, pp.89-107, 2013.
DOI : 10.1007/s100090050009
URL : https://hal.archives-ouvertes.fr/hal-00715056

J. Geelan, Twenty One Experts Define Cloud Computing. Virtualization , Electronic Magazine, p.14, 2008.

D. Gelernter, Generative communication in Linda, ACM Transactions on Programming Languages and Systems, vol.7, issue.1, pp.80-112, 1925.
DOI : 10.1145/2363.2433

D. Gelernter and N. Carriero, Coordination Languages and Their Significance, ACM Computing Surveys, vol.35, issue.2, pp.97-107, 1924.
DOI : 10.1145/129630.376083

D. Giannakopoulou, J. Kramer, and S. C. Cheung, Behaviour Analysis of Distributed Systems Using the Tracta Approach, Automated Software Engineering, vol.6, issue.1, pp.7-35, 1999.
DOI : 10.1023/A:1008645800955

P. Goldsack, J. Guijarro, S. Loughran, A. Coles, A. Farrell et al., The SmartFrog configuration management framework, ACM SIGOPS Operating Systems Review, vol.43, issue.1, pp.16-25, 2009.
DOI : 10.1145/1496909.1496915

H. Gomaa and M. Hussein, Software reconfiguration patterns for dynamic evolution of software architectures, Proceedings. Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004), pp.79-88, 2004.
DOI : 10.1109/WICSA.2004.1310692

E. Griffith, What Is Cloud Computing?, p.15, 2015.

J. F. Groote and A. Ponse, Proof Theory for ??CRL: A Language for Processes with Data., Semantics of Specification Languages (SoSL), Workshops in Computing, pp.232-251, 1994.
DOI : 10.1007/978-1-4471-3229-5_13

S. M. Gueye, N. De-palma, É. Rutten, and A. Tchana, Coordinating multiple administration loops using discrete control, ACM SIGOPS Operating Systems Review, vol.47, issue.3, pp.18-25, 2013.
DOI : 10.1145/2553070.2553074
URL : https://hal.archives-ouvertes.fr/hal-00949555

S. M. Gueye, É. Rutten, and A. Tchana, Discrete Control for the Coordination of Administration Loops, 2012 IEEE Fifth International Conference on Utility and Cloud Computing, pp.353-358
DOI : 10.1109/UCC.2012.57

S. Hassan, D. , and A. J. Hussain, Autonomic Computing Paradigm to Support System's Development, 2009 Second International Conference on Developments in eSystems Engineering, pp.273-278, 1921.
DOI : 10.1109/DeSE.2009.22

C. L. Heitmeyer, Formal Methods for Specifying, Validating, and Verifying Requirements. jucs, pp.607-618, 1925.

G. J. Holzmann, The model checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, pp.279-295, 1927.
DOI : 10.1109/32.588521

J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages and Computation, p.114, 1979.
DOI : 10.1145/568438.568455

I. Iec, LOTOS ? A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, International Organization for Standardization ? Information Processing Systems ? Open Systems Interconnection, p.94, 1989.

C. Joubert and R. Mateescu, Distributed On-the-Fly Equivalence Checking, Electronic Notes in Theoretical Computer Science, vol.128, issue.3, pp.47-62, 2005.
DOI : 10.1016/j.entcs.2004.10.018

C. Judith, NASA Formal Methods Specification and Verification Guidebook for Software and Computer Systems, Volume I: Planning and Technology Insertion. NASA Office of Safety and Mission Assurance, p.25, 1995.

S. Kätker and K. Geihs, Fault Management in QoS-Enabled Distributed Systems, Proc. of DAIS'99, pp.3-16, 1999.
DOI : 10.1007/978-0-387-35565-8_1

J. O. Kephart, Research Challenges of Autonomic Computing, Proc. of ICSE'05, pp.15-22, 2005.

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

T. Kielmann, Designing a coordination model for open systems, Proc. of Coordination'96, pp.267-284, 1996.
DOI : 10.1007/3-540-61052-9_51

J. Koehler, C. Giblin, D. Gantenbein, and R. Hauser, On Autonomic Computing Architectures, p.22, 2003.

J. Kramer and J. Magee, Analysing dynamic change in distributed software architectures, IEE Proceedings - Software, vol.145, issue.5, pp.146-154, 1998.
DOI : 10.1049/ip-sen:19982297

C. Krause, Reconfigurable Component Connectors, Institute for Programming research and Algorithmics (IPA), p.56, 2011.

C. Krause, Z. Maraikar, A. Lazovik, and F. Arbab, Modeling dynamic reconfigurations in Reo using high-level replacement systems, Science of Computer Programming, vol.76, issue.1, pp.23-36, 2011.
DOI : 10.1016/j.scico.2009.10.006

T. A. Lascu, J. Mauro, and G. Zavattaro, Automatic Component Deployment in the Presence of Circular Dependencies, Proc. of FACS'13, pp.254-272, 2013.
DOI : 10.1007/978-3-319-07602-7_16
URL : https://hal.archives-ouvertes.fr/hal-00909300

T. A. Lascu, J. Mauro, and G. Zavattaro, A Planning Tool Supporting the Deployment of Cloud Applications, 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, pp.213-220, 2013.
DOI : 10.1109/ICTAI.2013.41
URL : https://hal.archives-ouvertes.fr/hal-00843925

H. Liu, M. Parashar, and S. Hariri, A Component-Based Programming Model for Autonomic Applications, Proc. of ICAC '04, pp.10-17, 1957.

N. Lohmann, P. Massuthe, and K. Wolf, Operating Guidelines for Finite-State Services, Proc. of ICATPN' 07, pp.321-341, 2007.
DOI : 10.1007/978-3-540-73094-1_20

E. Clarke, M. , O. Grumberg, and D. A. Peled, Model Checking, p.30, 1999.

G. Macsweeney, NYSE Technologies Launches Capital Markets Cloud Community Platform

J. Magee and J. Kramer, Dynamic Structure in Software Architectures, Proc. of SIGSOFT FSE'96, pp.3-14, 1996.

J. Magee and J. Kramer, Concurrency : State Models and Java Programs, p.49, 2006.

J. Magee, J. Kramer, and D. Giannakopoulou, Behaviour Analysis of Software Architectures, Proc. of WICSA'99 IFIP Conference Proceedings, pp.35-49, 1999.
DOI : 10.1007/978-0-387-35563-4_3

T. W. Malone and K. Crowston, The interdisciplinary study of coordination, ACM Computing Surveys, vol.26, issue.1, pp.87-119, 1994.
DOI : 10.1145/174666.174668

H. Marchand, P. Bournai, M. Leborgne, and P. L. Guernic, Synthesis of Discrete-Event Controllers based on the Signal Environment. Discrete Event Dynamic Systems, pp.325-346, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00546147

R. Mateescu and D. Thivolle, A Model Checking Language for Concurrent Value-Passing Systems, Proc. of FM'08, pp.148-164, 2008.
DOI : 10.1007/978-3-540-68237-0_12
URL : https://hal.archives-ouvertes.fr/inria-00315312

M. Maurer, I. Breskovic, V. C. Emeakaroha, and I. Brandic, Revealing the MAPE loop for the autonomic management of Cloud infrastructures, 2011 IEEE Symposium on Computers and Communications (ISCC), pp.147-152, 2011.
DOI : 10.1109/ISCC.2011.5984008

K. L. Mcmillan, Symbolic Model Checking, p.27, 1993.

N. Medvidovic, ADLs and dynamic architecture changes, Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops -, pp.24-27, 1996.
DOI : 10.1145/243327.243340
URL : http://www.ics.uci.edu/pub/arch/papers/ADL-ISAW96.pdf

P. Mell and T. Grance, The NIST Definition of Cloud Computing. National Institute of Standards and Technology, pp.16-18, 2009.

R. Milner, A Calculus of Communicating Systems, LNCS, vol.92, p.28, 1980.
DOI : 10.1007/3-540-10235-3

J. Mirkovic, T. Faber, G. Malayandisamu, P. Hsieh, and R. Malavia, Dadl : Distributed application description language, USC Information Sciences Institute and Infosys Corporation, p.38, 2010.

F. A. De-oliveira, T. Ledoux, and R. Sharrock, A Framework for the Coordination of Multiple Autonomic Managers in Cloud Environments, 2013 IEEE 7th International Conference on Self-Adaptive and Self-Organizing Systems, pp.179-188, 2013.
DOI : 10.1109/SASO.2013.27
URL : https://hal.archives-ouvertes.fr/hal-00839090

F. A. De-oliveira, R. Sharrock, and T. Ledoux, Synchronization of Multiple Autonomic Control Loops: Application to Cloud Computing, Proc. of COORDINATION '12, pp.29-43
DOI : 10.1007/978-3-642-30829-1_3
URL : https://hal.archives-ouvertes.fr/hal-00682914

N. Palma, D. Hagimont, F. Boyer, and L. Broto, Self-Protection in a Clustered Distributed System, IEEE Transactions on Parallel and Distributed Systems, vol.23, issue.2, pp.330-336, 2012.
DOI : 10.1109/TPDS.2011.161
URL : https://hal.archives-ouvertes.fr/hal-00941373

G. K. Palshikar, Applying formal specifications to real-world software development, IEEE Software, vol.18, issue.6, pp.89-97, 1926.
DOI : 10.1109/52.965810

L. M. Pham, A. Tchana, D. Donsez, N. De-palma, V. Zurczak et al., Roboconf: A Hybrid Cloud Orchestrator to Deploy Complex Applications, 2015 IEEE 8th International Conference on Cloud Computing, pp.365-372, 2015.
DOI : 10.1109/CLOUD.2015.56
URL : https://hal.archives-ouvertes.fr/hal-01228353

P. Poizat and J. C. Royer, A Formal Architectural Description Language based on Symbolic Transition Systems and Temporal Logic, J. UCS, vol.12, issue.12, pp.1741-1782, 2006.

J. Prashant and D. Schmidt, Service Configurator: A Pattern for Dynamic Configuration of Services, Proc. of COOTS'97, pp.209-220, 1997.

R. R. Milner, Communication and Concurrency, p.28, 1989.

P. J. Ramadge and W. M. Wonham, The control of discrete event systems, Proc of the IEEE, pp.81-98, 1989.
DOI : 10.1109/5.21072

K. Research, New Study Shows a Staggering 4.7 Million Servers Globally Are Doing Nothing Useful, Wasting $25bn a Year, p.12, 2009.

B. Rochwerger, D. Breitgand, E. Levy, A. Galis, K. Nagin et al., The Reservoir model and architecture for open federated cloud computing, IBM Journal of Research and Development, vol.53, issue.4, pp.535-545, 2009.
DOI : 10.1147/JRD.2009.5429058

G. Rodosek and T. Kaiser, Determining the Availability of Distributed Applications Integrated Network Management V, The International Federation for Information Processing, pp.207-218, 1997.

J. Rushby, Formal Methods and their Role in the Certification of Critical Systems, 1925.
DOI : 10.1007/978-1-4471-0921-1_1

G. Salaün, Generation of Service Wrapper Protocols from Choreography Specifications, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods, pp.313-322, 2008.
DOI : 10.1109/SEFM.2008.42

G. Salaün, F. Boyer, T. Coupaye, N. De-palma, X. Etchevers et al., An experience report on the verification of autonomic protocols in the cloud, Innovations in Systems and Software Engineering, vol.76, issue.1, pp.105-117, 2013.
DOI : 10.1016/j.scico.2009.10.006

G. Salaün, X. Etchevers, N. De-palma, F. Boyer, and T. Coupaye, Verification of a Self-configuration Protocol for Distributed Applications in the Cloud, Proc. of SAC'12, pp.1278-1283, 2012.

A. B. Seboui, N. B. Hadj-alouane, G. Delaval, É. Rutten, and M. Yeddes, A Decentralized Supervisory Control Approach for Distributed Adaptive Systems, Workshop. of VECoS'10, VECoS'10, pp.13-23, 2010.

A. B. Seboui, N. B. Hadj-alouane, G. Delaval, É. Rutten, and M. Yeddes, An approach for the synthesis of decentralised supervisors for distributed adaptive systems, International Journal of Critical Computer-Based Systems, vol.2, issue.3/4, pp.246-265, 2011.
DOI : 10.1504/IJCCBS.2011.042328
URL : https://hal.archives-ouvertes.fr/hal-00784991

L. M. Vaquero, L. Rodero-merino, J. Caceres, and M. Lindner, A break in the clouds, ACM SIGCOMM Computer Communication Review, vol.39, issue.1, pp.50-55, 2008.
DOI : 10.1145/1496091.1496100

W. E. Walsh, G. Tesauro, J. O. Kephart, and R. Das, Utility functions in autonomic systems, International Conference on Autonomic Computing, 2004. Proceedings., pp.70-77, 1959.
DOI : 10.1109/ICAC.2004.1301349

L. Wang, G. V. Laszewsk, A. Younge, X. He, M. Kunze et al., Cloud Computing: a Perspective Study, New Generation Computing, vol.51, issue.1, pp.137-146, 2010.
DOI : 10.1007/s00354-008-0081-5

L. Wenjie and L. Zhanhuai, Research and design of autonomic computing system model in cloud computing environment, 2011 International Conference on Multimedia Technology, pp.5025-5028, 1921.
DOI : 10.1109/ICMT.2011.6002266

M. Wermelinger, A. Lopes, and J. L. Fiadeiro, A Graph Based Architectural (Re)configuration Language, Proc. of ESEC / SIGSOFT FSE'01, pp.21-32, 2001.

T. De-wolf, G. Samaey, T. Holvoet, and D. Roose, Decentralised Autonomic Computing: Analysing Self-Organising Emergent Behaviour using Advanced Numerical Methods, Second International Conference on Autonomic Computing (ICAC'05), pp.52-63, 1921.
DOI : 10.1109/ICAC.2005.20

W. M. Wonham, Supervisory Control of Discrete-Event Systems, p.63, 2015.

W. M. Wonham and P. J. Ramadge, Modular supervisory control of discrete-event systems, Mathematics of Control, Signals, and Systems, vol.25, issue.1, pp.13-30, 1988.
DOI : 10.1007/BF02551233

W. M. Wonham and P. J. Ramadge, On the Supremal Controllable Sublanguage of a Given Language, SIAM Journal on Control and Optimization, vol.25, issue.3, pp.637-659, 1987.
DOI : 10.1137/0325036

J. Woodcock, P. G. Larsen, J. Bicarregui, and J. Fitzgerald, Formal methods, ACM Computing Surveys, vol.41, issue.4, pp.1-1936, 1925.
DOI : 10.1145/1592434.1592436

P. Wyckoff, S. W. Mclaughry, T. J. Lehman, and D. A. Ford, T Spaces, IBM Systems Journal, vol.37, issue.3, pp.454-474, 1998.
DOI : 10.1147/sj.373.0454

J. Zhou, S. Zheng, D. Jing, and H. Yang, An approach of creative application evolution on cloud computing platform, Proceedings of the 2011 ACM Symposium on Applied Computing, SAC '11, pp.54-58, 2011.
DOI : 10.1145/1982185.1982199