作为合同协议的编舞合成
Choreography Synthesis as Contract Agreement
摘要：
我们提出了一个分布式系统的正式模型，每个参与者都将其要求和义务作为行为合同，当一组合同允许合成编排时，多方会话开始。我们的框架是基于CO2演算面向合同的计算，并借用会话类型的文献的概念和结果。它支持参与者的数量没有事先确定的会话，并保持CO2的能力，以排除那些在运行时没有履行合同的参与者。我们表明，由于参与者的诚实，我们在CO2中取得了进展和会话保真度-即，他们总是遵守合同的能力。
英文摘要：
We propose a formal model for distributed systems, where each participant advertises its requirements and obligations as behavioural contracts, and where multiparty sessions are started when a set of contracts allows to synthesise a choreography. Our framework is based on the CO2 calculus for contract-oriented computing, and borrows concepts and results from the session type literature. It supports sessions where the number of participants is not determined beforehand, and keeps CO2's ability to rule out participants that are culpable if contracts are not fulfilled at runtime. We show that we have progress and session fidelity in CO2, as a result of the honesty of participants - i.e., their ability to always adhere to their contracts.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
