Optimal Provisioning in the Cloud. Technical report of the Aeolus project
type: Dataset
description: Complex distributed systems are classically assembled by deploying several existing software components to multiple servers. Building such systems is a challenging problem that requires a significant amount of problem solving as one must i) ensure that all inter-component dependencies are satisfied; ii) ensure that no conflicting components are deployed on the same machine; and iii) take into account replication and distribution to account for quality of service, or possible failure of some services. We propose a tool, Zephyrus, that automates to a great extent assembling complex distributed systems. Given i) a high level specification of the desired system architecture, ii) the set of available components and their requirements) and iii) the current state of the system, Zephyrus is able to generate a formal representation of the desired system, to place the components in an optimal manner on the available machines, and to interconnect them as needed.
issued: 2026-05-10T19:11:01.400445
language: en
modified: 2026-05-10T19:11:01.400449
contact point: Organization
  fn: CCSD
keyword: cloud
keyword: components
keyword: infoeu-reposemanticsreport
keyword: infoinfo-secomputer-science-cssoftware-engineering-csse
keyword: optimization
keyword: packages
keyword: provisioning
keyword: reports
landing page: https://hal.science/hal-00831455

Optimal Provisioning in the Cloud. Technical report of the Aeolus project
type: Distribution
format: HTML
issued: 2026-05-10T19:11:01.401798
modified: 2026-05-10T19:11:01.388980
access URL: https://hal.science/hal-00831455

test_moissonnage_selune
type: Agent