Choreography design