Reproduce “Adaptable TeaStore: A Choreographic Approach” on OpenResearch
Turn your favorite coding agents into research agents that review literature, develop hypotheses, and run experiments.
Universal app for Apple silicon and Intel. Requires macOS 11 or later.
About this paper
Giuseppe De Palma, Saverio Giallorenzo, Ivan Lanese, Gianluigi Zavattaro
The Università di Bologna and INRIA team applied the AIOCJ choreographic language to model the Adaptable TeaStore microservice benchmark, demonstrating its capability to implement complex, dynamically reconfiguring systems while preserving communication correctness throughout runtime adaptations. This work validates AIOCJ's theoretical guarantees in a practical setting, showing dynamic integration of services and conditional adaptations.
Key insights
- AIOCJ participants effectively serve as "adaptable connectors," coordinating external services and promoting a separation of concerns between coordination logic and business logic.
- An "ephemeral adaptation" pattern emerged where the system implicitly regresses to its original state at the beginning of each interaction flow, offering high flexibility without explicit regression rules.
- Formal choreographic methods can bridge the gap between theoretical correctness guarantees and the practical demands of building dynamically adaptable microservices.
Summary by alphaXiv.
Tip: change arxiv.org to autoarxiv.org in any arXiv abstract link to open the paper here.