Design and Verification of Web Services Compositions in the Telecommunication Domain