W. Tsai, X. Sun, Q. Shao, and G. Qi, Two-Tier Multi-tenancy Scaling and Load Balancing, 2010 IEEE 7th International Conference on E-Business Engineering, pp.484-489, 2010.
DOI : 10.1109/ICEBE.2010.103

T. Dornemann, E. Juhnke, and B. Freisleben, On-Demand Resource Provisioning for BPEL Workflows Using Amazon's Elastic Compute Cloud, 2009 9th IEEE/ACM International Symposium on Cluster Computing and the Grid, pp.140-147, 2009.
DOI : 10.1109/CCGRID.2009.30

J. Loff and J. Garcia, Vadara: Predictive Elasticity for Cloud Applications, 2014 IEEE 6th International Conference on Cloud Computing Technology and Science, pp.541-546, 2014.
DOI : 10.1109/CloudCom.2014.161

R. Hwang, C. Lee, Y. Chen, and D. Zhang-jian, Cost Optimization of Elasticity Cloud Resource Subscription Policy, IEEE Transactions on Services Computing, vol.7, issue.4, p.1, 2013.
DOI : 10.1109/TSC.2013.35

B. Suleiman and S. Venugopal, Modeling Performance of Elasticity Rules for Cloud-Based Applications, 2013 17th IEEE International Enterprise Distributed Object Computing Conference, pp.201-206, 2013.
DOI : 10.1109/EDOC.2013.31

A. Naskos, E. Stachtiari, A. Gounaris, P. Katsaros, D. Tsoumakos et al., Cloud elasticity using probabilistic model checking, p.4699, 1405.

G. Copil, D. Trihinas, H. Truong, D. Moldovan, G. Pallis et al., ADVISE ??? A Framework for Evaluating Cloud Service Elasticity Behavior, International Conference on Service Oriented Computing (ICSOC), ser. Lecture Notes in Computer Science, pp.275-290, 2014.
DOI : 10.1007/978-3-662-45391-9_19

S. Schulte, P. Hoenisch, S. Venugopal, and S. Dustdar, Introducing the Vienna Platform for Elastic Processes, International Conference on Service Oriented Computing (ICSOC) Workshops, pp.179-190, 2013.
DOI : 10.1007/978-3-642-37804-1_19

M. Dhingra, J. Lakshmi, S. Nandy, C. Bhattacharyya, and K. Gopinath, Elastic Resources Framework in IaaS, Preserving Performance SLAs, 2013 IEEE Sixth International Conference on Cloud Computing, pp.430-437, 2013.
DOI : 10.1109/CLOUD.2013.66

P. Kranas, V. Anagnostopoulos, A. Menychtas, and T. A. Varvarigou, ElaaS: An Innovative Elasticity as a Service Framework for Dynamic Management across the Cloud Stack Layers, 2012 Sixth International Conference on Complex, Intelligent, and Software Intensive Systems, pp.1042-1049
DOI : 10.1109/CISIS.2012.117

P. D. Kaur and I. Chana, A resource elasticity framework for QoS-aware execution of cloud applications, Future Generation Computer Systems, vol.37, issue.0, pp.14-25, 2014.
DOI : 10.1016/j.future.2014.02.018

L. Letondeur, X. Etchevers, T. Coupaye, F. Boyer, and N. De-palma, Architectural Model and Planification Algorithm for the Self-Management of Elastic Cloud Applications, 2014 International Conference on Cloud and Autonomic Computing, 2014.
DOI : 10.1109/ICCAC.2014.29

URL : https://hal.archives-ouvertes.fr/hal-01140099

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

L. Wu, S. Garg, S. Versteeg, and R. Buyya, SLA-Based Resource Provisioning for Hosted Software-as-a-Service Applications in Cloud Computing Environments, IEEE Transactions on Services Computing, vol.7, issue.3, pp.465-485, 2014.
DOI : 10.1109/TSC.2013.49

I. Cloud and . Forum, UK Cloud adoption and trends for 2013 Sword House, Totteridge Road, High Wycombe HP13 6DG, Tech. Rep, 2012.

M. Papazoglou and W. Van, Blueprinting the Cloud, IEEE Internet Computing, vol.15, issue.6, pp.74-79, 2011.
DOI : 10.1109/MIC.2011.147

S. Dustdar, Y. Guo, B. Satzger, and H. Truong, Principles of Elastic Processes, IEEE Internet Computing, vol.15, issue.5, pp.66-71, 2011.
DOI : 10.1109/MIC.2011.121

