Protocol Discovery from Imperfect Service Interaction Logs