Choreography: orchestration of Web services