With the rise of cloud computing, a huge complexity growth of the structure that is the base of
the Cloud happens. Thus, to effectively manage applications and resources it is crucial the …

We introduce the Aeolus component model, which is specifically designed to capture
realistic scenarios arising when configuring and deploying distributed applications in the so …

Complex networked applications are assembled by connecting software components
distributed across multiple machines. Building and deploying such systems is a challenging …

Microservices are highly modular and scalable Service Oriented Architectures. They
underpin automated deployment practices like Continuous Deployment and Autoscaling. In …

Following previous work on the automated deployment of component-based applications,
we present a formal model specifically tailored for reasoning on the deployment of …

Migrating legacy systems or deploying a new application to a cloud environment has
recently become very trendy, because the number of cloud providers available is still …

The use of formal methods is an effective means to improve complex systems reliability and
quality. In this context, we adopt one of these methods to formalize cloud computing …

Modern software applications are increasingly deployed and distributed on infrastructures in
the Cloud, and then offered as a service. Before the deployment process happens, these …

Cloud computing is a new computing paradigm used for building on demand free and open
source software (FOSS) applications. However, due to the lack of an explicit and formal …

Cloud computing offers the possibility to build sophisticated software systems on virtualized
infrastructures at a fraction of the cost necessary just a few years ago. Nevertheless, the …