An Abstract Semantics of the Global View of Choreographies
Logic in Computer Science
2016-08-12 v1 Programming Languages
Software Engineering
Abstract
We introduce an abstract semantics of the global view of choreographies. Our semantics is given in terms of pre-orders and can accommodate different lower level semantics. We discuss the adequacy of our model by considering its relation with communicating machines, that we use to formalise the local view. Interestingly, our framework seems to be more expressive than others where semantics of global views have been considered. This will be illustrated by discussing some interesting examples.
Cite
@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}
}
Comments
In Proceedings ICE 2016, arXiv:1608.03131