已验证会话合规性
Orchestrated Session Compliance
摘要：
我们调查的概念，协调一致的客户端/服务器交互的会话合同的上下文中。在这样的上下文中设计协调器的概念使得有可能使协调器具有无限的缓冲能力，并且同时保证来自客户端的任何消息最终由协调器传递到服务器，同时防止服务器发送无限期地保持在协调器内的消息。顺从关系被示出为可通过以下方式来判定：1）合成编排器（如果有的话）的过程，使得客户端顺从于服务器，以及2）用于判定编排器是否以如前所述的适当方式行为的过程。
英文摘要：
We investigate the notion of orchestrated compliance for client/server interactions in the context of session contracts. Devising the notion of orchestrator in such a context makes it possible to have orchestrators with unbounded buffering capabilities and at the same time to guarantee any message from the client to be eventually delivered by the orchestrator to the server, while preventing the server from sending messages which are kept indefinitely inside the orchestrator. The compliance relation is shown to be decidable by means of 1) a procedure synthesising the orchestrators, if any, making a client compliant with a server, and 2) a procedure for deciding whether an orchestrator behaves in a proper way as mentioned before.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
