Towards a formal framework for Choreography