Semantics of global view of choreographies

We propose two abstract semantics of the global view of choreographies given in terms of partial orders. The first semantics is formalised as pomsets of communication events while the second one is based on hypergraphs of events. These semantics can accommodate different levels of abstractions. We d...

Full description

Saved in:
Bibliographic Details
Published inJournal of logical and algebraic methods in programming Vol. 95; pp. 17 - 40
Main Authors Tuosto, Emilio, Guanciale, Roberto
Format Journal Article
LanguageEnglish
Published 01.02.2018
Subjects
Choreography
Communicating finite-state machines
Global graphs
Hypergraphs
Pomsets
Semantics
Online AccessGet full text

Cover

More Information
Summary:We propose two abstract semantics of the global view of choreographies given in terms of partial orders. The first semantics is formalised as pomsets of communication events while the second one is based on hypergraphs of events. These semantics can accommodate different levels of abstractions. We discuss the adequacy of our models by considering their relation with communicating machines, that we use to formalise the local view. Our approach increases expressiveness and allows us to overcome some limitations that affect alternative semantics of global views. This will be illustrated by discussing some interesting examples. Finally, we show that the two semantics are equivalent and have different merits. More precisely, the semantics based on pomsets yields a more elegant presentation, but it is less suitable for implementation. The semantics based on hypergraphs instead is amenable to a straightforward implementation.
ISSN:2352-2208
1567-8326
1873-5940
DOI:10.1016/j.jlamp.2017.11.002