Issues about the Adoption of Formal Methods for Dependable Composition of Web Services