Adaptable TeaStore: A Choreographic Approach
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866912794118455296 |
|---|---|
| author | De Palma, Giuseppe Giallorenzo, Saverio Lanese, Ivan Zavattaro, Gianluigi |
| author_facet | De Palma, Giuseppe Giallorenzo, Saverio Lanese, Ivan Zavattaro, Gianluigi |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2512_23497 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Adaptable TeaStore: A Choreographic Approach De Palma, Giuseppe Giallorenzo, Saverio Lanese, Ivan Zavattaro, Gianluigi Programming Languages Software Engineering D.1.3, D.2.11, D.2.2, C.2.4 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. |
| title | Adaptable TeaStore: A Choreographic Approach |
| topic | Programming Languages Software Engineering D.1.3, D.2.11, D.2.2, C.2.4 |
| url | https://arxiv.org/abs/2512.23497 |