J. Geelan, M. Klems, R. Cohen, J. Kaplan, D. Gourlay et al., Twenty-one experts define cloud computing, p.612375612375, 2009.

B. P. Rimal, E. Choi, and I. Lumb, A Taxonomy and Survey of Cloud Computing Systems, 2009 Fifth International Joint Conference on INC, IMS and IDC, pp.44-51, 2009.
DOI : 10.1109/NCM.2009.218

G. Galante and L. De-bona, A Survey on Cloud Computing Elasticity, 2012 IEEE Fifth International Conference on Utility and Cloud Computing, pp.263-270, 2012.
DOI : 10.1109/UCC.2012.30

S. Schulte, C. Janiesch, S. Venugopal, I. Weber, and P. Hoenisch, Elastic Business Process Management: State of the art and open challenges for BPM in the cloud, Future Generation Computer Systems, vol.46, issue.0, 2014.
DOI : 10.1016/j.future.2014.09.005

D. Booth, H. Haas, F. Mccabe, E. Newcomer, M. Champion et al., Web Services Architecture, W3C Working Group Note, pp.2005-2006, 2004.

S. Burbeck, The Tao of e-business services: The evolution of Web applications into service-oriented components with Web services, IBM Software Group, 2000.

M. P. Papazoglou, Service-oriented computing: concepts, characteristics and directions, Proceedings of the 7th International Conference on Properties and Applications of Dielectric Materials (Cat. No.03CH37417), pp.3-12, 2003.
DOI : 10.1109/WISE.2003.1254461

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

D. Shawky and A. Ali, Defining a measure of cloud computing elasticity, 2012 1st International Conference on Systems and Computer Science (ICSCS), pp.1-5, 2012.
DOI : 10.1109/IConSCS.2012.6502449

K. Klai and S. Tata, Formal Modeling of Elastic Service-Based Business Processes, 2013 IEEE International Conference on Services Computing, pp.424-431, 2013.
DOI : 10.1109/SCC.2013.75

URL : https://hal.archives-ouvertes.fr/hal-01298740

C. Chrysoulas, G. Kostopoulos, E. Haleplidis, R. Haas, S. Denazis et al., A decision making framework for dynamic service deployment, IST Mobile and Wireless Communications Summit, 2006.

J. B. Weissman, S. Kim, and D. England, A Framework for Dynamic Service Adaptation in the Grid: Next Generation Software Program Progress Report, 19th IEEE International Parallel and Distributed Processing Symposium, 2005.
DOI : 10.1109/IPDPS.2005.25

W. Zhao, P. Melliar-smith, and L. Moser, Fault Tolerance Middleware for Cloud Computing, 2010 IEEE 3rd International Conference on Cloud Computing, pp.67-74, 2010.
DOI : 10.1109/CLOUD.2010.26

R. Han, M. M. Ghanem, L. Guo, Y. Guo, and M. Osmond, Enabling cost-aware and adaptive elasticity of multi-tier cloud applications, Future Generation Computer Systems, vol.32, issue.0, pp.82-98, 2014.
DOI : 10.1016/j.future.2012.05.018

A. Ali-eldin, J. Tordsson, and E. Elmroth, An adaptive hybrid elasticity controller for cloud infrastructures, 2012 IEEE Network Operations and Management Symposium, pp.204-212, 2012.
DOI : 10.1109/NOMS.2012.6211900

D. Perez-palacin, R. Mirandola, and J. Merseguer, QoS and energy management with Petri nets: A self-adaptive framework, Journal of Systems and Software, vol.85, issue.12, pp.2796-2811, 2012.
DOI : 10.1016/j.jss.2012.04.077

D. Ardagna, B. Panicucci, M. Trubian, and L. Zhang, Energy-Aware Autonomic Resource Allocation in Multitier Virtualized Environments, IEEE Transactions on Services Computing, vol.5, issue.1, pp.2-19, 2012.
DOI : 10.1109/TSC.2010.42

Y. Song, Y. Sun, and W. Shi, A Two-Tiered On-Demand Resource Allocation Mechanism for VM-Based Data Centers, IEEE Transactions on Services Computing, vol.6, issue.1, pp.116-129, 2013.
DOI : 10.1109/TSC.2011.41

