通过契约自动机从编排到协作
形式语言与自动机理论
2014-10-29 v1 计算机科学中的逻辑
摘要
我们研究了契约自动机与交互模型之间的关系。在前者模型中，分布式服务被抽象为自动机——不知晓其合作伙伴——并通过编排器相互协调。交互模型依赖于基于通道的异步通信和协作来协调分布式服务。我们定义了契约模型上的强一致性概念，展示了从契约模型到交互模型的自然映射，并给出了确保强一致性对应于良构协作的条件。
引用
@article{arxiv.1410.7471,
title = {From Orchestration to Choreography through Contract Automata},
author = {Davide Basile and Pierpaolo Degano and Gian-Luigi Ferrari and Emilio Tuosto},
journal= {arXiv preprint arXiv:1410.7471},
year = {2014}
}
备注
In Proceedings ICE 2014, arXiv:1410.7013