Varda: A Framework for Compositional Distributed Programming - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Varda: A Framework for Compositional Distributed Programming

Laurent Prosperi
Marc Shapiro

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

Citer

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⟩
63 Consultations
26 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More