编排全局视图的抽象语义
计算机科学中的逻辑
2016-08-12 v1 编程语言
软件工程
摘要
我们引入了编排全局视图的一种抽象语义。我们的语义以预序(pre-orders)给出，并可容纳不同的底层语义。我们通过考虑其与通信机（用于形式化局部视图）的关系来讨论我们模型的充分性。有趣的是，我们的框架似乎比其它考虑全局视图语义的框架更具表达力。这将通过讨论一些有趣的例子来说明。
引用
@article{arxiv.1608.03323,
title = {An Abstract Semantics of the Global View of Choreographies},
author = {Roberto Guanciale and Emilio Tuosto},
journal= {arXiv preprint arXiv:1608.03323},
year = {2016}
}
备注
In Proceedings ICE 2016, arXiv:1608.03131