Protocol Discovery from Imperfect Service Interaction Logs

This paper deals with the problem of discovering protocol models by analyzing real-world interaction logs. There are several scenarios where protocol discovery is useful and needed: (i) In practice, the protocol definition may not be available. This can happen for many reasons, e.g., the service has been developed using a bottom-up approach, by simply SOAP-ifying an existing application; (ii) even when the protocol model is available, protocol discovery is important as we may want to verify if the designed protocol model is what is actually being supported by the implementation and, if not, what are the differences. An instance of this problem involves discovering if the service is compliant with the protocol specification required by some domain-specific standardization body or industry consortium.