AIOCJ：一个安全的自适应分布式应用编排框架
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications
摘要：
我们提出了AIOCJ，一个分布式自适应应用程序的编程框架。应用程序是使用AIOC编程的，AIOC是一种适合从全局角度表达交互模式的编排语言。AIOC允许程序员指定应用程序的哪些部分可以进行调整。自适应在运行时通过规则发生，这些规则可以在执行期间更改，以解决可能无法预见的自适应需求。AIOCJ依赖于一个坚实的理论，该理论确保应用程序在适应后也能通过构造而无死锁。我们描述了AIOCJ的体系结构，AIOC语言的设计，以及框架的实证验证。
英文摘要：
We present AIOCJ, a framework for programming distributed adaptive applications. Applications are programmed using AIOC, a choreographic language suited for expressing patterns of interaction from a global point of view. AIOC allows the programmer to specify which parts of the application can be adapted. Adaptation takes place at runtime by means of rules, which can change during the execution to tackle possibly unforeseen adaptation needs. AIOCJ relies on a solid theory that ensures applications to be deadlock-free by construction also after adaptation. We describe the architecture of AIOCJ, the design of the AIOC language, and an empirical validation of the framework.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
