Formal Modeling and Evaluation of Stateful Service-Based Business Process Elasticity in the Cloud

Cloud environments are being increasingly used for deploying and executing business processes and particularly Service-based Business Processes (SBPs). One of the expected features of Cloud environments is elasticity at different levels. It is obvious that provisioning of elastic platforms is not sufficient to provide elasticity of the deployed business process. Therefore, SBPs should be provided with elasticity so that they would be able to adapt to the workload changes while ensuring the desired functional and non-functional properties. In this paper, we propose a formal model for stateful SBPs elasticity that features a duplication/consolidation mechanisms and a generic controller to define and evaluate elasticity strategies.

[1]  Balaji Viswanathan,et al.  SmartScale: Automatic Application Scaling in Enterprise Clouds , 2012, 2012 IEEE Fifth International Conference on Cloud Computing.

[2]  Rajkumar Buyya,et al.  Dynamically scaling applications in the cloud , 2011, CCRV.

[3]  Xiaorong Li,et al.  A Framework for Dynamic Resource Provisioning and Adaptation in IaaS Clouds , 2011, 2011 IEEE Third International Conference on Cloud Computing Technology and Science.

[4]  Aniruddha S. Gokhale,et al.  Efficient Autoscaling in the Cloud Using Predictive Models for Workload Forecasting , 2011, 2011 IEEE 4th International Conference on Cloud Computing.

[5]  Guilherme Galante,et al.  A Survey on Cloud Computing Elasticity , 2012, 2012 IEEE Fifth International Conference on Utility and Cloud Computing.

[6]  Yike Guo,et al.  A Deployment Platform for Dynamically Scaling Applications in the Cloud , 2011, 2011 IEEE Third International Conference on Cloud Computing Technology and Science.

[7]  Andreas Menychtas,et al.  ElaaS: An Innovative Elasticity as a Service Framework for Dynamic Management across the Cloud Stack Layers , 2012, 2012 Sixth International Conference on Complex, Intelligent, and Software Intensive Systems.

[8]  Marin Litoiu,et al.  Exploring Alternative Approaches to Implement an Elasticity Policy , 2011, 2011 IEEE 4th International Conference on Cloud Computing.

[9]  Yike Guo,et al.  Principles of Elastic Processes , 2011, IEEE Internet Computing.

[10]  Mohamed Mohamed,et al.  Scalable Service Containers , 2011, 2011 IEEE Third International Conference on Cloud Computing Technology and Science.

[11]  Ian Lumb,et al.  A Taxonomy and Survey of Cloud Computing Systems , 2009, 2009 Fifth International Joint Conference on INC, IMS and IDC.

[12]  Samir Tata,et al.  A Generic Framework for Service-Based Business Process Elasticity in the Cloud , 2012, BPM.

[13]  Wei-Tek Tsai,et al.  Two-Tier Multi-tenancy Scaling and Load Balancing , 2010, 2010 IEEE 7th International Conference on E-Business Engineering.

[14]  Moustafa Ghanem,et al.  Elastic Application Container: A Lightweight Approach for Cloud Resource Provisioning , 2012, 2012 IEEE 26th International Conference on Advanced Information Networking and Applications.

[15]  Zhiliang Zhu,et al.  Dynamic Provisioning Modeling for Virtualized Multi-tier Applications in Cloud Data Center , 2010, 2010 IEEE 3rd International Conference on Cloud Computing.

[16]  Ajay Mohindra,et al.  Dynamic Scaling of Web Applications in a Virtualized Cloud Computing Environment , 2009, 2009 IEEE International Conference on e-Business Engineering.

[17]  Rajkumar Buyya,et al.  The Aneka platform and QoS-driven resource provisioning for elastic applications on hybrid Clouds , 2012, Future Gener. Comput. Syst..

[18]  Francisca Santana Robles,et al.  Coloured Petri Nets Basic Concepts, Analysis Methods and Practical Use , 2015 .

[19]  Samir Tata,et al.  Formal Modeling and Evaluation of Service-Based Business Process Elasticity in the Cloud , 2013, 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises.