From Communicating Machines to Graphical Choreographies

This tool implements the theory introduced in "From Communicating Machines to Graphical Choreographies" by Julien Lange, Emilio Tuosto, and Nobuko Yoshida.

The tool allows to:

• Check that a set of CFSM is Generalised Multiparty Compatible (GMC), and

• Synthesise a choreography (global graph) which is equivalent to the input CFSMs.

See here for more information and there for a sample of GMC and non-GMC protocol, some more details on some of them are in this pdf file.