WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition