Adaptable TeaStore: A Choreographic Approach

TL;DR

This paper presents an implementation of the Adaptable TeaStore, a model for adaptable microservice architectures, using the choreographic language AIOCJ to ensure correct runtime adaptation in cloud environments.

Contribution

It demonstrates how AIOCJ can be used to model and implement adaptable microservice systems with guaranteed communication correctness during runtime.

Findings

AIOCJ effectively models dynamic adaptation scenarios.

The approach ensures deadlock-free communication before, during, and after adaptation.

Current limitations suggest areas for future language and paradigm improvements.

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.