Work

Adaptable TeaStore: A Choreographic Approach

Year: 2025

Type: article

Abstract: The Adaptable TeaStore has recently been proposed as a reference model for adaptable microservice architectures.It includes different configurations, as well as scenarios requiring to transition between them.We describe an implementation of the Adaptable TeaStore based on AIOCJ, a choreographic language that allows one to program multiparty systems that can adapt at runtime to different conditions.Following the choreographic tradition, AIOCJ ensures by-construction correctness of communications (e.g., no deadlocks) before, during, and after adaptation.Adaptation is dynamic, and the adaptation scenarios need to be fully specified only at runtime.Using AIOCJ to model the Adaptable TeaStore, we showcase the strengths of the approach and its current limitations, providing suggestions for future directions for refining the paradigm (and the AIOCJ language, in particular), to better align it with real-world Cloud architectures.

Source: Electronic Proceedings in Theoretical Computer Science

DOI: 10.4204/eptcs.438.5

Authors: Giuseppe De Palma, Saverio Giallorenzo, Ivan Lanese, Gianluigi Zavattaro

Institutions: Institut national de recherche en sciences et technologies du numérique, University of Bologna

Language: English

Topic: Advanced Software Engineering Methodologies

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

Funders: Istituto Nazionale di Alta Matematica "Francesco Severi", Agence Nationale de la Recherche, Gruppo Nazionale per il Calcolo Scientifico

Awards: Smart Dynamic Adaptivity for Cloud Computing Systems, G465505792, G4772130973, G5488169599, G881421601