University of Westminster
Web service business protocols are of importance to both clients and providers, as they model the external behaviour of services. However, the business protocol is not always published together with the service interface, and this hinders automatic management. When conversation logs are available, a solution is to discover the business protocol from past service executions. This presents many difficulties. One of them is the extraction of some temporal constraints called timed transitions, which are not explicitly recorded in the logs. In this paper, the authors present their approach for discovering such transitions. They formally define a class of patterns called proper timeouts and show that they reveal the presence of timed transitions in the business protocol.