Implementing choreography extraction
Programming Languages
2019-10-28 v1
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.
Cite
@article{arxiv.1910.11741,
title = {Implementing choreography extraction},
author = {Luís Cruz-Filipe and Fabrizio Montesi and Larisa Safina},
journal= {arXiv preprint arXiv:1910.11741},
year = {2019}
}