From Communicating Machines to Graphical Choreographies