FUNGO: an Algorithm to Derive Local Interaction Protocols from WS Choreographies

This paper presents FUNGO, an algorithm that, given a complex service definition (as a Web Service choreography model), checks if it can be correctly implemented by the local models of the single services participating in it. When the local models do not fulfil some synchronization constraints defined in the global choreography, the algorithm adjusts them by adding synchronization messages that guarantee that their execution actually implements the interactions required by the choreography definition. The algorithm is part of the PERCHE choreography registry, that extends the idea of UDDI registry to the management of web service choreographies.