P. Mell and T. Grance, The NIST Definition of Cloud Computing, p.7, 2011.

N. R. Herbst, S. Kounev, and R. Reussner, Elasticity in Cloud Computing: What It Is, and What It Is Not, Proceedings of the 10th International Conference on Autonomic Computing (ICAC 13)' (USENIX, 2013), pp.23-27

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

G. Galante, L. C. Bona, and . De, A Survey on Cloud Computing Elasticity, Proceedings of the 2012 IEEE/ACM Fifth International Conference on Utility and Cloud Computing, pp.263-270, 2012.

S. Dustdar, Y. Guo, B. Satzger, and H. Truong, Principles of Elastic Processes'IEEE Internet Computing, vol.15, pp.66-71, 2011.

M. M. Bersani, D. Bianculli, S. Dustdar, A. Gambi, C. Ghezzi et al., Towards the Formalization of Properties of Cloud-based Elastic Systems', in 'Proceedings of the 6th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems, pp.38-47, 2014.

M. Amziani, Modeling, evaluation and provisioning of elastic service-based business processes in the cloud'. phdthesis, Institut National des Télécommunications, 2015.
URL : https://hal.archives-ouvertes.fr/tel-01217186

L. Yataghene, M. Ioualalen, M. Amziani, and S. Tata, Using Formal Model for Evaluation of Business Processes Elasticity in the Cloud

, Workshops' International Conference on Service-Oriented Computing, pp.33-44, 2016.

R. Milner, Bigraphs and Their Algebra'Electronic Notes in Theoretical Computer Science, vol.209, pp.5-19, 2008.

R. Milner, The Space and Motion of Communicating Agents, 2009.

A. Souri, N. J. Navimipour, and A. M. Rahmani, Formal verification approaches and standards in the cloud computing: A comprehensive and systematic review, Computer Standards & Interfaces, vol.58, pp.1-22, 2018.

G. Aceto, A. Botta, W. De-donato, and A. Pescapè, Cloud monitoring: A survey'Computer Networks, vol.57, pp.2093-2115, 2013.

N. Roy, A. Dubey, and A. Gokhale, Efficient Autoscaling in the Cloud Using Predictive Models for Workload Forecasting, 2011 IEEE 4th International Conference on Cloud Computing, pp.500-507, 2011.

G. J. Stern and L. Kleinrock, Computer Applications.'Applied Statistics, vol.2, issue.2, p.186, 1978.

S. P. Meyn and R. L. Tweedie, Markov Chains and Stochastic Stability, 1993.

L. Letondeur, Planification pour la gestion autonomique de l'élasticité d'applications dans le cloud, 2014.

H. Sahli, N. Hameurlain, and F. Belala, A bigraphical model for specifying cloud-based elastic systems and their behaviour, International Journal of Parallel, Emergent and Distributed Systems, vol.32, issue.6, pp.593-616, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01906821

L. Birkedal, T. C. Damgaard, A. J. Glenstrup, and R. Milner, Matching of Bigraphs'Electronic Notes in Theoretical Computer Science, vol.175, pp.3-19, 2007.

M. Sevegnani and M. Calder, BigraphER: Rewriting and Analysis Engine for Bigraphs, Computer Aided Verification, pp.494-501, 2016.

M. Calder and M. Sevegnani, Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing'Form Asp Comp, vol.26, pp.537-561, 2014.

T. Chen, R. Bahsoon, and X. Yao, A Survey and Taxonomy of Self-Aware and Self-Adaptive Cloud Autoscaling Systems, ACM Comput. Surv, issue.3, p.40, 2018.

A. Mansutti, M. Miculan, and M. Peressotti, Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems, Distributed Applications and Interoperable Systems' IFIP International Conference on Distributed Applications and Interoperable Systems, pp.201-208, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01287744

G. Conforti, D. Macedonio, and V. Sassone, Spatial Logics for Bigraphs, Automata, Languages and Programming' International Colloquium on Automata, Languages, and Programming, pp.766-778, 2005.

A. J. Faithfull, G. Perrone, and T. T. Hildebrandt, Big Red: A Development Environment for Bigraphs'Electronic Communications of the EASST, p.61, 2013.

J. Krivine, R. Milner, and A. Troina, Stochastic Bigraphs'Electronic Notes in Theoretical Computer Science, vol.218, pp.73-96, 2008.

A. J. Glenstrup, T. C. Damgaard, L. Birkedal, and E. Højsgaard, An Implementation of Bigraph Matching'no date, p.22

G. Perrone, S. Debois, and T. T. Hildebrandt, A Model Checker for Bigraphs, Proceedings of the 27th Annual ACM Symposium on Applied Computing', pp.1320-1325, 2012.

H. Sahli, F. Belala, and C. Bouanaka, Model-Checking Cloud Systems Using BigMC, Proceedings of the 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, pp.25-33, 2014.

M. Clavel, F. Duran, and S. Eker, Maude Manual (Version 2, p.521, 2017.

C. Baier and J. Katoen, Principles of model checking, 2008.

R. Schoren, Correspondence between Kripke Structures and Labeled Transition Systems for Model Minimization, 2011.

B. Baynat, Théorie des files d'attente: des chaînes de Markov aux réseaux à forme produit, 2000.

V. Mazalov and A. Gurtov, Queueing System with On-Demand Number of Servers, Mathematica Applicanda, vol.40, issue.2, pp.1-12, 2012.

B. Dragovi?, N. Park, N. ?. Zrni?, and R. Me?trovi?, Mathematical Models of Multiserver Queuing System for Dynamic Performance Evaluation in Port'Mathematical Problems in Engineering, 2012.

M. Firdhous, O. Ghazali, and S. Hassan, Modeling of cloud system using Erlang formulas, The 17th Asia Pacific Conference on Communications, pp.411-416, 2011.

M. A. Netto, C. Cardonha, R. L. Cunha, and M. D. Assuncao, Evaluating Auto-scaling Strategies for Cloud Computing Environments, Proceedings of the 2014 IEEE 22Nd International Symposium on Modelling, Analysis & Simulation of Computer and Telecommunication Systems, pp.187-196, 2014.

, Amazon EC2 Instance Types -Amazon Web Services (AWS), 2018.