S. Islam, K. Lee, A. Fekete, and A. Liu, How a consumer can measure elasticity for cloud platforms, Proceedings of the third joint WOSP/SIPEW international conference on Performance Engineering, ICPE '12, pp.85-96, 2012.
DOI : 10.1145/2188286.2188301

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), pp.23-27, 2013.

P. Hoenisch, S. Schulte, S. Dustdar, and S. Venugopal, Self-Adaptive Resource Allocation for Elastic Process Execution, 2013 IEEE Sixth International Conference on Cloud Computing, pp.2013-220
DOI : 10.1109/CLOUD.2013.126

P. Hoenisch, S. Schulte, and S. Dustdar, Workflow Scheduling and Resource Allocation for Cloud-Based Execution of Elastic Processes, 2013 IEEE 6th International Conference on Service-Oriented Computing and Applications, pp.1-8, 2013.
DOI : 10.1109/SOCA.2013.44

L. Lê, H. L. Truong, A. Ghose, and S. Dustdar, On Elasticity and Constrainedness of Business Services Provisioning, 2012 IEEE Ninth International Conference on Services Computing, pp.2012-384
DOI : 10.1109/SCC.2012.34

]. L. Letondeur, Planification for autonomic management of elasticity for applications in the cloud Available: https, 2014.

M. Amziani, T. Melliti, and S. Tata, A Generic Framework for Service-Based Business Process Elasticity in the Cloud, International Conference on Business Process Management (BPM), pp.194-199, 2012.
DOI : 10.1007/978-3-642-32885-5_15

URL : https://hal.archives-ouvertes.fr/hal-00745399

M. Amziani, K. Klai, T. Melliti, and S. Tata, Time-based evaluation of servicebased business process elasticity in the cloud, IEEE International Conference on Cloud Computing Technology and Science (CloudCom), 2013.
URL : https://hal.archives-ouvertes.fr/hal-00993976

M. Amziani, T. Melliti, and S. Tata, Formal modeling and evaluation of servicebased business process elasticity in the cloud, IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET- ICE), 2013.
URL : https://hal.archives-ouvertes.fr/hal-00867490

A. Stephen and . White, Introduction to BPMN, Tech. Rep, 2006.

W. M. Van, The application of petri nets to workflow management, Journal of Circuits, Systems and Computers, vol.08, issue.01, pp.21-66, 1998.

K. Jensen, Coloured Petri Nets, Basic Concepts, Analysis Methods and Practical Use, 1997.

L. Jacobsen, M. Jacobsen, M. H. Moller, and J. Srba, Verification of Timed-Arc Petri Nets, Theory and Practice of Computer Science, vol.24, issue.9, pp.46-72, 2011.
DOI : 10.1007/978-3-540-85778-5_3

H. Ghanbari, B. Simmons, M. Litoiu, and G. Iszlai, Exploring Alternative Approaches to Implement an Elasticity Policy, 2011 IEEE 4th International Conference on Cloud Computing, 2011.
DOI : 10.1109/CLOUD.2011.101

L. M. Vaquero, L. Rodero-merino, and R. Buyya, Dynamically scaling applications in the cloud, ACM SIGCOMM Computer Communication Review, vol.41, issue.1, pp.45-52, 2011.
DOI : 10.1145/1925861.1925869

J. Esparza and M. Nielsen, Decidability issues for petri nets -a survey, 1994.

L. M. Kristensen, State Space Methods for Coloured Petri Nets, DAIMI Report Series, vol.29, issue.546, 2000.
DOI : 10.7146/dpb.v29i546.7080

H. M. Verbeek, A. J. Pretorius, W. M. Van-der-aalst, and J. J. Van-wijk, Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization, Petri Nets and Other Models of Concurrency, pp.152-171, 2008.
DOI : 10.1007/978-3-540-72426-1_15

C. Baier and J. Katoen, Principles of Model Checking (Representation and Mind Series), 2008.

F. Pommereau, Nets in nets with snakes, Int. Workshop on Modelling of Objects, Components, and Agents, 2009.

S. He, L. Guo, Y. Guo, C. Wu, M. Ghanem et al., Elastic Application Container: A Lightweight Approach for Cloud Resource Provisioning, 2012 IEEE 26th International Conference on Advanced Information Networking and Applications, 2012.
DOI : 10.1109/AINA.2012.74

