Hybrid Model-Based Diagnosis of Web Service Compositions