Implementing choreography extraction

Luís Cruz-Filipe, Fabrizio Montesi, Larisa Safina [2019].
In CoRR abs/1910.11741.

Abstract

Choreography extraction deals with the generation of a choreography (a global description of communication behaviour) from a set of local process behaviours. In this work, we implement a previously proposed theory for extraction and show that, in spite of its theoretical exponential complexity, it is usable in practice. We discuss the data structures needed for an efficient implementation, introduce some optimizations, and perform a systematic practical evaluation.

Links

arxiv.org

Additional notes

None

Cite (BibTeX)

Click to expand

@article{DBLP:journals/corr/abs-1910-11741,
  author       = {Lu{\'{\i}}s Cruz{-}Filipe and
                  Fabrizio Montesi and
                  Larisa Safina},
  title        = {Implementing choreography extraction},
  journal      = {CoRR},
  volume       = {abs/1910.11741},
  year         = {2019},
  url          = {http://arxiv.org/abs/1910.11741},
  eprinttype    = {arXiv},
  eprint       = {1910.11741},
  timestamp    = {Thu, 31 Oct 2019 14:02:26 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1910-11741.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}