Human-in-the-Loop Simulation of Cloud Services

Nikolaos Bezirgiannis, Frank S. de Boer, Stijn de Gouw

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review


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.
Original languageEnglish
Title of host publicationService-Oriented and Cloud Computing
Subtitle of host publication6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings
EditorsFlavio De Paoli, Stefan Schulte, Einar Broch Johnsen
Number of pages16
ISBN (Electronic)978-3-319-67262-5
ISBN (Print)978-3-319-67261-8
Publication statusPublished - 2017
Event6th European Conference on Service-Oriented and Cloud Computing - Oslo, Norway
Duration: 27 Sep 201729 Sep 2017

Publication series

SeriesLecture Notes in Computer Science


Conference6th European Conference on Service-Oriented and Cloud Computing
Abbreviated titleESOCC 2017
Internet address


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


Dive into the research topics of 'Human-in-the-Loop Simulation of Cloud Services'. Together they form a unique fingerprint.

Cite this