Multi-staged and Multi-viewpoint Service Choreography Modelling