A compositional modelling approach for live migration in Software Defined Networks