Component-based distributed software reconfiguration: a verification-oriented survey
Distributed software built from components has become a mainstay of service-oriented
applications, which frequently undergo reconfigurations to adapt to changes in their …
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
Workflow scheduling is one of the significant issues for scientific applications among virtual
machine migration, database management, security, performance, fault tolerance, server …
machine migration, database management, security, performance, fault tolerance, server …
Self-reconfiguring microservices
Microservices is an emerging paradigm for the development of distributed systems that,
originating from Service-Oriented Architecture, focuses on the small dimension, the loose …
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
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 …
simplified methods to automate the deployment and runtime adaptation to application …
[PDF][PDF] Automating the Deployment of Distributed Applications by Combining Multiple Deployment Technologies.
Various deployment technologies have been released to support automating the
deployment of distributed applications. Although many of these technologies provide …
deployment of distributed applications. Although many of these technologies provide …
Zephyrus2: on the fly deployment optimization using SMT and CP technologies
Modern cloud applications consist of software components deployed on multiple virtual
machines. Deploying such applications is error prone and requires detailed system …
machines. Deploying such applications is error prone and requires detailed system …
Automatic deployment of services in the cloud with aeolus blender
Abstract We present Aeolus Blender (Blender in the following), a software product for the
automatic deployment and configuration of complex service-based, distributed software …
automatic deployment and configuration of complex service-based, distributed software …
Security-by-design in multi-cloud applications: An optimization approach
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 …
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 …
in many domains, yet reconfiguration of these systems is still largely carried out in an ad hoc …
A formal approach to microservice architecture deployment
Following previous work on the automated deployment of component-based applications,
we present a formal model specifically tailored for reasoning on the deployment of …
we present a formal model specifically tailored for reasoning on the deployment of …