Adaptable TeaStore: A Choreographic Approach

2025-12-29

AI Summary

Microservice architectures often suffer from communication deadlocks and tight coupling between adaptation logic and business logic during dynamic adaptation. Method: This paper proposes Adaptable TeaStore, a choreography-based reference model for adaptable microservices. It introduces the first runtime application of the AIOCJ orchestration language to support multi-configuration dynamic migration, employing formal modeling to guarantee communication correctness throughout the entire adaptation process—before, during, and after—and strictly separating adaptation logic from business logic. Contribution/Results: Experimental evaluation demonstrates deadlock-free adaptive migration. The study further identifies a critical limitation of existing orchestration languages: insufficient semantic alignment with cloud infrastructure abstractions. In response, it proposes design principles for extensible, cloud-aware orchestration languages. This work provides both theoretical foundations and a practical prototype for safe, controllable microservice adaptation in cloud-native environments.

Technology Category

• Cognitive Modeling & Cognitive Systems: Adaptive Behavior
• Constraint Satisfaction and Optimization: Distributed CSP/Optimization
• Planning, Routing, and Scheduling: Planning with Language Models

Application Category

• Systems and Infrastructure for Web, Mobile and WoT: Experiences and lessons learnt from Web-based algorithms and system deployments
• Graph Algorithms and Modeling for the Web: Efficient manipulation of static and dynamic Web-related graphs
• User Modeling, Personalization and Recommendation: Practical large-scale studies of user experience

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.

Problem

• Implementing adaptable microservice architectures using choreographic programming
• Ensuring communication correctness during runtime adaptation in multiparty systems
• Aligning choreographic language with real-world Cloud architecture requirements

Innovation

• Uses AIOCJ choreographic language for runtime adaptation
• Ensures communication correctness before, during, and after adaptation
• Models adaptable microservice architectures with dynamic scenarios