… 1) We provide a language to fully model cloud systems. This allows users not only to
represent cloud architectures but also to formally analyze them. 2) We have extended and …

… [16] published a survey that encompasses most of the existing cloud simulation frameworks.
… of the paper is energy consumption modeling only rather than general cloud simulation. The …

… a framework, called TEA-Cloud, that integrates simulation … , the framework E-mc2 [43] can
be used for analysing energy … provides models for the major part of the underlying cloud …

… Abstract—Nowadays, cloud computing technologies are commonly used both by the public
and private institutions, … E-mc2: A formal framework for energy modelling in cloud computing. …

… cloud computing researches. In this work, the review focuses on the cloud simulation surveys
with energy-… E-\(mc^2\) [14] is a formal framework for analysing energy consumption that …

… Cloud computing is an Internet-based service delivery model for … " cloud computing services,
one of which is a Container as a Service (CaaS) [3]. Users can easily access these services …

… , “E-mc2: A formal framework for energy modelling in cloud computing,” Simulation Modelling
… and LF, “Analysis of energy consumption model in cloud computing environments,” in …

… (such as CPU) and then builds a linear power model based on statistics. The E-mc2 framework
[30] models the requirements of energy consumption in Cloud computing systems. This …

… In this section, the models of cloud computing simulators are … showing that energy models
are the most suitable models for this … , E-mc2: A formal framework for energy modelling in cloud …

… In this section, the models of cloud computing simulators are … showing that energy models
are the most suitable models for this … , E-mc2: A formal framework for energy modelling in cloud …