编排的会话合规
计算机科学中的逻辑
2015-08-21 v1
摘要
我们研究会话契约背景下客户端/服务器交互的编排合规概念。在此背景下设计编排器概念，使得有可能拥有具备无限缓冲能力的编排器，同时保证来自客户端的任何消息最终由编排器交付给服务器，并防止服务器发送被无限保留在编排器内部的消息。合规关系被证明是可判定的，通过：1) 一个合成编排器的过程（如果存在）使客户端与服务器合规；2) 一个判定编排器是否如前所述正确行为的过程。
引用
@article{arxiv.1508.04849,
title = {Orchestrated Session Compliance},
author = {Franco Barbanera and Steffen van Bakel and Ugo de'Liguoro},
journal= {arXiv preprint arXiv:1508.04849},
year = {2015}
}
备注
In Proceedings ICE 2015, arXiv:1508.04595