Choreography: a pattern language | Synapse