Using Formal Model for Evaluation of Business Processes Elasticity in the Cloud

  • Lydia Yataghene
  • Malika Ioualalen
  • Mourad Amziani
  • Samir Tata
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10380)


As it has been the case with other technologies, the availability of Service-based Business Processes (SBPs) in the Cloud allows imagining new usage scenarios. Typically, these scenarios include the execution of thousands of processes during a very short period of time requiring temporarily a very important amount of resources. Novel and innovative approaches for modeling of business processes should be developed to allow supporting these scenarios and others in a safer and cost-effective way. For instance, it is necessary to define strategies to scale resource consumed by business processes up and down to ensure their adaptation to the workload changes. In this paper, we focus on how to model and evaluate SBPs elasticity strategies. We propose an analytical model based on queuing model with variable number of servers to represent SBPs adaptation to demands’ variation. We consider a queuing model as Markov chain to evaluate elasticity strategies in the steady state, and to calculate the indices of performance. Our analytical model allows Cloud providers to evaluate and decide about the elasticity strategy to consider before implementing it in real environments.


Cloud environments Elasticity Queuing model Markov chain 


  1. 1.
    Amziani, M., Melliti, T., Tata, S.: A generic framework for service-based business process elasticity in the cloud. In: Barros, A., Gal, A., Kindler, E. (eds.) BPM 2012. LNCS, vol. 7481, pp. 194–199. Springer, Heidelberg (2012). doi: 10.1007/978-3-642-32885-5_15 CrossRefGoogle Scholar
  2. 2.
    Amziani, M., Melliti, T., Tata, S.: Formal modeling and evaluation of service-based business process elasticity in the cloud. In: WETICE (2013)Google Scholar
  3. 3.
    Chrysoulas, C., Kostopoulos, G., Haleplidis, E., Haas, R., Denazis, S., Koufopavlou, O.: A decision making framework for dynamic service deployment. In: ISTMWC (2006)Google Scholar
  4. 4.
    Khazaei, H., Misic, J.V., Misic, V.B.: Performance analysis of cloud computing centers using M/G/m/m+r queuing systems. IEEE Trans. Parallel Distrib. Syst. 23(5), 936–943 (2012)CrossRefGoogle Scholar
  5. 5.
    Klai, K., Tata, S.: Formal modeling of elastic service-based business processes. In: IEEE SCC, pp. 424–431 (2013)Google Scholar
  6. 6.
    Lê, L.S., Truong, H.L., Ghose, A., Dustdar, S.: On elasticity and constrainedness of business services provisioning. In: IEEE SCC, pp. 384–391 (2012)Google Scholar
  7. 7.
    NIST: Final Version of NIST Cloud Computing Definition Published (2011).
  8. 8.
    Salah, K.: A queueing model to achieve proper elasticity for cloud cluster jobs. In: Proceedings of the 2013 IEEE Sixth International Conference on Cloud Computing (CLOUD 2013), pp. 755–761. IEEE Computer Society (2013)Google Scholar
  9. 9.
    Singh, R., Sharma, U., Cecchet, E., Shenoy, P.J.: Autonomic mix-aware provisioning for non-stationary data center workloads. In: Parashar, M., Figueiredo, R.J. (eds.) ICAC, pp. 21–30. ACM (2010)Google Scholar
  10. 10.
    Suleiman, B., Venugopal, S.: Modeling performance of elasticity rules for cloud-based applications. In: EDOC 2013, Washington, DC, pp. 201–206 (2013)Google Scholar
  11. 11.
    Tsai, W.T., Sun, X., Shao, Q., Qi, G.: Two-tier multi-tenancy scaling and load balancing. In: ICEBE, pp. 484–489 (2010)Google Scholar
  12. 12.
    Weissman, J.B., Kim, S., England, D.: A framework for dynamic service adaptation in the grid: next generation software program progress report. In: IPDPS. IEEE Computer Society, Los Alamitos (2005)Google Scholar
  13. 13.
    Yataghene, L., Amziani, M., Ioualalen, M., Tata, S.: A queuing model for business processes elasticity evaluation. In: IWAISE, pp. 22–28. IEEE (2014)Google Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  • Lydia Yataghene
    • 1
  • Malika Ioualalen
    • 1
  • Mourad Amziani
    • 2
  • Samir Tata
    • 3
  1. 1.University of Science and Technology Houari BoumedieneAlgiersAlgeria
  2. 2.Beamap, SopraSteria GroupCourbevoieFrance
  3. 3.Institut Mines-Telecom, TELECOM SudParisEvryFrance

Personalised recommendations