WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition | IEEE Conference Publication | IEEE Xplore