. Plan, = [ master : bind port dump to slave ] Plan [ 1 1 ] = [ master : unbind port slave_ip from instance slave

. Plan, = [ slave : bind port s_mysql to application ] Plan [ 1 5 ] = [ slave : unbind port dump from instance master ] Plan, ] = [ master : change state from Dump to MasterServing

. Plan, = [ master : bind port m_mysql to application ] Plan [ 1 8 ] = [ application : change state from Uninst to Inst ] The equivalent graphical representation of the WordPress component is depicted in Figure 14. Figure 15 shows instead the abstract plan generated by METIS for reaching the WordPress component in Active state while the deployment plan is as follows

. Plan, = [ mysql : change state from Installed to S et Ro ot P as sw or d ] Plan [ 6 ] = [ mysql : change state from Se tR oo t Pa ss w or d to Configured ] Plan [ 7 ] = [ mysql : change state from Configured to Active, ActiveOnMBS ], vol.5

J. Fischer, R. Majumdar, and S. Esmaeilsabzali, Engage: a deployment management system, pp.263-274, 2012.

R. D. Cosmo, J. Mauro, S. Zacchiroli, and G. Zavattaro, Aeolus: A component model for the cloud, Information and Computation, vol.239, pp.100-121, 2014.
DOI : 10.1016/j.ic.2014.11.002
URL : https://hal.archives-ouvertes.fr/hal-01091062

T. A. Lascu, J. Mauro, and G. Zavattaro, Automatic Component Deployment in the Presence of Circular Dependencies, LNCS, vol.8348, 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

J. A. Hewson and P. Anderson, Modelling System Administration Problems with CSPs, Proceedings of the 10th International Workshop on Constraint Modelling and Reformulation (Mod-Ref11), pp.73-82, 2011.

J. A. Hewson, P. Anderson, and A. D. Gordon, A Declarative Approach to Automated Configuration, pp.51-66, 2012.

X. Etchevers, T. Coupaye, F. Boyer, and N. D. 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

G. Salaün, X. Etchevers, N. D. Palma, F. Boyer, and T. Coupaye, Verification of a Self-configuration Protocol for Distributed Applications in the Cloud, in: Assurances for Self-Adaptive Systems, LNCS, vol.7740, pp.60-79, 2013.

Y. D. Liu and S. F. Smith, A formal framework for component deployment, pp.325-344, 2006.

N. Arshad, D. Heimbigner, and A. L. Wolf, Deployment and dynamic reconfiguration planning for distributed software systems, Software Quality Journal, vol.5, issue.4, pp.265-281, 2007.
DOI : 10.1007/s11219-007-9019-2

M. Fox, D. Long, and P. , 1: An Extension to PDDL for Expressing Temporal Planning Domains, J. Artif. Intell. Res. (JAIR), vol.20, pp.61-124, 2003.

A. Gerevini and I. Serina, LPG: A Planner Based on Local Search for Planning Graphs with Action Costs, pp.281-290, 2002.

P. Goldsack, J. Guijarro, S. Loughran, A. N. 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

J. Mirkovic, T. Faber, P. Hsieh, G. Malaiyandisamy, and R. Malaviya, DADL: Distributed Application Description Language

L. Kanies, Puppet: Next-generation configuration management, ;login: the USENIX magazine, pp.19-25, 2006.

M. Burgess, A Site Configuration Engine, Computing Systems, vol.8, issue.2, pp.309-337, 1995.

R. , D. Cosmo, S. Zacchiroli, and G. Zavattaro, Towards a Formal Component Model for the Cloud, LNCS, vol.7504, pp.156-171, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00909369

T. A. Lascu, Automatic deployment of applications in the cloud, 2014.

R. D. Cosmo, M. Lienhardt, R. Treinen, S. Zacchiroli, J. Zwolakowski et al., Automated synthesis and deployment of cloud applications, Proceedings of the 29th ACM/IEEE international conference on Automated software engineering, ASE '14, pp.211-222, 2014.
DOI : 10.1145/2642937.2642980

E. Koutsofios and S. North, Drawing graphs with dot, 1991.

C. Baral, Knowledge Representation, Reasoning and Declarative Problem Solving, 2003.
DOI : 10.1017/CBO9780511543357

J. Hoffmann, The Metric-FF Planning System: Translating " Ignoring Delete Lists " to Numeric State Variables, J. Artif. Intell. Res. (JAIR), vol.20, pp.291-341, 2003.

A. Blum and M. L. Furst, Fast planning through planning graph analysis, Artificial Intelligence, vol.90, issue.1-2, pp.281-300, 1997.
DOI : 10.1016/S0004-3702(96)00047-1
URL : http://doi.org/10.1016/s0004-3702(96)00047-1

R. , D. Cosmo, A. Eiche, J. Mauro, G. Zavattaro et al., Automatic Deployment of Software Components in the Cloud with the Aeolus Blender, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01103806

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

C. Krause, Reconfigurable Component Connectors, 2011.

N. Oliveira and L. S. Barbosa, On the reconfiguration of software connectors, Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, pp.1885-1892, 2013.
DOI : 10.1145/2480362.2480712