Component-based distributed software reconfiguration: a verification-oriented survey

H Coullon, L Henrio, F Loulergue… - ACM Computing Surveys, 2023 - dl.acm.org
Distributed software built from components has become a mainstay of service-oriented
applications, which frequently undergo reconfigurations to adapt to changes in their …

Multi-dependency and time based resource scheduling algorithm for scientific applications in cloud computing

V Prakash, S Bawa, L Garg - Electronics, 2021 - mdpi.com
Workflow scheduling is one of the significant issues for scientific applications among virtual
machine migration, database management, security, performance, fault tolerance, server …

Self-reconfiguring microservices

M Gabbrielli, S Giallorenzo, C Guidi, J Mauro… - … to Frank de Boer on the …, 2016 - Springer
Microservices is an emerging paradigm for the development of distributed systems that,
originating from Service-Oriented Architecture, focuses on the small dimension, the loose …

A Survey on Modeling Languages for Applications Hosted on Cloud-Edge Computing Environments

I Korontanis, A Makris, K Tserpes - Applied Sciences, 2024 - mdpi.com
In the field of edge-cloud computing environments, there is a continuous quest for new and
simplified methods to automate the deployment and runtime adaptation to application …

[PDF][PDF] Automating the Deployment of Distributed Applications by Combining Multiple Deployment Technologies.

M Wurster, U Breitenbücher, A Brogi, F Diez… - CLOSER, 2021 - scitepress.org
Various deployment technologies have been released to support automating the
deployment of distributed applications. Although many of these technologies provide …

Zephyrus2: on the fly deployment optimization using SMT and CP technologies

E Ábrahám, F Corzilius, EB Johnsen, G Kremer… - … : Theories, Tools, and …, 2016 - Springer
Modern cloud applications consist of software components deployed on multiple virtual
machines. Deploying such applications is error prone and requires detailed system …

Automatic deployment of services in the cloud with aeolus blender

R Di Cosmo, A Eiche, J Mauro, S Zacchiroli… - … Conference on Service …, 2015 - Springer
Abstract We present Aeolus Blender (Blender in the following), a software product for the
automatic deployment and configuration of complex service-based, distributed software …

Security-by-design in multi-cloud applications: An optimization approach

V Casola, A De Benedictis, M Rak, U Villano - Information Sciences, 2018 - Elsevier
Currently an increasing number of customers require cloud services with guaranteed
security levels. At this aim, the adoption of multi-cloud strategies is spreading in a large …

[PDF][PDF] SMT-Based Planning Synthesis for Distributed System Reconfigurations.

S Robillard, H Coullon - FASE, 2022 - library.oapen.org
Large distributed systems with an emphasis on adaptability are now considered a necessity
in many domains, yet reconfiguration of these systems is still largely carried out in an ad hoc …

A formal approach to microservice architecture deployment

M Bravetti, S Giallorenzo, J Mauro, I Talevi… - Microservices: Science …, 2020 - Springer
Following previous work on the automated deployment of component-based applications,
we present a formal model specifically tailored for reasoning on the deployment of …