A Timed and Colored Petri Nets for Modeling and Verifying Cloud System Elasticity

Authors: W. Louhichi, M.Berrima, N. Ben Rajeb Robbana

Abstract:

Elasticity is the essential property of cloud computing. As the name suggests, it constitutes the ability of a cloud system to adjust resource provisioning in relation to fluctuating workloads. There are two types of elasticity operations, vertical and horizontal. In this work, we are interested in horizontal scaling, which is ensured by two mechanisms; scaling in and scaling out. Following the sizing of the system, we can adopt scaling in the event of over-supply and scaling out in the event of under-supply. In this paper, we propose a formal model, based on temporized and colored Petri nets (TdCPNs), for the modeling of the duplication and the removal of a virtual machine from a server. This model is based on formal Petri Nets (PNs) modeling language. The proposed models are edited, verified, and simulated with two examples implemented in colored Petri nets (CPNs)tools, which is a modeling tool for colored and timed PNs.

Keywords: Cloud computing, elasticity, elasticity controller, petri nets, scaling in, scaling out.

References:

[1] M. Amziani, K. Klai, T. Melliti, and S. Tata,“Time-based Evaluation of Service-based Business Process Elasticity in the cloud,”IEEE 5th International Conference on Cloud Computing Technology and Science,2013.
[2] S. Dustdar, Y. Guo, B. Satzger, and H. Truong, “Principles of elastic processes. IEEE Internet Computing,”vol. 15, 2011, pp. 66–71.
[3] J. Geelan, M. Klems, R. Cohen, J. Kaplan, D. Gourlay, P. Gaw, D. Edwards, B. de Haaff, B. Kepes, K. Sheynkman, O. Sultan, K. Hartig, J. Pritzker, T. Doerksen, T. von Eicken, P. Wallis, M. Sheehan, D. Dodge, A. Ricadela, B. Martin, B. Kepes, and I. W. Berger,“Twenty-One Experts Define Cloud Computing,”, 2009.
[4] F. Zhang, X. Tang, X. Li, S.U. Khan, and Z. Li,“Quantifying cloud elasticity with container-based auto scaling. Future Generation Computer Systems,”vol. 98, 2019,pp. 672–681.
[5] S. Dupont, J.Lejeune, F. Oliveira Jr. and T. Ledoux,“Experimental Analysis on Autonomic Strategies for Cloud Elasticity,” In IEEE International Conference on Cloud and Autonomic Computing (ICCAC), Cambridge, Massachusetts, USA, pp. 21-25, September 2015.
[6] N. Herbst, S.Kounev, and R.Reussner,“Elasticity in cloud computing: what it is, and what it is not,”in Proceedings of the 10th International Conference on Autonomic Computing, USENIX, San Jose, 2013, pp. 24-27.
[7] B. Jacob, R. Lanyon-Hogg, D.K. Nadgir, and A.F. Yassin, “A Practical Guide to the IBM Autonomic Computing Toolkit,” IBM Redbooks, http://www.redbooks.ibm.com/, 2004.
[8] M. Mohameda, M. Amziania, D. Belaïd, S. Tata, and T. Melliti,“An autonomic approach to manage elasticity of business processes in the Cloud,” Future Generation Computer Systems, vol. 50, 2015,pp. 49–61.
[9] A.Gassara, I.B. Rodriguez, M. Jmaiel, K.Drira,“Executing bigraphical reactive systems”, journal of Discrete Applied Mathematics, 2018.
[10] R. Milner, “The Space and Motion of Communicating Agents”, Cambridge University Press, 2009, pp. 1–191.
[11] K. Khebbeb, H. Sahli, N. Hameurlain and F. Belala, “A BRS Based Approach for Modeling Elastic Cloud Systems”, Springer International Publishing AG, part of Springer Nature 2018
[12] L. Braubach et al. (Eds.): ICSOC Workshops 2017, LNCS vol. 10797, pp. 5–17.
[13] H. Sahli, F.Belala and C.Bouanaka,“A BRS-Based Approach to Model and Verify Cloud Systems Elasticity”, Procedia Computer Science, vol. 68, 2015,pp. 29 – 41.
[14] D. P. Mahato and R.S. Singh, “Load balanced scheduling and reliability modeling of grid transaction processing system using colored Petri nets”,ISA Transactions, vol. 84, January 2019, pp. 225-236.
[15] H. He, S. Pang and Z. Zhao, “Dynamic Scalable Stochastic Petri Net: A Novel Model for Designing and Analysis of Resource Scheduling in Cloud Computing”. Hindawi Publishing Corporation Scientific Programming, vol. 2016(3), January 2016, pp. 1-13;
[16] R.R Yadav, G.A.S. Campos, E.T.G. Sousa, F.A. A. Lins, “A Strategy for Performance Evaluation and Modeling of Cloud Computing Services”, vol. 26, num.1 (2019), pp.78-90.
[17] M. Narayanan, A.K. Cherukuri,” Verification of Cloud Based Information Integration Architecture using Colored Petri Nets”, I. J. Computer Network and Information Security, 2018, 2, pp. 1-11.
[18] T. Murata, “Petri Nets: Properties, Analysis and Applications,” Proceedings of the IEEE, vol. 77, no. 4, 1989, pp. 541–580.
[19] K. Jensen, Coloured Petri Nets – Basic Concepts, Analysis Methods andPractical Use, vol. 2, Springer-Verlag, Berlin, 1995, p 174.
[20] Jensen, K.; Kristensen, L.M. Formal Definition of Timed Coloured Petri Nets. In Coloured Petri Nets; Springer:Berlin/Heidelberg, Germany, 2009; pp. 257–271.
[21] J.S. Lee, and P-L. Hsu, “Implementation of a remote hierarchical supervision system using Petri Nets and agent technology,” IEEE Transactions of Systems, MAN, and Cybernetics – Part C: Applications and Reviews, vol. 37, no. 1, 2007, pp. 77–85.
[22] M. Beaudouin-Lafon, W.E. Mackay, P. Andersen, P. Janecek, M. Jensen, M. Lassen, K. Lund, K. Mortensen, S. Munck, A. Ratzer, K. Ravn, S. Christensen and K. Jensen”, CPN/Tools: A Post-WIMP Interface for Editing and Simulating Colored Petri Nets”, Proceeding of 22nd International Conference on Applications and Theory of Petri Nets, 2001(ICATPN 2001), LNCS vol. 2075, Springer, 2001.pp 71-80.