Compatibility and Substitutability Analysis of Web Services Composition