Human-in-the-Loop Simulation of Cloud Services

  • Nikolaos BezirgiannisEmail author
  • Frank de Boer
  • Stijn de Gouw
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10465)


In this paper we discuss an integrated tool suite for the simulation of software services which are offered on the Cloud. The tool suite uses the Abstract Behavioral Specification (ABS) language for modeling the software services and their Cloud deployment. For the real-time execution of the ABS models we use a Haskell backend which is based on a source-to-source translation of ABS into Haskell. The tool suite then allows Cloud engineers to interact in real-time with the execution of the model by deploying and managing service instances. The resulting human-in-the-loop simulation of Cloud services can be used both for training purposes and for the (semi-)automated support for the real-time monitoring and management of the actual service instances.


Human-in-the-loop simulation Cloud services Monitors Service Level Agreement 


  1. 1.
    Albert, E., de Boer, F.S., Hähnle, R., Johnsen, E.B., Schlatte, R., Tarifa, S.L.T., Wong, P.Y.H.: Formal modeling and analysis of resource management for cloud architectures: an industrial case study using real-time ABS. Serv. Oriented Comput. Appl. 8(4), 323–339 (2014)CrossRefGoogle Scholar
  2. 2.
    Bezirgiannis, N., de Boer, F.: ABS: a high-level modeling language for cloud-aware programming. In: Freivalds, R.M., Engels, G., Catania, B. (eds.) SOFSEM 2016. LNCS, vol. 9587, pp. 433–444. Springer, Heidelberg (2016). doi: 10.1007/978-3-662-49192-8_35 CrossRefGoogle Scholar
  3. 3.
    de Boer, F.S., de Gouw, S.: Combining monitoring with run-time assertion checking. In: Bernardo, M., Damiani, F., Hähnle, R., Johnsen, E.B., Schaefer, I. (eds.) SFM 2014. LNCS, vol. 8483, pp. 217–262. Springer, Cham (2014). doi: 10.1007/978-3-319-07317-0_6 CrossRefGoogle Scholar
  4. 4.
    Calheiros, R.N., Ranjan, R., Beloglazov, A., De Rose, C.A.F., Buyya, R.: Cloudsim: A toolkit for modeling and simulation of cloud computing environments and evaluation of resource provisioning algorithms. Softw. Pract. Exp. 41(1), 23–50 (2011)CrossRefGoogle Scholar
  5. 5.
    Giachino, E., de Gouw, S., Laneve, C., Nobakht, B.: Statically and dynamically verifiable SLA metrics. In: Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, pp. 211–225 (2016)Google Scholar
  6. 6.
    de Gouw, S., Mauro, J., Nobakht, B., Zavattaro, G.: Declarative elasticity in ABS. In: Aiello, M., Johnsen, E.B., Dustdar, S., Georgievski, I. (eds.) ESOCC 2016. LNCS, vol. 9846, pp. 118–134. Springer, Cham (2016). doi: 10.1007/978-3-319-44482-6_8 CrossRefGoogle Scholar
  7. 7.
    Johnsen, E.B.: Separating cost and capacity for load balancing in ABS deployment models. In: Giachino, E., Hähnle, R., Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2012. LNCS, vol. 7866, pp. 145–167. Springer, Heidelberg (2013). doi: 10.1007/978-3-642-40615-7_5 CrossRefGoogle Scholar
  8. 8.
    Johnsen, E.B., Schlatte, R., Tapia Tarifa, S.L.T.: Modeling resource-aware virtualized applications for the cloud in real-time ABS. In: Aoki, T., Taguchi, K. (eds.) ICFEM 2012. LNCS, vol. 7635, pp. 71–86. Springer, Heidelberg (2012). doi: 10.1007/978-3-642-34281-3_8 CrossRefGoogle Scholar
  9. 9.
    Kliazovich, D., Bouvry, P., Audzevich, Y., Khan, S.U.: Greencloud: a packet-level simulator of energy-aware cloud computing data centers. In: 2010 IEEE Global Telecommunications Conference GLOBECOM 2010, pp. 1–5, December 2010Google Scholar
  10. 10.
    Núñez, A., Vázquez-Poletti, J.L., Caminero, A.C., Castañé, G.G., Carretero, J., Llorente, I.M.: iCanCloud: a flexible and scalable cloud infrastructure simulator. J. Grid Comput. 10(1), 185–209 (2012)CrossRefGoogle Scholar

Copyright information

© IFIP International Federation for Information Processing 2017

Authors and Affiliations

  • Nikolaos Bezirgiannis
    • 1
    Email author
  • Frank de Boer
    • 2
  • Stijn de Gouw
    • 3
  1. 1.Leiden Institute for Advanced Computer ScienceLeidenThe Netherlands
  2. 2.Centrum Wiskunde & Informatica (CWI)AmsterdamThe Netherlands
  3. 3.Open UniversityHeerlenThe Netherlands

Personalised recommendations