Varda: A Framework for Compositional Distributed Programming - Archive ouverte HAL Access content directly
Conference Papers Year : 2022

Varda: A Framework for Compositional Distributed Programming

Laurent Prosperi
Marc Shapiro


A distributed system is made of interacting components. The current manual, ad-hoc approach to composing them cannot ensure that the composition is correct, and makes it difficult to control performance. The former issue requires reasoning over a high-level specification; the latter requires fine control over emergent run-time properties. To address this, we propose the Varda language (a work in progress) to formalize the architecture of a system, i.e., its components, their interface, and their orchestration logic. The Varda compiler checks the architecture description and emits glue code, which executes the orchestration logic and links to the components. The Varda system relies on a generic interception mechanism to act upon distribution-related system features in a transparent and uniform manner. Varda also takes into account important non-functional system properties, such as placement.
Fichier principal
Vignette du fichier
main_vYT26DV.pdf (479.96 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-04015827 , version 1 (06-03-2023)



Laurent Prosperi, Ahmed Bouajjani, Marc Shapiro. Varda: A Framework for Compositional Distributed Programming. NETYS 2022 - 10th International Conference on Networked Systems, May 2022, Marrakech, Morocco. pp.16-30, ⟨10.1007/978-3-031-17436-0_2⟩. ⟨hal-04015827⟩
69 View
30 Download



Gmail Mastodon Facebook X LinkedIn More