Automated verification of compositional compatibility for multiple Web service