Implementing choreography extraction

10/25/2019
by   Luís Cruz-Filipe, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset