Adaptable TeaStore: A Choreographic Approach

Research Paper#Microservices, Choreographic Languages, Adaptable Architectures🔬 Research|Analyzed: Jan 3, 2026 16:05
Published: Dec 29, 2025 14:35
1 min read
ArXiv

Analysis

This paper presents an implementation of the Adaptable TeaStore using AIOCJ, a choreographic language. It highlights the benefits of a choreographic approach for building adaptable microservice architectures, particularly in ensuring communication correctness and dynamic adaptation. The paper's significance lies in its application of a novel language to a real-world reference model and its exploration of the strengths and limitations of this approach for cloud architectures.
Reference / Citation
View Original
"AIOCJ ensures by-construction correctness of communications (e.g., no deadlocks) before, during, and after adaptation."
A
ArXivDec 29, 2025 14:35
* Cited for critical analysis under Article 32.