T. C. Chieu, A. Mohindra, A. A. Karve, and A. Segal, Dynamic Scaling of Web Applications in a Virtualized Cloud Computing Environment, 2009 IEEE International Conference on e-Business Engineering, 2009.
DOI : 10.1109/ICEBE.2009.45

S. Yangui, M. Mohamed, S. Tata, and S. Moalla, Scalable Service Containers, 2011 IEEE Third International Conference on Cloud Computing Technology and Science, pp.348-356, 2011.
DOI : 10.1109/CloudCom.2011.54

URL : https://hal.archives-ouvertes.fr/hal-00748798

M. Mohamed, S. Yangui, S. Moalla, and S. Tata, Web Service Micro-Container for Service-based Applications in Cloud Environments, 2011 IEEE 20th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2011.
DOI : 10.1109/WETICE.2011.51

URL : https://hal.archives-ouvertes.fr/hal-01303055

M. Mohamed, D. Bela¨?dbela¨?d, and S. Tata, How to Provide Monitoring Facilities to Services When They Are Deployed in the Cloud, International Conference on Cloud Computing and Services Science (CLOSER), 2012.
URL : https://hal.archives-ouvertes.fr/hal-00748592

A. Omezzine, S. Yangui, N. Bellamine, and S. Tata, Mobile Service Microcontainers for Cloud Environments, IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), pp.154-160, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00748791

. Openstack, Openstack: Open source software for building private and public clouds, 2014.

M. Mohamed, D. Bela¨?dbela¨?d, and S. Tata, Monitoring and Reconfiguration for OCCI Resources, 2013 IEEE 5th International Conference on Cloud Computing Technology and Science, 2013.
DOI : 10.1109/CloudCom.2013.78

URL : https://hal.archives-ouvertes.fr/hal-01261671

M. Mohamed, M. Amziani, D. Bela¨?dbela¨?d, S. Tata, and T. Melliti, An autonomic approach to manage elasticity of business processes in the Cloud, Future Generation Computer Systems, vol.50, issue.0, 2014.
DOI : 10.1016/j.future.2014.10.017

URL : https://hal.archives-ouvertes.fr/hal-01120908

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

A. G. Ganek and T. A. Corbi, The dawning of the autonomic computing era, IBM Systems Journal, vol.42, issue.1, pp.5-18, 2003.
DOI : 10.1147/sj.421.0005

R. Nyren, A. Edmonds, A. Papaspyrou, and T. Metsch, Open Cloud Computing Interface -Core, Tech. Rep, 2011.

T. Metsch and A. Edmonds, Open Cloud Computing Interface -RESTful HTTP Rendering, Tech. Rep, 2011.

S. Yangui, M. Mohamed, M. Sellami, and S. Tata, Available: http://www.ogf.org/documents/GFD Open Cloud Computing Interface -Platform, Open Cloud Computing Interface -Infrastructure, 2011.

M. Sellami, S. Yangui, M. Mohamed, and S. Tata, Open Cloud Computing Interface -Application Available: http://www-inf.int-evry.fr/SIMBAD/tools/OCCI/occi-application.pdf [80, Tech. Rep, 2013.

F. Cloud and . Blog, Monitoring Cloud Foundry Applications with New Relic, 2014.

M. Mohamed, D. Bela¨?dbela¨?d, and S. Tata, Adding Monitoring and Reconfiguration Facilities for Service-Based Applications in the Cloud, 2013 IEEE 27th International Conference on Advanced Information Networking and Applications (AINA), 2013.
DOI : 10.1109/AINA.2013.46

URL : https://hal.archives-ouvertes.fr/hal-00839096

M. Sellami, S. Yangui, M. Mohamed, and S. Tata, PaaS-Independent Provisioning and Management of Applications in the Cloud, 2013 IEEE Sixth International Conference on Cloud Computing, p.2013
DOI : 10.1109/CLOUD.2013.105

URL : https://hal.archives-ouvertes.fr/hal-01262053

S. Yangui, I. Marshall, J. Laisne, and S. Tata, CompatibleOne: The Open Source Cloud Broker, Journal of Grid Computing, vol.3828, issue.2, 2014.
DOI : 10.1007/s10723-013-9285-0

URL : https://hal.archives-ouvertes.fr/hal-01262821

C. Osipov, G. Goldszmidt, M. Taylor, and I. Poddar, Develop and Deploy Multitenant Web-Delivered Solutions Using IBM Middleware, Part 1: Challenges and Architectural Patterns, 2009.