%0 Conference Proceedings %T Human-in-the-Loop Simulation of Cloud Services %+ Leiden Institute of Advanced Computer Science [Leiden] (LIACS) %+ Centrum Wiskunde & Informatica (CWI) %+ Open University of the Netherlands [Heerlen] %A Bezirgiannis, Nikolaos %A Boer, Frank, De %A Gouw, Stijn, De %Z Part 5: Services %< avec comité de lecture %( Lecture Notes in Computer Science %B 6th European Conference on Service-Oriented and Cloud Computing (ESOCC) %C Oslo, Norway %Y Flavio De Paoli %Y Stefan Schulte %Y Einar Broch Johnsen %I Springer International Publishing %3 Service-Oriented and Cloud Computing %V LNCS-10465 %P 143-158 %8 2017-09-27 %D 2017 %R 10.1007/978-3-319-67262-5_11 %K Human-in-the-loop simulation %K Cloud services %K Monitors %K Service Level Agreement %Z Computer Science [cs]Conference papers %X 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. %G English %Z TC 2 %Z WG 2.14 %2 https://inria.hal.science/hal-01677612/document %2 https://inria.hal.science/hal-01677612/file/449571_1_En_11_Chapter.pdf %L hal-01677612 %U https://inria.hal.science/hal-01677612 %~ IFIP-LNCS %~ IFIP %~ IFIP-TC %~ IFIP-WG %~ IFIP-ESOCC %~ IFIP-TC2 %~ IFIP-WG2-14 %~ IFIP-LNCS-10465