Choreography Definition Language Notations