SLE 2014 tool/demo paper:
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications

Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli

DOI: 10.1007/978-3-319-11245-9_9
T3C: DSLs
- It introduces a domain-specific choreographic language for specifying distributed interaction patterns.
T4D: Interpretation
- Adaptation is performed at runtime via rules that update executing distributed applications.
T1C: Behavioural Semantics
- The framework emphasises safe executable behavior of distributed choreographies under adaptation.
T4C: Vertical Transformation
- It includes compilation/generation aspects from global choreographies to executable distributed code.

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.