University of Leicester
Browse
main.pdf (614.98 kB)

Semantics of global view of choreographies

Download (614.98 kB)
journal contribution
posted on 2018-01-08, 16:15 authored by Emilio Tuosto, Roberto Guanciale
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.

History

Citation

Journal of Logical and Algebraic Methods in Programming, 2018, 95, pp. 17-40 (34)

Author affiliation

/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Informatics

Version

  • AM (Accepted Manuscript)

Published in

Journal of Logical and Algebraic Methods in Programming

Publisher

Elsevier

issn

2352-2208

Acceptance date

2017-11-11

Copyright date

2017

Available date

2018-11-21

Publisher version

http://www.sciencedirect.com/science/article/pii/S2352220816301754?via=ihub

Notes

The file associated with this record is under embargo until 12 months after publication, in accordance with the publisher's self-archiving policy. The full text may be available through the publisher links provided above.

Language

en

Usage metrics

    University of Leicester Publications

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC